Sciweavers

2978 search results - page 196 / 596
» Operations Research
Sort
View
134
Voted
CAV
2001
Springer
107views Hardware» more  CAV 2001»
15 years 8 months ago
Job-Shop Scheduling Using Timed Automata
In this paper we show how the classical job-shop scheduling problem can be modeled as a special class of acyclic timed automata. Finding an optimal schedule corresponds, then, to n...
Yasmina Abdeddaïm, Oded Maler
139
Voted
ROBOCUP
1999
Springer
157views Robotics» more  ROBOCUP 1999»
15 years 8 months ago
Big Red: The Cornell Small League Robot Soccer Team
In this paper we describe Big Red, the Cornell University Robot Soccer team. The success of our team at the 1999 competition can be mainly attributed to three points: 1) An integra...
Raffaello D'Andrea, Jin-Woo Lee, Andrew Hoffman, A...
128
Voted
ICLP
1997
Springer
15 years 7 months ago
Solving Small TSPs with Constraints
This paper presents a set of techniques that makes constraint programming a technique of choice for solving small (up to 30 nodes) traveling salesman problems. These techniques in...
Yves Caseau, François Laburthe
117
Voted
KR
1989
Springer
15 years 7 months ago
Situated Control Rules
In this work we extend the work of Dean, Kaelbling, Kirman and Nicholson on planning under time constraints in stochastic domains to handle more complicated scheduling problems. I...
Mark Drummond
128
Voted
WSC
2007
15 years 6 months ago
A public health application of data analysis for homeland security
This presentation follows up the talk last year to WINFORMS (The Washington Institute for Operations Research and The Management Sciences) in which an approach developed for the a...
Marjorie Greene, Robert Eek