3031 search results - page 264 / 607 » Virtual development center |
161
click to vote
AMAST
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
166
click to vote
SIBGRAPI
1999
IEEE
15 years 10 months ago
1999
IEEE
Advanced Human Computer Interaction (HCI) techniques are required to enhance current computer interfaces. In this paper we present an eye gaze tracking system based on a robust low...
136
Voted
LREC
2010
15 years 7 months ago
2010
In this paper we describe two geometrical models of meaning representation, the Semantic Atlas (SA) and the Automatic Contexonym Organizing Model (ACOM). The SA provides maps of m...
164
click to vote
RSS
2007
15 years 7 months ago
2007
— The light-weight robots developed at the German Aerospace Center (DLR) are characterized by their low inertial properties, torque sensing in each joint and a load to weight rat...
158
Voted
ACL
2003
15 years 7 months ago
2003
We will demonstrate the latest version of an ongoing project to create an intelligent procedure assistant for use by astronauts on the International Space Station (ISS). The syste...