2611 search results - page 166 / 523 » A Logic for Concepts and Similarity |
125
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Similarity-based Logic Programming (briefly, SLP) has been proposed to enhance the LP paradigm with a kind of approximate reasoning which supports flexible information retrieval a...
115
click to vote
LOGCOM
2010
15 years 10 days ago
2010
This paper has two purposes. The first is to present a final coalgebra construction for finitary endofunctors on Set that uses a certain subset L∗ of the limit L of the firs...
113
Voted
CIBCB
2007
IEEE
15 years 8 months ago
2007
IEEE
—DNA matching is a crucial step in sequence alignment. Since sequence alignment is an approximate matching process there is a need for good approximate algorithms. The process of...
103
click to vote
ISQED
2003
IEEE
15 years 7 months ago
2003
IEEE
We discuss a non-intrusive methodology for concurrent fault detection in random combinational logic. The proposed method is similar to duplication, wherein a replica of the circui...
125
Voted
LPNMR
2001
Springer
15 years 6 months ago
2001
Springer
Schlipf (Sch95) proved that Stable Logic Programming (SLP) solves all NP decision problems. We extend Schlipf’s result to prove that SLP solves all search problems in the class ...