984 search results - page 111 / 197 » Experimenting with Multi-Level Models in a Two-Level Modelin... |
131
click to vote
EWCBR
2004
Springer
15 years 9 months ago
2004
Springer
When events such as severe weather or congestion interfere with the normal flow of air traffic, air traffic controllers may implement plays that reroute one or more traffic flows. ...
113
click to vote
IUI
2000
ACM
15 years 8 months ago
2000
ACM
Design problems involve issues of stylistic preference and flexible standards of success; human designers often proceed by intuition and are unaware of following any strict rule-b...
133
click to vote
WSC
2004
15 years 5 months ago
2004
This paper presents the results of an effort to compare results of an experiment performed in both a virtual and a real environment. The research question addressed is if virtual ...
109
click to vote
WSC
1997
15 years 5 months ago
1997
Simulation optimization can be defined as the process of finding the best input variable values from among all possibilities without explicitly evaluating each possibility. The ob...
142
click to vote
FMSD
2008
15 years 3 months ago
2008
Abstract Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically base...