6608 search results - page 1156 / 1322 » On the Completeness of Model Checking |
179
click to vote
CVPR
2005
IEEE
16 years 4 days ago
2005
IEEE
This work achieves an efficient acquisition of scenes and their depths along streets. During the movement of a vehicle, a slit in the camera frame is set properly to sample scenes...
176
click to vote
ICCV
2005
IEEE
16 years 3 days ago
2005
IEEE
This paper introduces spherical matching to estimate dense temporal correspondence of non-rigid surfaces with genus-zero topology. The spherical domain gives a consistent 2D param...
169
click to vote
ICDAR
2005
IEEE
16 years 3 days ago
2005
IEEE
This paper describes the development of a new document ranking system based on layout similarity. The user has a need represented by a set of ”wanted” documents, and the syste...
180
click to vote
ICW
2005
IEEE
16 years 3 days ago
2005
IEEE
The MPEG-4 standard includes support not only for natural video and audio, but also for synthetic graphics and sounds. In the MPEG-4 specifications, Body Animation Parameters (BAP...
170
click to vote
INFOCOM
2005
IEEE
16 years 3 days ago
2005
IEEE
Abstract— We consider a multi-class queueing system operating under the Discriminatory Processor-Sharing (DPS) discipline. The DPS discipline provides a natural approach for mode...