3970 search results - page 488 / 794 » A Logic For Causal Reasoning |
173
click to vote
WEBI
2007
Springer
16 years 25 days ago
2007
Springer
The size of the Web and its increase rate made it cumbersome to locate high precision results to a requested piece of information. The Semantic Web provides a framework and a set ...
183
click to vote
ETS
2006
IEEE
16 years 24 days ago
2006
IEEE
BIST is an attractive approach to detect delay faults due to its inherent support for at-speed test. Deterministic logic BIST (DLBIST) is a technique which was successfully applie...
144
click to vote
ICMCS
2005
IEEE
16 years 10 days ago
2005
IEEE
Large amount of images need an efficient way of retrieving them. The usual approach of manually annotating images and/or providing a syntactic retrieval capability lacks flexibi...
171
click to vote
ICLP
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Pruning operators, such as cut, are important to develop efficient logic programs as they allow programmers to reduce the search space and thus discard unnecessary compu...
180
click to vote
TPHOL
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper addresses the crucial issue in the design of a proof development system of how to deal with partial functions and the related question of how to treat undefined terms. ...