578 search results - page 61 / 116 » A Logic Programming Based Approach to QA@CLEF05 Track |
146
click to vote
ESWS
2009
Springer
15 years 11 months ago
2009
Springer
We present GiaBATA, a system for storing, aggregating, and querying Semantic Web data, based on declarative logic programming technology, namely on the dlvhex system, which allows ...
122
click to vote
PLPV
2010
ACM
16 years 1 months ago
2010
ACM
This paper presents a resource typing framework for the Guru d-programming language, in which abstractions for various kinds of program resources can be defined. Implemented exam...
162
click to vote
CADE
2002
Springer
16 years 4 months ago
2002
Springer
Abstract. Proof-carrying code (PCC) allows a code producer to associate to a program a machine-checkable proof of its safety. In the original approach to PCC, the safety policy inc...
146
click to vote
VTS
2002
IEEE
15 years 9 months ago
2002
IEEE
We present a software-based weighted random pattern scheme for testing delay faults in IP cores of programmable SoCs. We describe a method for determining static and transition pr...
134
click to vote
PSSS
2003
15 years 5 months ago
2003
Contrary to earlier reports in literature, exhaustive forward inferencing is a feasible approach for practical RDF. It is sufficiently fast and the increase in necessary storage s...