5216 search results - page 953 / 1044 » Planning as Model Checking |
157
click to vote
DPD
1998
15 years 2 months ago
1998
Distributed databases operating over wide-area networks such as the Internet, must deal with the unpredictable nature of the performance of communication. The response times of acc...
112
click to vote
SOPR
1998
15 years 2 months ago
1998
One of the more important steps in starting a process improvement initiative is to determine the appropriate tasking and the scope of the process improvement program. There is gre...
122
click to vote
SIAMCO
2002
15 years 2 months ago
2002
We consider a market model with one riskfree and one risky asset, in which the dynamics of the risky asset is governed by a geometric Brownian motion. In this market we consider a...
121
click to vote
UMUAI
1998
15 years 2 months ago
1998
This paper presents some alternate theories for explaining the term ‘initiative’, as it is used in the design of mixed-initiative AI systems. Although there is now active resea...
141
click to vote
TITB
2002
15 years 2 months ago
2002
This paper describes the initial stages of building an ontology of bioinformatics and molecular biology. The conceptualisation is encoded using the Ontology Inference Layer (OIL),...