6608 search results - page 1156 / 1322 » On the Completeness of Model Checking |
148
click to vote
CVPR
2005
IEEE
15 years 10 months 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...
137
click to vote
ICCV
2005
IEEE
15 years 10 months 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...
134
click to vote
ICDAR
2005
IEEE
15 years 10 months 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...
152
click to vote
ICW
2005
IEEE
15 years 10 months 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...
137
click to vote
INFOCOM
2005
IEEE
15 years 10 months 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...