Sciweavers

1021 search results - page 103 / 205
» Concepts in Proof Planning
Sort
View
CASCON
2008
106views Education» more  CASCON 2008»
13 years 10 months ago
Using economic models to allocate resources in database management systems
Resource allocation in database management systems is a performance management process in which an autonomic DBMS makes resource allocation decisions based on properties like work...
Mingyi Zhang, Patrick Martin, Wendy Powley, Paul B...
COR
2006
120views more  COR 2006»
13 years 8 months ago
A hybrid setup for a hybrid scenario: combining heuristics for the home health care problem
Home health care, i.e. visiting and nursing patients in their homes, is a growing sector in the medical service business. From a staff rostering point of view, the problem is to f...
Stefan Bertels, Torsten Fahle
CORR
2004
Springer
191views Education» more  CORR 2004»
13 years 8 months ago
Artificial Intelligence and Systems Theory: Applied to Cooperative Robots
- This paper describes an approach to the design of a population of cooperative robots based on concepts borrowed from Systems Theory and Artificial Intelligence The research has b...
Pedro U. Lima, Luís M. M. Custódio
ICRA
2009
IEEE
125views Robotics» more  ICRA 2009»
13 years 6 months ago
Robust hitting with dynamics shaping
The present paper proposes the motion planning based on "the dynamics shaping" for a robotic arm to hit the target robustly toward the desired direction, of which the con...
Tasuku Yamawaki, Yusuke Tsuzuki, Masahito Yashima
TWC
2010
13 years 3 months ago
Enhancing cell-edge performance: a downlink dynamic interference avoidance scheme with inter-cell coordination
Interference management has been a key concept for designing future high data-rate wireless systems that are required to employ dense reuse of spectrum. Static or semistatic interf...
Mahmudur Rahman, Halim Yanikomeroglu