8555 search results - page 1478 / 1711 » Property Based Coordination |
189
click to vote
IJRR
2008
15 years 6 months ago
2008
: This paper presents an image-based visual servoing strategy for the autonomous navigation of a mobile holonomic robot from a current toward a desired pose, specified only through...
184
click to vote
IJAIT
2006
15 years 6 months ago
2006
We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof obligatio...
200
click to vote
IPM
2008
15 years 6 months ago
2008
Authorship analysis of electronic texts assists digital forensics and anti-terror investigation. Author identification can be seen as a single-label multi-class text categorizatio...
144
click to vote
IJHPCN
2006
15 years 6 months ago
2006
Sensors and other small devices that periodically transmit relatively small packets of information motivate the study of hash chains with small domains and ranges. Hash chain based...
167
Voted
IVC
2008
15 years 6 months ago
2008
In this paper we present a new physically motivated curve/region descriptor based on the solution of Helmholtz's equation. The descriptor we propose satisfies the six princip...