4401 search results - page 254 / 881 » Computing with Default Logic |
137
Voted
ICPR
2000
IEEE
15 years 10 months ago
2000
IEEE
We present a novel approach for extraction of minutiaefeatures from fingerprint images. Theproposed approach is based on the use of logical templates for minutiae extraction in th...
143
Voted
ICCAD
1998
IEEE
15 years 9 months ago
1998
IEEE
Domino logic is a popular con guration for implementing high-speed circuits. An algorithm for domino logic mapping, under a parameterized library style, is presented here. Practic...
158
click to vote
AAAI
2007
15 years 7 months ago
2007
This paper presents a new approach for merging prioritized knowledge bases in possibilistic logic. Our approach is semantically defined by a model-based merging operator in propo...
149
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We consider quantifier-free spatial logics, designed for qualitative spatial representation and reasoning in AI, and extend them with the means to represent topological c...
148
click to vote
DAC
2004
ACM
16 years 6 months ago
2004
ACM
Reversible quantum logic plays an important role in quantum computing. In this paper, we propose an approach to optimally synthesize quantum circuits by symbolic reachability anal...