12487 search results - page 241 / 2498 » Graspable Work Modeling |
111
click to vote
LCN
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents a model for the expected throughput in a Bluetooth network in presence of a number of other Bluetooth networks that cause radio interference. The analysis cons...
138
click to vote
CAV
2003
Springer
15 years 9 months ago
2003
Springer
In previous work, we showed how structural information can be used to efficiently generate the state-space of asynchronous systems. Here, we apply these ideas to symbolic CTL model...
133
click to vote
FMCO
2003
Springer
15 years 9 months ago
2003
Springer
Recently we proposed a mathematical framework offering diverse models of computation and a formal foundation for correct-byconstruction deployment of synchronous designs over dist...
129
click to vote
ICRA
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper a complete strategy for scene modelling from sensory data acquired in a natural environment is defined. This strategy is applied to outdoor mobile robotics and goes f...
152
click to vote
ISMAR
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper presents a new technique we have created, known as Bread Crumbs, which allows the modelling of large outdoor ground features using a mobile augmented reality system and...