2981 search results - page 206 / 597 » Answer Set Planning |
120
Voted
IROS
2009
IEEE
15 years 10 months ago
2009
IEEE
—We present an efficient approach to generating paths for a robotic manipulator that are collision-free and guaranteed to meet task specifications despite pose uncertainty. We ...
118
Voted
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
We describe a model-based construction of an online tester for black-box testing of implementation under test (IUT). The external behavior of the IUT is modeled as an output obser...
142
click to vote
MIDDLEWARE
2007
Springer
15 years 10 months ago
2007
Springer
In self-adaptive systems, metadata about resources in the system (e.g., services, nodes) must be dynamically published, updated, and removed. Current middleware approaches use sta...
108
click to vote
ASPDAC
2006
ACM
15 years 10 months ago
2006
ACM
System-on-chip and system-in-package result in increased number of I/O cells and complicated constraints for both chip designs and package designs. This renders the traditional ma...
109
click to vote
PERVASIVE
2005
Springer
15 years 9 months ago
2005
Springer
This paper reports on extensions to a decision-theoretic location-aware shopping guide and on the results of user studies that have accompanied its development. On the basis of the...