Sciweavers

421 search results - page 68 / 85
» Answering Queries Using Cooperative Semantic Caching
Sort
View
SEMWEB
2004
Springer
15 years 2 months ago
Dynamic Agent Composition from Semantic Web Services
Abstract. The shift from Web pages to Web services enables programmatic access to the near limitless information on the World Wide Web. Autonomous agents should generate concise an...
Michael Czajkowski, Anna L. Buczak, Martin O. Hofm...
CORR
2010
Springer
180views Education» more  CORR 2010»
14 years 6 months ago
XSB: Extending Prolog with Tabled Logic Programming
The paradigm of Tabled Logic Programming (TLP) is now supported by a number of Prolog systems, including XSB, YAP Prolog, B-Prolog, Mercury, ALS, and Ciao. The reasons for this ar...
Terrance Swift, David Scott Warren
ICDE
2003
IEEE
145views Database» more  ICDE 2003»
15 years 10 months ago
PXML: A Probabilistic Semistructured Data Model and Algebra
Despite the recent proliferation of work on semistructured data models, there has been little work to date on supporting uncertainty in these models. In this paper, we propose a m...
Edward Hung, Lise Getoor, V. S. Subrahmanian
AMSTERDAM
2009
14 years 7 months ago
The Data Complexity of the Syllogistic Fragments of English
Abstract. Pratt and Third's syllogistic fragments of English can be used to capture, in addition to syllogistic reasoning, many other kinds of common sense reasoning, and, in ...
Camilo Thorne, Diego Calvanese
ISCA
2012
IEEE
232views Hardware» more  ISCA 2012»
12 years 12 months ago
RADISH: Always-on sound and complete race detection in software and hardware
Data-race freedom is a valuable safety property for multithreaded programs that helps with catching bugs, simplifying memory consistency model semantics, and verifying and enforci...
Joseph Devietti, Benjamin P. Wood, Karin Strauss, ...