7393 search results - page 1104 / 1479 » Synthesis-for-testability using transformations |
121
Voted
ICMCS
2005
IEEE
15 years 10 months 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...
133
Voted
ICRA
2005
IEEE
15 years 10 months 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...
116
click to vote
TIME
2005
IEEE
15 years 10 months 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 ...
158
Voted
WACV
2005
IEEE
15 years 10 months 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...
127
click to vote
WECWIS
2005
IEEE
15 years 10 months 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 ...