2766 search results - page 272 / 554 » Hybridizing a Logical Framework |
186
click to vote
JMIV
2002
15 years 6 months ago
2002
There exist several methods to extend binary morphology to grey-scale images. One of these methods is based on fuzzy logic and fuzzy set theory. Another approach starts from the c...
172
click to vote
WEBI
2007
Springer
16 years 23 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 ...
186
click to vote
JCDL
2006
ACM
16 years 18 days ago
2006
ACM
In this paper we introduce POLAR, a probabilistic objectoriented logical framework for annotation-based information retrieval. In POLAR, the knowledge about digital objects, annot...
178
click to vote
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
Detection of a global predicate is a fundamental problem in distributed computing. In this paper we describe new predicate detection algorithms for certain temporal logic predicat...
179
Voted
ICLP
1999
Springer
15 years 11 months ago
1999
Springer
We introduce the notion of bounded nondeterminism for logic programs and queries. A program and a query have bounded nondeterminism if there are finitely many refutations for the...