Sciweavers

270 search results - page 40 / 54
» ASQA: Agent Supported Question Answering System
Sort
View
SIGOPS
2008
146views more  SIGOPS 2008»
15 years 5 months ago
Vigilant: out-of-band detection of failures in virtual machines
What do our computer systems do all day? How do we make sure they continue doing it when failures occur? Traditional approaches to answering these questions often involve inband m...
Dan Pelleg, Muli Ben-Yehuda, Richard Harper, Lisa ...
EXACT
2007
15 years 8 months ago
PML 2: A Modular Explanation Interlingua
In the past five years, we have designed and evolved an interlingua for sharing explanations generated by various automated systems such as hybrid web-based question answering sys...
Deborah L. McGuinness, Li Ding, Paulo Pinheiro da ...
SAT
2007
Springer
118views Hardware» more  SAT 2007»
16 years 2 days ago
Improved Lower Bounds for Tree-Like Resolution over Linear Inequalities
Abstract. We continue a study initiated by Kraj´ıˇcek of a Resolutionlike proof system working with clauses of linear inequalities, R(CP). For all proof systems of this kind Kra...
Arist Kojevnikov
TGIS
2010
107views more  TGIS 2010»
15 years 4 months ago
Spatial Planning on the Semantic Web
Land use regulations are an important but often underrated legal domain. In densely populated regions such as the Netherlands, spatial plans have a profound impact on both (local) ...
Rinke Hoekstra, Radboud Winkels, Erik Hupkes
SEMWEB
2004
Springer
15 years 11 months ago
An Initial Investigation into Querying an Untrustworthy and Inconsistent Web
The Semantic Web is bound to be untrustworthy and inconsistent. In this paper, we present an initial approach for obtaining useful information in such an environment. In particular...
Yuanbo Guo, Jeff Heflin