Model checking semi-continuous time models using BDDs
- Sérgio Campos
- Márcio Teixeira
- et al.
- 2001
- Electronic Notes in Theoretical Computer Science
Workshop paper
Publications
9289 results for Computer Science
FPGA-based coprocessor for text string extraction
- N.K. Ratha
- A.K. Jain
- et al.
- 2000
- Workshop CAMP 2000
Conference paperUsing Capacity Space Methodology for Balancing Server Utilization: Description and Case Studies
- Bucky Pope
- Lily Mummert
- 2000
- CMG 2000
Conference paperMINING EVENT DATA FOR ACTIONABLE PATTERNS
- Joseph L. Hellerstein
- Sheng Ma
- 2000
- CMG 2000
Conference paperToward interoperable data synchronization with COSMOS
- N.H. Cohen
- A. Purakayastha
- 2000
- WMCSA 2000
Conference paperA device-independent representation for services
- M. Román
- James Beck
- et al.
- 2000
- WMCSA 2000
Conference paperRobust fingerprint authentication using local structural similarity
- N.K. Ratha
- Ruud Bolle
- et al.
- 2000
- WACV 2000
Conference paperLearning partitioned least squares filters for fingerprint enhancement
- S. Ghosal
- R. Udupa
- et al.
- 2000
- WACV 2000
Conference paperExtending business objects with business rules
- Isabelle Rouvellou
- Lou Degenaro
- et al.
- 2000
- TOOLS 2000
Conference paperContainer-managed messaging: An architecture for integrating Java components and message-oriented applications
- Ignacio Silva-Lepe
- C. Codella
- et al.
- 2000
- Proceedings of the Conference on Technology of Object-Oriented Languages and Systems, TOOLS
Paper