Sciweavers

3898 search results - page 633 / 780
» On the Bit Extraction Problem
Sort
View
SAS
1999
Springer
116views Formal Methods» more  SAS 1999»
15 years 10 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
SIGMOD
1998
ACM
180views Database» more  SIGMOD 1998»
15 years 10 months ago
Integration of Heterogeneous Databases Without Common Domains Using Queries Based on Textual Similarity
Most databases contain “name constants” like course numbers, personal names, and place names that correspond to entities in the real world. Previous work in integration of het...
William W. Cohen
3DIM
1997
IEEE
15 years 10 months ago
Registration and Integration of Textured 3-D Data
In general, multiple views are required to create a complete 3-D model of an object or of a multi-roomed indoor scene. In this work, we address the problem of merging multiple tex...
Andrew Edie Johnson, Sing Bing Kang
ICSM
1997
IEEE
15 years 10 months ago
Dynamic Traceability Links Supported by a System Architecture Description
To reduce the effort spent on system comprehension during software maintenance, easy access to different type of information describing the system features is necessary. This is u...
Eirik Tryggeseth, Øystein Nytrø
CHI
1997
ACM
15 years 10 months ago
"I'll Get That Off the Audio": A Case Study of Salvaging Multimedia Meeting Records
We describe a case study of a complex, ongoing, collaborative work process, where the central activity is a series of meetings reviewing a wide range of subtle technical topics. T...
Thomas P. Moran, Leysia Palen, Steve R. Harrison, ...