13383 search results - page 2391 / 2677 » Abstractions from proofs |
162
Voted
KES
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. A mobile robot that interacts with its environment needs a machineunderstandable representation of objects and their usages. We present an ontology of objects, with gener...
155
Voted
MATES
2005
Springer
15 years 9 months ago
2005
Springer
Independent from specific application domains, similar requirements can be identified regarding information needs during daily work. For coping with generality on the one hand an...
139
Voted
OTM
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We introduce XMLVM, a Turing complete XML-based programming language based on a stack-based, virtual machine. We show how XMLVM can automatically be created from Java cla...
120
Voted
OTM
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The X Protocol, an asynchronous network protocol, was developed at MIT amid the need to provide a network transparent graphical user interface primarily for the UNIX Oper...
160
Voted
PCM
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In this paper we propose a touch enabled video player system. A conventional video player only allows viewers to passively experience visual and audio media. In virtual e...