Sciweavers

2940 search results - page 262 / 588
» Behavioral Constraints for Services
Sort
View
EOR
2010
113views more  EOR 2010»
15 years 3 months ago
Combining integer programming and the randomization method to schedule employees
: We describe a method to find low cost shift schedules with a time-varying service level that is always above a specified minimum. Most previous approaches used a two-step procedu...
Armann Ingolfsson, Fernanda Campello, Xudong Wu, E...
ICRA
2007
IEEE
150views Robotics» more  ICRA 2007»
16 years 17 days ago
On Robot Gymnastics Planning with Non-zero Angular Momentum
– Conservation of angular momentum that introduces nonholonomic behavior, underactuation and time dependence, makes the trajectory planning of gymnastic robots difficult. By defi...
Evangelos Papadopoulos, Ioannis Fragkos, Ioannis T...
RTCSA
2005
IEEE
15 years 12 months ago
Feedback Control Static Scheduling for Real-Time Distributed Embedded Systems
This paper presents an implementation of feedback control strategy on distributed static scheduling. The static schedule is created taking into account the average execution times...
Tolga Ayav, Yves Sorel
144
Voted
ESOP
2003
Springer
15 years 11 months ago
Automatic Software Model Checking Using CLP
This paper proposes the use of constraint logic programming (CLP) to perform model checking of traditional, imperative programs. We present a semantics-preserving translation from ...
Cormac Flanagan
GECCO
2003
Springer
15 years 11 months ago
Co-evolving Task-Dependent Visual Morphologies in Predator-Prey Experiments
Abstract. This article presents experiments that integrate competitive coevolution of neural robot controllers with ‘co-evolution’ of robot morphologies and control systems. Mo...
Gunnar Búason, Tom Ziemke