Sciweavers

1998 search results - page 231 / 400
» Situated Control Rules
Sort
View
DSD
2005
IEEE
116views Hardware» more  DSD 2005»
15 years 11 months 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
ICRA
2005
IEEE
174views Robotics» more  ICRA 2005»
15 years 11 months 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
IV
2005
IEEE
157views Visualization» more  IV 2005»
15 years 11 months 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...
CONTEXT
2005
Springer
15 years 11 months 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
15 years 11 months 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