Sciweavers

5624 search results - page 714 / 1125
» On Conditional Covering Problem
Sort
View
SIGSOFT
1998
ACM
15 years 9 months ago
Formal Modeling and Analysis of the HLA Component Integration Standard
An increasingly important trend in the engineering of complex systems is the design of component integration standards. Such standards de ne rules of interaction and shared commun...
Robert Allen, David Garlan
145
Voted
EP
1998
Springer
15 years 9 months ago
Autotag: A Tool for Creating Structured Document Collections from Printed Materials
We report on the design and implementation of a system which automates the process of capturing structured documents from the optically recognized form of printed materials. The sy...
Kazem Taghva, Allen Condit, Julie Borsack
167
Voted
ICCS
1998
Springer
15 years 9 months ago
Matching in Description Logics: Preliminary Results
Matching of concepts with variables (concept patterns) is a relatively new operation that has been introduced in the context of concept description languages (description logics),...
Franz Baader, Alexander Borgida, Deborah L. McGuin...
ICMCS
1997
IEEE
132views Multimedia» more  ICMCS 1997»
15 years 9 months ago
SMART UNIX SVR4 Support for Multimedia Applications
Multimedia applications have dynamic and adaptive realtime requirements. Current scheduling practice, as typified by UNIX System V Release 4, lacks the necessary information and ...
Jason Nieh, Monica S. Lam
ICCAD
1996
IEEE
92views Hardware» more  ICCAD 1996»
15 years 9 months ago
Generation of BDDs from hardware algorithm descriptions
We propose a new method for generating BDDs from hardware algorithm descriptions written in a programming language. Our system can deal with control structures, such as conditiona...
Shin-ichi Minato