651 search results - page 55 / 131 » Decisions in thesaurus construction and use |
120
click to vote
CPAIOR
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. We study the application of limited-width MDDs (multivalued decision diagrams) as discrete relaxations for combinatorial optimization problems. These relaxations are used...
110
click to vote
INFORMS
2010
14 years 10 months ago
2010
We present an approximate dynamic programming approach for making ambulance redeployment decisions in an emergency medical service system. The primary decision is where we should ...
CADE
2003
Springer
16 years 4 days ago
2003
Springer
If there exist efficient procedures (canonizers) for reducing terms of two first-order theories to canonical form, can one use them to construct such a procedure for terms of the d...
FECS
2006
15 years 1 months ago
2006
In this paper, we discuss the design and engineering of the PolyBot board, a custom robot controller board. This board has many features which make it suitable for use in the desi...
SIGSOFT
2006
ACM
15 years 5 months ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...