Sciweavers

3619 search results - page 575 / 724
» Developing Knowledge-Based Systems using the Semantic Web
Sort
View
120
Voted
ACL
2003
15 years 5 months ago
Integrating Information Extraction and Automatic Hyperlinking
This paper presents a novel information system integrating advanced information extraction technology and automatic hyper-linking. Extracted entities are mapped into a domain onto...
Stephan Busemann, Witold Drozdzynski, Hans-Ulrich ...
155
Voted
LPKR
1997
Springer
15 years 7 months ago
Reasoning with Prioritized Defaults
The purpose of this paper is to investigate the methodology of reasoning with prioritized defaults in the language of logic programs under the answer set semantics. We present a do...
Michael Gelfond, Tran Cao Son
OSDI
2000
ACM
15 years 5 months ago
Design and Evaluation of a Continuous Consistency Model for Replicated Services
The tradeoffs between consistency, performance, and availability are well understood. Traditionally, however, designers of replicated systems have been forced to choose from eithe...
Haifeng Yu, Amin Vahdat
161
Voted
FM
2005
Springer
156views Formal Methods» more  FM 2005»
15 years 9 months ago
Testing Concurrent Object-Oriented Systems with Spec Explorer
Abstract Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes Microsoft Research, Redmond, WA, USA Abstract. We describe a pract...
Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson...
129
Voted
CIVR
2007
Springer
138views Image Analysis» more  CIVR 2007»
15 years 9 months ago
SemRetriev: an ontology driven image retrieval system
This paper describes the technical details of SemRetriev, a prototype system for image retrieval which combines the use of an ontology which structures an image repository and of ...
Adrian Popescu, Pierre-Alain Moëllic, Christo...