Probabilistic Estimation-Based Data Mining for Discovering Insurance Risks
- Chidanand Apte
- Edna Grossman
- et al.
- 1999
- IEEE Intelligent Systems and Their Applications
Publications
Date
Featured collections
Popular topics
40 results for Barry K. Rosen
Decomposition of heterogeneous classification problems
- Chidanand Apte
- Se June Hong
- et al.
- 1998
- Intelligent Data Analysis
AVPGEN—A Test Generator for Architecture Verification
- A.K. Chandra
- V.S. Iyengar
- et al.
- 1995
- IEEE Transactions on VLSI Systems
Architectural verification of processors using symbolic instruction graphs
- A.K. Chandra
- V.S. Iyengar
- et al.
- 1994
- ICCD 1994
How to Analyze Large Programs Efficiently and Informatively
- Dhananjay M. Dhamdhere
- Barry K. Rosen
- et al.
- 1992
- ACM SIGPLAN Notices
Efficiently Computing Static Single Assignment form and the Control Dependence Graph
- Ron Cytron
- Jeanne Ferrante
- et al.
- 1991
- ACM TOPLAS
Incremental evaluation of computational circuits
- Bowen Alpern
- Roger Hoover
- et al.
- 1990
- SODA 1990
On Computing the Sizes of Detected Delay Faults
- Vijay S. Iyengar
- Barry K. Rosen
- et al.
- 1990
- IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Restricted symbolic evaluation is fast and useful
- J.Lawrence Carter
- B.K. Rosen
- et al.
- 1989
- ICCAD 1989
Efficient method of computing static single assignment form
- Ron Cytron
- Jeanne Ferrante
- et al.
- 1989
- POPL 1989