Sciweavers

1809 search results - page 319 / 362
» A Formal Specification of dMARS
Sort
View
MEDINFO
2007
102views Healthcare» more  MEDINFO 2007»
13 years 11 months ago
Automatic Treatment of Temporal Issues in Clinical Guidelines in the GLARE System
Temporal constraints play a fundamental role in clinical guidelines. For example, temporal indeterminacy, constraints about duration, delays between actions and periodic repetitio...
Luca Anselma, Paolo Terenziani, Stefania Montani, ...
MEDINFO
2007
128views Healthcare» more  MEDINFO 2007»
13 years 11 months ago
Biomedical Vocabularies - the Demand for Differentiation
The need of biomedical vocabularies is well known for various tasks, e.g., supporting structured data entry, decision support and electronic data exchange as well as retrieval and...
Josef Ingenerf, Siegfried J. Pöppl
AAAI
2006
13 years 11 months ago
SEMAPLAN: Combining Planning with Semantic Matching to Achieve Web Service Composition
Composing existing Web services to deliver new functionality is a difficult problem as it involves resolving semantic, syntactic and structural differences among the interfaces of...
Rama Akkiraju, Biplav Srivastava, Anca-Andreea Iva...
CLIMA
2004
13 years 11 months ago
Declarative Agent Control
In this work, we extend the architecture of agents (and robots) based upon fixed, one-size-fits-all cycles of operation, by providing a framework of declarative specification of ag...
Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, ...
DAGSTUHL
2006
13 years 11 months ago
DecSerFlow: Towards a Truly Declarative Service Flow Language
The need for process support in the context of web services has triggered the development of many languages, systems, and standards. Industry has been developing software solutions...
Wil M. P. van der Aalst, Maja Pesic