7064 search results - page 1232 / 1413 » From States to Histories |
142
click to vote
IROS
2008
IEEE
16 years 29 days ago
2008
IEEE
— Flying has an advantage when compared to ground based locomotion, as it simplifies the task of overcoming obstacles and allows for rapid coverage of an area while also providi...
182
click to vote
IROS
2008
IEEE
16 years 29 days ago
2008
IEEE
— Developers and end-users have to interface robotic systems for control and feedback. Such systems are typically co-engineered with their graphical user interfaces. In the past,...
173
click to vote
LICS
2008
IEEE
16 years 29 days ago
2008
IEEE
We investigate the notions of may- and mustapproximation in Erratic Idealized Algol (a nondeterministic extension of Idealized Algol), and give explicit characterizations of both ...
203
click to vote
MOBIQUITOUS
2008
IEEE
16 years 29 days ago
2008
IEEE
Mobile ad hoc networks can be leveraged to provide ubiquitous services capable of acquiring, processing, and sharing real-time information from the physical world. Unlike Internet...
204
click to vote
TPHOL
2008
IEEE
16 years 28 days ago
2008
IEEE
g to the well-known “LCF approach” of secure inferences as abstract datatype constructors in ML [16]; explicit proof terms are also available [8]. Isabelle/Isar provides sophis...