Sciweavers

1809 search results - page 280 / 362
» A Formal Specification of dMARS
Sort
View
ECAI
2006
Springer
14 years 1 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...
EDBT
2006
ACM
142views Database» more  EDBT 2006»
14 years 1 months ago
Conflicting XML Updates
There has been growing interest in the addition of update operations to languages that operate on XML data, for example, XQuery and XJ. These update operations support efficient an...
Mukund Raghavachari, Oded Shmueli
ESWS
2006
Springer
14 years 1 months ago
An Environment for Semi-automatic Annotation of Ontological Knowledge with Linguistic Content
Both the multilingual aspects which characterize the (Semantic) Web and the demand for more easy-to-share forms of knowledge representation, being equally accessible by humans and ...
Maria Teresa Pazienza, Armando Stellato
ESWS
2006
Springer
14 years 1 months ago
Information Retrieval in Folksonomies: Search and Ranking
Abstract. Social bookmark tools are rapidly emerging on the Web. In such systems users are setting up lightweight conceptual structures called folksonomies. The reason for their im...
Andreas Hotho, Robert Jäschke, Christoph Schm...
GECCO
2006
Springer
135views Optimization» more  GECCO 2006»
14 years 1 months ago
The no free lunch and realistic search algorithms
The No-Free-Lunch theorems (NFLTs) are criticized for being too general to be of any relevance to the real world scenario. This paper investigates, both formally and empirically, ...
Yossi Borenstein, Riccardo Poli