3732 search results - page 481 / 747 » Ubiquitous Computing for the Public |
240
click to vote
ESOP
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. We instantiate an Isabelle/HOL framework for proof carrying code to Jinja bytecode, a downsized variant of Java bytecode featuring objects, inheritance, method calls and ...
187
click to vote
ISRR
2005
Springer
16 years 7 days ago
2005
Springer
ys when planning meant searching for a sequence of abstract actions that satisfied some symbolic predicate. Robots can now learn their own representations through statistical infe...
167
click to vote
LOCA
2005
Springer
16 years 7 days ago
2005
Springer
The aim of COMPASS (short for COM mon Positioning Architecture for Several Sensors) is to realize a location infrastructure which can make use of a multitude of different sensors,...
166
click to vote
DOCENG
2004
ACM
16 years 5 days ago
2004
ACM
Three-way merging is a technique that may be employed for reintegrating changes to a document in cases where multiple independently modified copies have been made. While tools fo...
201
click to vote
WS
2003
ACM
16 years 1 hour ago
2003
ACM
The vision of nomadic computing with its ubiquitous access has stimulated much interest in the Mobile Ad Hoc Networking (MANET) technology. However, its proliferation strongly dep...