12487 search results - page 241 / 2498 » Graspable Work Modeling |
167
click to vote
LCN
2003
IEEE
16 years 11 days 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...
179
click to vote
CAV
2003
Springer
16 years 10 days 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...
198
click to vote
FMCO
2003
Springer
16 years 9 days 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...
186
click to vote
ICRA
2002
IEEE
16 years 1 days 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...
206
Voted
ISMAR
2002
IEEE
16 years 23 hour 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...