6608 search results - page 1138 / 1322 » On the Completeness of Model Checking |
111
click to vote
IROS
2009
IEEE
15 years 11 months ago
2009
IEEE
— When analyzed in the tangential speed domain, human movements exhibit a multi-peaked speed profile which is commonly interpreted as evidence for submovements. At slow speeds, ...
139
click to vote
IROS
2009
IEEE
15 years 11 months ago
2009
IEEE
— Highly underactuated and passively adaptive robotic hands have shown great promise for robust performance in unstructured settings. In order to fully realize this potential, ef...
148
click to vote
IROS
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— Autonomous estimation of the altitude of an Unmanned Aerial Vehicle (UAV) is extremely important when dealing with flight maneuvers like landing, steady flight, etc. ...
168
click to vote
ISMAR
2009
IEEE
15 years 11 months ago
2009
IEEE
Visuo-haptic mixed reality consists of adding to a real scene the ability to see and touch virtual objects. It requires the use of seethrough display technology for visually mixin...
150
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
In hedonic games, players have the opportunity to form coalitions, and have preferences over the coalitions they might join. Such games can be used to model a variety of settings ...