504 search results - page 78 / 101 » Explaining Verification Conditions |
COSIT
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. I review theories and research on the cognitive processing of environmental distance information by humans, particularly that acquired via direct experience in the enviro...
WACV
2008
IEEE
14 years 2 months ago
2008
IEEE
Most face recognition algorithms use a “distancebased” approach: gallery and probe images are projected into a low dimensional feature space and decisions about matching are b...
HICSS
2007
IEEE
14 years 2 months ago
2007
IEEE
The literature agrees that the major threat to IS security is constituted by careless employees who do not comply with organizations’ IS security policies and procedures. To add...
ICRA
2007
IEEE
14 years 2 months ago
2007
IEEE
— Efficient, reliable and flexible handling is still very challenging in micromanipulation and micro-assembly. In this paper, we propose an original thermally actuated gripper b...
ROBOCOMM
2007
IEEE
14 years 2 months ago
2007
IEEE
— We describe a system that provides a low-cost, portable control station for experimentation in mobile robotic telesurgery. The software and hardware implementation of our syste...