1295 search results - page 65 / 259 » informs 1998 |
132
click to vote
TC
1998
15 years 5 months ago
1998
Data integrity policies often require that quality and integrity metadata be generated and communicated to potential users. However, in data warehouses, federations, and other mul...
131
Voted
ICCV
1998
IEEE
16 years 5 months ago
1998
IEEE
Proceedings of the 1998IEEE International Conference on Computer Vision, Bombay, India An algorithm to detect depth discontinuities from a stereo pair of images is presented. The ...
153
click to vote
CAIVD
1998
15 years 5 months ago
1998
A content-based 3D neuroradiologic image retrieval system is being developed at the Robotics Institute of CMU. The special characteristics of this system include: 1 directly deali...
116
click to vote
FBT
1998
15 years 5 months ago
1998
: We show how an alternative approach to document-oriented specification can ease the system design process. By identifying the modeling concepts needed for a complete system speci...
128
click to vote
FTCS
1998
15 years 5 months ago
1998
The traditional use of formal methods has been for the veri cation of algorithms or protocols. Given the high cost and limitations in state space coverage provided by conventional...