7393 search results - page 1104 / 1479 » Synthesis-for-testability using transformations |
151
click to vote
ICMCS
2005
IEEE
16 years 9 days ago
2005
IEEE
We present a novel human posture recognition method using convex programming based matching schemes. Instead of trying to segment the object from the background, we develop a nove...
156
click to vote
ICRA
2005
IEEE
16 years 9 days ago
2005
IEEE
— The need for reliable maps of subterranean spaces too hazardous for humans to occupy has motivated the use of robotic technology as mapping tools. As such, we present a systemi...
139
click to vote
TIME
2005
IEEE
16 years 8 days ago
2005
IEEE
We exploit the fact that qualitative Interval Algebra (IA) network problems are finite domain CSPs. In the first part of the paper, we show how to convert a qualitative IA network ...
200
click to vote
WACV
2005
IEEE
16 years 8 days ago
2005
IEEE
We present an approach for persistent tracking of moving objects observed by non-overlapping and moving cameras. Our approach robustly recovers the geometry of non-overlapping vie...
174
click to vote
WECWIS
2005
IEEE
16 years 8 days ago
2005
IEEE
Web Service protocol standards should be unambiguous and provide a complete description of the allowed behavior of the protocols’ participants. Implementation of such protocols ...