4099 search results - page 538 / 820 » A Framework for Interactive Proof |
165
click to vote
DEBS
2009
ACM
16 years 1 months ago
2009
ACM
Complex middleware frameworks are made out of interacting components which may include bugs. These frameworks are often extended to provide additional features by thirdparty exten...
181
click to vote
IROS
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— Perceiving human faces is one of the most important functions for human robot interaction. The active appearance model (AAM) is a statistical approach that models the s...
181
click to vote
ICRA
2007
IEEE
16 years 29 days ago
2007
IEEE
— Given a robot model and a class of admissible environments, this paper provides a framework for automatically and verifiably composing controllers that satisfy high level task...
178
click to vote
HUC
2007
Springer
16 years 24 days ago
2007
Springer
This paper presents Haggle, an architecture for mobile devices that enables seamless network connectivity and application functionality in dynamic mobile environments. Current appl...
202
click to vote
ISBI
2006
IEEE
16 years 20 days ago
2006
IEEE
We describe the goals and proposed design for SimTK, part of the NIH-supported Simbios National Center for Biomedical Computing. SimTK (Simulation ToolKit) will enable biomedical ...