1102 search results - page 80 / 221 » Dynamic Constraint Models for Planning and Scheduling Proble... |
IROS
2007
IEEE
14 years 3 months ago
2007
IEEE
— This paper considers the problem of coordinating multiple vehicles with kinodynamic constraints that operate in the same partially-known environment. The vehicles are able to c...
PADL
2004
Springer
14 years 2 months ago
2004
Springer
We present a system (ASP − PROLOG) which provides a tight and well-defined integration of Prolog and Answer Set Programming (ASP). The combined system enhances the expressive po...
DAC
2009
ACM
14 years 10 months ago
2009
ACM
? In this paper we propose an adaptive scheduling and voltage/frequency selection algorithm which targets at energy harvesting systems. The proposed algorithm adjusts the processor...
MODELS
2010
Springer
13 years 7 months ago
2010
Springer
In feature models’ construction, one basic task is to ensure the consistency of feature models, which often involves detecting and fixing of inconsistencies in feature models. S...
OPODIS
2010
13 years 7 months ago
2010
We consider the problem of scheduling dependent real-time tasks for overloads on a multiprocessor system, yielding best-effort timing assurance. The application/scheduling model in...