5699 search results - page 866 / 1140 » Alternating model trees |
156
click to vote
HYBRID
1995
Springer
15 years 10 months ago
1995
Springer
The theory of supervisory control of discrete event systems is extended to the real-time setting. The real-time behavior of a system is represented by the set of all possible time...
196
click to vote
FLAIRS
2008
15 years 9 months ago
2008
Combining probability and first-order logic has been the subject of intensive research during the last ten years. The most well-known formalisms combining probability and some sub...
172
click to vote
WSC
2007
15 years 9 months ago
2007
Coercion combines flexible points, semi-automated optimization and expert guided manual code modification for adapting simulations to meet new requirements. Coercion can improve s...
184
click to vote
WSC
2007
15 years 9 months ago
2007
Recently developed dual techniques allow us to evaluate a given sub-optimal dynamic portfolio policy by using the policy to construct an upper bound on the optimal value function....
170
click to vote
WSC
2008
15 years 9 months ago
2008
In the construction industry, a specialist subcontractor manages a taskforce of single-skilled laborers to work on multiple construction sites, aiming to minimize the total cost a...