Sciweavers

11168 search results - page 1507 / 2234
» Abstract State Processes
Sort
View
ESWS
2009
Springer
16 years 1 months ago
Ontology Evolution with Evolva
Abstract. Ontology evolution is a painstaking and time-consuming process, especially in information rich and dynamic domains. While ontology evolution refers both to the adaptation...
Fouad Zablith, Marta Sabou, Mathieu d'Aquin, Enric...
FM
2009
Springer
104views Formal Methods» more  FM 2009»
16 years 1 months ago
A Smooth Combination of Linear and Herbrand Equalities for Polynomial Time Must-Alias Analysis
Abstract. We present a new domain for analyzing must-equalities between address expressions. The domain is a smooth combination of Herbrand and affine equalities which enables us t...
Helmut Seidl, Vesal Vojdani, Varmo Vene
ICCBR
2009
Springer
16 years 1 months ago
Conceptual Neighborhoods for Retrieval in Case-Based Reasoning
Abstract. We present a case-based reasoning technique based on conceptual neighborhoods of cases. The system applies domain knowledge to the case retrieval process in the form of r...
Ben G. Weber, Michael Mateas
186
Voted
ICCS
2009
Springer
16 years 1 months ago
Default Conceptual Graph Rules: Preliminary Results for an Agronomy Application
Abstract. In this paper, we extend Simple Conceptual Graphs with Reiter’s default rules. The motivation for this extension came from the type of reasonings involved in an agronom...
Jean-François Baget, Madalina Croitoru, J&e...
ICTIR
2009
Springer
16 years 1 months ago
A Quantum-Based Model for Interactive Information Retrieval
Abstract Even the best information retrieval model cannot always identify the most useful answers to a user query. This is in particular the case with web search systems, where it ...
Benjamin Piwowarski, Mounia Lalmas
« Prev « First page 1507 / 2234 Last » Next »