Sciweavers

756 search results - page 148 / 152
» Combining Rule and Ontology Reasoners for the Semantic Web
Sort
View
ER
2001
Springer
130views Database» more  ER 2001»
13 years 12 months ago
NF-SS: A Normal Form for Semistructured Schema
Semistructured data is becoming increasingly important for web applications with the development of XML and related technologies. Designing a “good” semistructured database is ...
Xiaoying Wu, Tok Wang Ling, Sin Yeung Lee, Mong-Li...
SIGIR
2000
ACM
13 years 11 months ago
Evaluating evaluation measure stability
: This paper presents a novel way of examining the accuracy of the evaluation measures commonly used in information retrieval experiments. It validates several of the rules-of-thum...
Chris Buckley, Ellen M. Voorhees
LOGCOM
2008
94views more  LOGCOM 2008»
13 years 7 months ago
Preservation of Interpolation Features by Fibring
Fibring is a metalogical constructor that permits to combine different logics by operating on their deductive systems under certain natural restrictions, as for example that the t...
Walter Alexandre Carnielli, João Rasga, Cri...
ECAI
2004
Springer
14 years 23 days ago
Guiding a Theorem Prover with Soft Constraints
Attempts to use finite models to guide the search for proofs by resolution and the like in first order logic all suffer from the need to trade off the expense of generating and m...
John K. Slaney, Arnold Binas, David Price
ICWE
2004
Springer
14 years 22 days ago
Personalisation Services for Self E-learning Networks
This paper describes the personalisation services designed for self e-learning networks in the SeLeNe project. A self e-learning network consists of web-based learning objects that...
Kevin Keenoy, Alexandra Poulovassilis, Vassilis Ch...