659 search results - page 110 / 132 » Using formal models to design user interfaces: a case study |
SPATIALCOGNITION
2004
Springer
14 years 1 months ago
2004
Springer
Establishing a clean relationship between a robot’s spatial model and natural language components is a non-trivial task, but is key to designing verbally controlled, navigating s...
NETGAMES
2003
ACM
14 years 1 months ago
2003
ACM
Plenty of work was contributed in the field of protocol design and performance evaluation of multi-hop networks. It is generally accepted that mobility has a huge impact on the p...
WACV
2007
IEEE
14 years 2 months ago
2007
IEEE
In this paper, stereo matching and 3D visualization issues are studied for a linear pushbroom stereo model built for 3D gamma-ray (or x-ray) cargo inspection. A fast and automated...
VLDB
2007
ACM
14 years 2 months ago
2007
ACM
Many enterprises nowadays use business processes, based on the BPEL standard, to achieve their goals. These are complex, often distributed, processes. Monitoring the execution of ...
DSRT
2008
IEEE
14 years 3 months ago
2008
IEEE
Embedded systems technologies and advances in micro electronics have accelerated the evolution of driver assistance systems towards more driving safety, comfort, entertainment and...