9067 search results - page 1744 / 1814 » Adaptive Model Checking |
186
click to vote
CATE
2004
15 years 7 months ago
2004
Recently web-based educational systems collect vast amounts of data on user patterns, and data mining methods can be applied to these databases to discover interesting associations...
159
click to vote
SGP
2003
15 years 7 months ago
2003
We present an algorithm for meshing surfaces that is a simple adaptation of a greedy “farthest point” technique proposed by Chew. Given a surface S, it progressively adds poin...
163
click to vote
NIPS
1998
15 years 7 months ago
1998
In this paper, we consider Markov Decision Processes (MDPs) with error states. Error states are those states entering which is undesirable or dangerous. We define the risk with re...
217
click to vote
WSC
2000
15 years 7 months ago
2000
This paper discusses the use of simulation in a new context. Most often QUEST is viewed as a stand-alone simulation tool to analyze and understand shop floor behavior. It has rare...
147
click to vote
WSC
2000
15 years 7 months ago
2000
A new approach to military operations, called Anticipatory Planning and Adaptive Execution, treats planning and execution as a tightly coupled, single process, and replaces reacti...