805 search results - page 17 / 161 » Solving Consensus Using Structural Failure Models |
MIE
2008
15 years 1 months ago
2008
: Clinical practice guidelines are textual recommendations based on the consensus of medical experts with the aim to solve diagnostic and therapeutic problems. For more advanced us...
120
click to vote
IPM
2007
14 years 11 months ago
2007
In this article, we elaborate on the meaning of quality in digital libraries (DLs) by proposing a model that is deeply grounded in a formal framework for digital libraries: 5S (St...
TACAS
2000
Springer
15 years 3 months ago
2000
Springer
This paper reports on experimental results with symbolic model checking of probabilistic processes based on Multi-Terminal Binary Decision Diagrams (MTBDDs). We consider concurrent...
EACL
1989
ACL Anthology
15 years 26 days ago
1989
ACL Anthology
The structure of problem-solving discourse in the expert advising setting can be modeled by adding a layer of metaplans to a plan-based model of the task domain. Classes of metapl...
IJFCS
2006
14 years 11 months ago
2006
ion for Parametric Time-Interval Automata Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teruo Higashino Department of Information Networking, Graduate School of Information Science...