5216 search results - page 331 / 1044 » Planning as Model Checking |
157
click to vote
IAT
2008
IEEE
15 years 5 months ago
2008
IEEE
This paper presents iFALCON, a model of BDI (beliefdesire-intention) agents that is fully realized as a selforganizing neural network architecture. Based on multichannel network m...
162
Voted
JIB
2007
15 years 4 months ago
2007
The creation of quantitative, simulatable, Systems Biology Markup Language (SBML) models that accurately simulate the system under study is a time-intensive manual process that re...
189
click to vote
IS
2012
14 years 15 days ago
2012
Large corporations increasingly utilize business process models for documenting and redesigning their operations. The extent of such modeling initiatives with several hundred mode...
171
click to vote
RE
1999
Springer
15 years 9 months ago
1999
Springer
This paper describes a feasibility study into the use of a formal requirements modeling method (SCR) to assist with Independent Verification and Validation of change requests for ...
160
click to vote
ISDA
2009
IEEE
15 years 11 months ago
2009
IEEE
Educational process mining (EPM) aims at (i) constructing complete and compact educational process models that are able to reproduce all observed behavior (process model discovery...