Sciweavers

2092 search results - page 312 / 419
» A Theory of Non-Deterministic Networks
Sort
View
ECAI
2006
Springer
15 years 3 months ago
Verification of Medical Guidelines Using Task Execution with Background Knowledge
Abstract. The use of a medical guideline can be seen as the execution of computational tasks, sequentially or in parallel, in the face of patient data. It has been shown that many ...
Arjen Hommersom, Perry Groot, Peter J. F. Lucas, M...
WSC
2008
15 years 2 months ago
Integrated human decision making model under Belief-Desire-Intention framework for crowd simulation
An integrated Belief-Desire-Intention (BDI) modeling framework is proposed for human decision making and planning, whose sub-modules are based on Bayesian belief network (BBN), De...
Seungho Lee, Young-Jun Son
CAISE
2008
Springer
15 years 1 months ago
Method Tailoring as Negotiation
The need for method tailoring is widely accepted in the field of information systems development methods. Today much attention has been devoted to viewing method tailoring either a...
Fredrik Karlsson
ECAI
2008
Springer
15 years 1 months ago
A Simulation-based Approach for Solving Generalized Semi-Markov Decision Processes
Time is a crucial variable in planning and often requires special attention since it introduces a specific structure along with additional complexity, especially in the case of dec...
Emmanuel Rachelson, Gauthier Quesnel, Fréd&...
ISIM
2007
15 years 1 months ago
Component Model with Support of Mobile Architectures
Common features of current information systems have significant impact on software architectures of these systems. The systems can not be realised as monoliths, formal specifica...
Marek Rychlý