Sciweavers

639 search results - page 62 / 128
» Integer Programming Models for Optimization Problems in Test...
Sort
View
ICALP
1997
Springer
15 years 8 months ago
Discrete-Time Control for Rectangular Hybrid Automata
Rectangular hybrid automatamodel digital control programs of analog plant environments. We study rectangular hybrid automatawhere the plant state evolves continuously in real-numbe...
Thomas A. Henzinger, Peter W. Kopke
ATMOS
2007
114views Optimization» more  ATMOS 2007»
15 years 5 months ago
Fast Approaches to Robust Railway Timetabling
The Train Timetabling Problem (TTP) consists in finding a train schedule on a railway network that satisfies some operational constraints and maximizes a profit function which c...
Matteo Fischetti, Arrigo Zanette, Domenico Salvagn...
172
Voted
AIPS
2004
15 years 5 months ago
Optimal Resource Allocation and Policy Formulation in Loosely-Coupled Markov Decision Processes
The problem of optimal policy formulation for teams of resource-limited agents in stochastic environments is composed of two strongly-coupled subproblems: a resource allocation pr...
Dmitri A. Dolgov, Edmund H. Durfee
250
Voted
POPL
2007
ACM
16 years 4 months ago
Locality approximation using time
Reuse distance (i.e. LRU stack distance) precisely characterizes program locality and has been a basic tool for memory system research since the 1970s. However, the high cost of m...
Xipeng Shen, Jonathan Shaw, Brian Meeker, Chen Din...
HICSS
1995
IEEE
93views Biometrics» more  HICSS 1995»
15 years 7 months ago
Generating optimization-based decision support systems
This paper discusses the implementation of optimizaiion based DSSs. A n approach is proposed that will enable OR/MS analysts to develop this kind of system much more eociently tha...
Arthur Geoffrion, Sergio Maturana