116 search results - page 11 / 24 » Gaining Efficiency and Flexibility in the Simple Temporal Pr... |
CAV
2004
Springer
15 years 3 months ago
2004
Springer
Model checking algorithms can report a property as being true for reasons that may be considered vacuous. Current algorithms for detecting vacuity require either checking a quadrat...
WSCG
2004
15 years 17 days ago
2004
Collision detection between moving objects is an open question which raises major problems concerning its algorithmic complexity. In this paper we present a polygon collision dete...
101
click to vote
ICMCS
2007
IEEE
15 years 5 months ago
2007
IEEE
Segmentation of video objects from background is a popular computer vision problem and has many important applications. Most existing methods are either computationally expensive ...
101
click to vote
VIS
2007
IEEE
16 years 14 days ago
2007
IEEE
We propose a novel, geometrically adaptive method for surface reconstruction from noisy and sparse point clouds, without orientation information. The method employs a fast convecti...
104
click to vote
ICMCS
2009
IEEE
14 years 9 months ago
2009
IEEE
Video adaptation has been considered as a promising technique to tackle challenging problems in pervasive multimedia applications. However, the styles of video representation and ...