163 search results - page 17 / 33 » Data structures and algorithms for simplifying reversible ci... |
3DPVT
2006
IEEE
14 years 2 months ago
2006
IEEE
In this paper we address the problem of recovering structure and motion from a large number of intrinsically calibrated perspective cameras. We describe a method that combines (1)...
DEXAW
2004
IEEE
14 years 16 days ago
2004
IEEE
Wide-area networks provide an easy access to many different distributed and heterogeneous data sources. The development of automated operating tools is still complex, particularly...
CIDR
2003
13 years 10 months ago
2003
Partitioning within a B-tree, based on an artificial leading key column and combined with online reorganization, can be exploited during external merge sort for accurate deep read...
ICAD
2004
13 years 10 months ago
2004
EmotionFace is a software interface for visually displaying the self-reported emotion expressed by music. Taken in reverse, it can be viewed as a facial expression whose auditory ...
DAC
2007
ACM
14 years 9 months ago
2007
ACM
Modern combinational equivalence checking (CEC) engines are complicated programs which are difficult to verify. In this paper we show how a modern CEC engine can be modified to pr...