4460 search results - page 810 / 892 » Formal methods for interactive systems |
105
Voted
IJCAI
2003
15 years 4 months ago
2003
We have created LADDER, the first language to describe how sketched diagrams in a domain are drawn, displayed, and edited. The difficulty in creating such a language is choosing...
101
Voted
AAAI
1998
15 years 4 months ago
1998
We present a noisy-OR Bayesian network model for simulation-based training, and an efficient search-based algorithm for automatic synthesis of plausible training scenarios from co...
114
Voted
AAAI
2000
15 years 4 months ago
2000
The inherent difficulty in supporting human usability in large control systems--such as building environmental and security systems--derives from the large diversity of components...
110
Voted
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
In many AI settings an agent is comprised of both actionplanning and action-execution components. We examine the relationship between the precision of the execution component, the...
112
click to vote
IJCAT
2008
15 years 2 months ago
2008
Modeling and simulation are essential tools for the design and analysis of container terminals. A computer model can emulate the activities at various levels of details and captur...