3392 search results - page 454 / 679 » Using Knowledge Representation to Understand Interactive Sys... |
159
click to vote
FASE
2000
Springer
15 years 8 months ago
2000
Springer
We present a family of tools for program development and verification, comprising the transformation system TAS and the theorem proving interface IsaWin. Both are based on the theo...
134
click to vote
VISUALIZATION
2005
IEEE
15 years 10 months ago
2005
IEEE
A new close range virtual reality system is introduced that allows intuitive and immersive user interaction with computer generated objects. A projector with a special spherical l...
149
click to vote
IV
2003
IEEE
15 years 10 months ago
2003
IEEE
In this paper, we present a new framework for the use of Virtual Reality (VR) in engineering design for configuration applications. Traditional VR systems support the visual explo...
147
click to vote
RSS
2007
15 years 6 months ago
2007
— While robot mapping has seen massive strides , higher level abstractions in map representation are still not widespread. Maps containing semantic concepts such as objects and l...
145
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
This paper considers the problem of performing decentralised coordination of low-power embedded devices (as is required within many environmental sensing and surveillance applicat...