4609 search results - page 818 / 922 » Automatic Generation of Sigma-Protocols |
152
click to vote
PAMI
2006
15 years 5 months ago
2006
The goal of this paper is to provide a "self-adaptive" system for real-time range acquisition. Reconstructions are based on a single frame structured light illumination. ...
158
click to vote
IJAOSE
2007
15 years 5 months ago
2007
This paper describes West2East, a Computer-Aided Agent-Oriented Software Engineering toolkit aimed at supporting the implementation of multiagent systems. West2East exploits langua...
130
click to vote
RAS
2006
15 years 5 months ago
2006
Self-reconfigurable robots are built from modules, which are autonomously able to change the way they are connected. Such a robot can, through this self-reconfiguration process, c...
156
click to vote
SAC
2006
ACM
15 years 5 months ago
2006
ACM
The implementation of a correctly rounded or interval elementary function needs to be proven carefully in the very last details. The proof requires a tight bound on the overall er...
171
click to vote
TASE
2008
IEEE
15 years 5 months ago
2008
IEEE
An automated system for planning and optimization of lumber production using Machine Vision and Computed Tomography (CT) is proposed. Cross-sectional CT images of hardwood logs are...