7607 search results - page 1309 / 1522 » informs 2006 |
118
click to vote
ENTCS
2006
15 years 4 months ago
2006
The CIRCA system automatically synthesizes hard real-time discrete event controllers from plant and environment descriptions. CIRCA's automatically-synthesized controllers pr...
161
click to vote
ENTCS
2006
15 years 4 months ago
2006
This paper presents a game semantics for LP, Artemov's Logic of Proofs. The language of LP extends that of propositional logic by adding formula-labeling terms, permitting us...
134
click to vote
ENVSOFT
2006
15 years 4 months ago
2006
Models are increasingly being relied upon to inform and support natural resource management. They are incorporating an ever broader range of disciplines and now often confront peo...
139
click to vote
EOR
2006
15 years 4 months ago
2006
The success of a company increasingly depends on timely information (internal or external) being available to the right person at the right time for crucial managerial decision-ma...
130
click to vote
EOR
2006
15 years 4 months ago
2006
In Gal and Hanne [Eur. J. Oper. Res. 119 (1999) 373] the problem of using several methods to solve a multiple criteria decision making (MCDM) problem with linear objective functio...