Sciweavers

5575 search results - page 958 / 1115
» Information Extraction
Sort
View
ASYNC
1998
IEEE
110views Hardware» more  ASYNC 1998»
15 years 8 months ago
Analyzing Specifications for Delay-Insensitive Circuits
We present the XDI Model for specifying delay-insensitive circuits, that is, reactive systems that correctly exchange signals with their environment in spite of unknown delays inc...
Tom Verhoeff
MIS
1999
Springer
193views Multimedia» more  MIS 1999»
15 years 8 months ago
Facilitating Spatio-Temporal Operations in a Versatile Video Database System
In a video database, large amount of information involving video, audio, and/or images needs to be stored and managed. Therefore, there is an important need for novel techniques a...
Shermann S.-M. Chan, Qing Li
SAS
1999
Springer
116views Formal Methods» more  SAS 1999»
15 years 8 months ago
Decomposing Non-redundant Sharing by Complementation
Complementation, the inverse of the reduced product operation, is a technique for systemfinding minimal decompositions of abstract domains. Fil´e and Ranzato advanced the state ...
Enea Zaffanella, Patricia M. Hill, Roberto Bagnara
WCRE
1998
IEEE
15 years 8 months ago
Requirements for Integrating Software Architecture and Reengineering Models: CORUM II
This paper discusses the requirements and a generic framework for the integration of architectural and codebased reengineering tools. This framework is needed because there is a l...
Rick Kazman, Steven S. Woods, S. Jeromy Carri&egra...
CVPR
1997
IEEE
15 years 8 months ago
Automatic line matching across views
This paper presents a new method for matching individual line segments between images. The method uses both greylevel information and the multiple view geometric relations between...
Cordelia Schmid, Andrew Zisserman