1353 search results - page 171 / 271 » Streamlined Constraint Reasoning |
133
click to vote
TFS
2011
14 years 4 months ago
2011
—Zadeh’s seminal work in theory of fuzzy-information3 granulation in human reasoning is inspired by the ways in which4 humans granulate information and reason with it. This has...
CORR
2011
Springer
14 years 1 months ago
2011
Springer
We present a unifying approach to the efficient evaluation of propositional answer-set programs. Our approach is based on backdoors which are small sets of atoms that represent ...
ICIP
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract-- This paper presents an edge-directed image interpolation algorithm. In the proposed algorithm, the edge directions are implicitly estimated with a statistical-based appr...
DAC
2006
ACM
15 years 11 months ago
2006
ACM
Design and verification of systems at the Register-Transfer (RT) or behavioral level require the ability to reason at higher levels of abstraction. Difference logic consists of an...
174
click to vote
ICLP
2009
Springer
15 years 10 months ago
2009
Springer
Probabilistic logic programs (PLPs) define a set of probability distribution functions (PDFs) over the set of all Herbrand interpretations of the underlying logical language. When...