Sciweavers

5707 search results - page 996 / 1142
» Symbolic Simulation - Techniques and Applications
Sort
View
187
Voted
HCSE
2010
15 years 4 months ago
The APEX Framework: Prototyping of Ubiquitous Environments Based on Petri Nets
Abstract. The user experience of ubiquitous environments is a determining factor in their success. The characteristics of such systems must be explored as early as possible to anti...
José Luís Silva, Óscar R. Rib...
ICRA
2010
IEEE
142views Robotics» more  ICRA 2010»
15 years 4 months ago
Toward automated tissue retraction in robot-assisted surgery
—Robotic surgical assistants are enhancing physician performance, enabling physicians to perform more delicate and precise minimally invasive surgery. However, these devices are ...
Sachin Patil, Ron Alterovitz
ICRA
2010
IEEE
149views Robotics» more  ICRA 2010»
15 years 4 months ago
Towards simplicial coverage repair for mobile robot teams
— In this note, we present initial results towards developing a distributed algorithm for repairing topological holes in the sensor cover of a mobile robot team. Central to our a...
Jason C. Derenick, Vijay Kumar, Ali Jadbabaie
IJHCI
2010
117views more  IJHCI 2010»
15 years 4 months ago
Avoiding Latent Design Conditions Using UI Discovery Tools
Motivation – Designers make decisions that later influence how users work with the systems that they have designed. When errors occur in use, it is tempting to focus on the acti...
Harold W. Thimbleby
INFFUS
2010
121views more  INFFUS 2010»
15 years 4 months ago
The statistical mechanics of belief sharing in multi-agent systems
- Many exciting, emerging applications require that a group of agents share a coherent view of the world given spatial distribution, incomplete and uncertain sensors, and communica...
Robin Glinton, Katia P. Sycara, David Scerri, Paul...