531 search results - page 86 / 107 » Using Abstraction for Planning in Sokoban |
GLOBECOM
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— Precoding with block diagonalization is an attractive approach for approaching sum capacity in multiuser MIMO (multiple input multiple output) broadcast channels. This ...
ICIP
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper analyzes the movements of the human body limbs (hands, feet and head) and center of gravity in order to detect simple actions such as walking, jumping and displacing an...
IROS
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract – Presented in this paper is an approach to realtime spatial reasoning for manipulative robotic tasks. When a service robot is requested to manipulate an object, it shou...
AOSE
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Current Agent-Oriented Software Engineering (AOSE) methodologies adopt a model-based approach for analysis and design, but, in order to become of practical use, they shou...
DSVIS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...