5216 search results - page 586 / 1044 » Planning as Model Checking |
160
click to vote
WSC
2004
15 years 8 months ago
2004
To improve its process modeling capabilities, Los Alamos has worked toward integrating dose modeling tools with advanced discrete-event simulation tools. To date, dose information...
211
click to vote
SEC
1996
15 years 8 months ago
1996
This paper introduces and describes an innovative modelling approach which utilises models that are synthesised through approximate calculations of user actions and extensive repr...
158
click to vote
CAD
2004
Springer
15 years 6 months ago
2004
Springer
To allow a designer to focus on the information that is relevant for a particular product development phase, is an important aspect of integral product development. Unlike current...
178
click to vote
ECAI
2004
Springer
16 years 7 days ago
2004
Springer
This paper presents a new model of agency, called the KGP (Knowledge, Goals and Plan) model. This draws from the classic BDI model and proposes a hierarchical agent architecture wi...
171
click to vote
MDM
2004
Springer
16 years 6 days ago
2004
Springer
Location-based applications require a well-formed representation of spatial knowledge. Current location models can be classified into symbolic or geometric models. The former att...