9067 search results - page 1636 / 1814 » Adaptive Model Checking |
172
click to vote
SI3D
2005
ACM
16 years 13 days ago
2005
ACM
Recent advances in mobile computing allow the users to deal with 3D interactive graphics on handheld computers. Although the computing resources and screen resolutions grow steadi...
208
click to vote
SIGIR
2005
ACM
16 years 13 days ago
2005
ACM
We formulate and study search algorithms that consider a user’s prior interactions with a wide variety of content to personalize that user’s current Web search. Rather than re...
193
click to vote
SMA
2005
ACM
16 years 13 days ago
2005
ACM
We propose a fast and robust method for detecting crest lines on surfaces approximated by dense triangle meshes. The crest lines, salient surface features defined via first- and...
207
click to vote
ADBIS
2005
Springer
16 years 13 days ago
2005
Springer
A key observation is that the invariants in database management determine the mapping steps of the supporting architecture. Referring to the multi-layered architecture of record-or...
202
click to vote
AMR
2005
Springer
16 years 12 days ago
2005
Springer
This paper presents a system for video shot retrieval in which shots are retrieved based on matching video objects using a combination of colour, shape and texture. Rather than mat...