4894 search results - page 724 / 979 » Dynamic Abstraction Planning |
188
click to vote
TROB
2002
15 years 6 months ago
2002
Abstract-- This paper presents a framework for visual servoing that guarantees convergence to a visible goal from almost every initially visible configuration while maintaining ful...
138
click to vote
TODAES
2008
15 years 6 months ago
2008
Abstract-- Automata-based methods for generating PSL hardware assertion checkers were primarily considered for use with temporal sequences, as opposed to full-scale properties. We ...
142
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract— Within assembly lines, wheel assembly to continuously conveyed car bodies is still executed by human workers using a device that compensates the weight of the wheel. Th...
212
click to vote
ICSOC
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Service-based systems should be able to dynamically seek replacements for faulty or underperforming services, thus performing self-healing. It may however be the case tha...
182
click to vote
IFIPTM
2010
15 years 5 months ago
2010
Abstract. In this paper, we examine a trust-based framework for promoting honesty in e-marketplaces that relies on buyers forming social networks to share reputation ratings of sel...