4211 search results - page 463 / 843 » A formal approach to MASQ |
174
Voted
WSC
1998
15 years 8 months ago
1998
Simulation modeling provides an effective and powerful approach for capturing and analyzing complex manufacturing systems. More and more decisions are based on computer generated ...
183
click to vote
UAI
1997
15 years 8 months ago
1997
There is an obvious need for improving the performance and accuracy of a Bayesian network as new data is observed. Because of errors in model construction and changes in the dynam...
141
Voted
COLING
1996
15 years 8 months ago
1996
2 Focus theory Pulman has shown that Higher-Order Unifcation (HOU) can be used to model the interpretation of focus. In this paper, we extend the unification based approach to case...
196
click to vote
AIME
2009
Springer
15 years 8 months ago
2009
Springer
: Clinical Pathways can be viewed as workflows, comprising an ordering of activities with associated execution constraints. Workflow models allow formal representation, analysis an...
196
click to vote
GPCE
2008
Springer
15 years 8 months ago
2008
Springer
Building complex component-based software architectures can lead to subtle assemblage errors. In this paper, we introduce a typesystem-based approach to avoid message handling err...