4555 search results - page 631 / 911 » Deductive Algorithmic Knowledge |
160
click to vote
CAV
2005
Springer
16 years 6 days ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
177
Voted
CIKM
2005
Springer
16 years 6 days ago
2005
Springer
Depending on a web searcher’s familiarity with a query’s target topic, it may be more appropriate to show her introductory or advanced documents. The TREC HARD [1] track defi...
183
click to vote
ICMI
2005
Springer
16 years 5 days ago
2005
Springer
This article presents a User Interface (UI) framework for multimodal interactions targeted at immersive virtual environments. Its configurable input and gesture processing compon...
200
click to vote
MM
2004
ACM
16 years 3 days ago
2004
ACM
We present a prototype that automatically aligns acoustic musical signals with their corresponding textual lyrics, in a manner similar to manually-aligned karaoke. We tackle this ...
180
click to vote
MMDB
2004
ACM
16 years 3 days ago
2004
ACM
With the proliferation of image data, the need to search and retrieve images efficiently and accurately from a large image database or a collection of image databases has drastica...