Sciweavers

4865 search results - page 743 / 973
» The Complexity of Graph Connectivity
Sort
View
FLAIRS
2007
15 years 6 months ago
Interpretive Reasoning with Hypothetical Cases
Reasoning with hypothetical cases helps decision-makers evaluate alternate hypotheses for deciding a case. The hypotheticals demonstrate the sensitivity of a hypothesis to apparen...
Kevin D. Ashley
BPM
2008
Springer
136views Business» more  BPM 2008»
15 years 6 months ago
From Paper Based Clinical Practice Guidelines to Declarative Workflow Management
We present a field study of oncology workflow, involving doctors, nurses and pharmacists at Danish hospitals and discuss the obstacles, enablers and challenges for the use of compu...
Karen Marie Lyng, Thomas Hildebrandt, Raghava Rao ...
FOGA
2007
15 years 5 months ago
Saddles and Barrier in Landscapes of Generalized Search Operators
Barrier trees are a convenient way of representing the structure of complex combinatorial landscapes over graphs. Here we generalize the concept of barrier trees to landscapes deļ...
Christoph Flamm, Ivo L. Hofacker, Bärbel M. R...
FORTE
2007
15 years 5 months ago
Specifying and Composing Interaction Protocols for Service-Oriented System Modelling
Abstract. We present and discuss a formal, high-level approach to the specification and composition of interaction protocols for service-oriented systems. This work is being develo...
João Abreu, Laura Bocchi, José Luiz ...
AAAI
2006
15 years 5 months ago
Cost-Optimal External Planning
This paper considers strategies for external memory based optimal planning. An external breadth-first search exploration algorithm is devised that is guaranteed to find the costop...
Stefan Edelkamp, Shahid Jabbar