Sciweavers

1998 search results - page 231 / 400
» Situated Control Rules
Sort
View
179
Voted
DSD
2005
IEEE
116views Hardware» more  DSD 2005»
16 years 17 days ago
Validation of Embedded Systems Using Formal Method Aided Simulation
This paper proposes a validation approach, based on simulation, which addresses problems related to both state space explosion of formal methods and low coverage of informal metho...
Daniel Karlsson, Petru Eles, Zebo Peng
190
Voted
ICRA
2005
IEEE
174views Robotics» more  ICRA 2005»
16 years 17 days ago
A Deformable Object Tracking Algorithm Robust to Occlusions and Spurious Edges
— Deformable object tracking is used in many robotics applications including biomanipulation, vision-based force sensing, and the control of deformable structures. A tracking alg...
Michael A. Greminger, Bradley J. Nelson
173
Voted
IV
2005
IEEE
157views Visualization» more  IV 2005»
16 years 16 days ago
Smart and Physically-Based Navigation in 3D Geovirtual Environments
This paper describes an approach for smart and physically-based navigation, which aims at supporting effective and intuitive user interactions with 3D geovirtual environments (Geo...
Henrik Buchholz, Johannes Bohnet, Jürgen D&ou...
194
Voted
CONTEXT
2005
Springer
16 years 15 days ago
Context-Dependent and Epistemic Uses of Attention for Perceptual-Demonstrative Identification
Object identification via a perceptual-demonstrative mode of presentation has been studied in cognitive science as a particularly direct and context-dependent means of identifying ...
Nicolas J. Bullot
IPSN
2005
Springer
16 years 14 days ago
Experiences and directions in pushpin computing
— Over the last three years we have built and experimented with the Pushpin Computing wireless sensor network platform. The Pushpin platform is a tabletop multihop wireless senso...
Joshua Lifton, Michael Broxton, Joseph A. Paradiso