958 search results - page 168 / 192 » The Time Index: An Access Structure for Temporal Data |
ACCV
2007
Springer
14 years 1 months ago
2007
Springer
This work achieves an efficient acquisition of scenes and their depths along long streets. A camera is mounted on a vehicle moving along a path and a sampling line properly set in ...
ISMIR
2005
Springer
14 years 27 days ago
2005
Springer
We describe the MusicMiner system for organizing large collections of music with databionic mining techniques. Low level audio features are extracted from the raw audio data on sh...
DAC
2003
ACM
14 years 20 days ago
2003
ACM
Conventional register transfer level (RTL) debugging is based on overlaying simulation results on structural connectivity information of the Hardware Description Language (HDL) so...
TACAS
2001
Springer
13 years 12 months ago
2001
Springer
Multi-valued logics support the explicit modeling of uncertainty and disagreement by allowing additional truth values in the logic. Such logics can be used for verification of dyn...
DAGSTUHL
1997
13 years 8 months ago
1997
A realistic simulation system, which couples geometry and physics, can provide a useful toolkit for virtual environments. Interactions among moving objects in the virtual worlds a...