2611 search results - page 107 / 523 » A Logic for Concepts and Similarity |
147
click to vote
UC
2009
Springer
15 years 8 months ago
2009
Springer
We present a logical approach to the separability analysis issue for a functional quantum computation language. This logic is inspired by previous works on logical analysis of alia...
MSE
2005
IEEE
15 years 7 months ago
2005
IEEE
A graduate-level computer engineering course sequence at the OGI School of Science and Engineering teaches state-of-the-art digital system design practices and system-on-chip desi...
135
click to vote
CAV
2006
Springer
15 years 5 months ago
2006
Springer
The relationship between two well established formalisms for temporal reasoning is first investigated, namely between Allen's interval algebra (or Allen's temporal logic,...
123
click to vote
JAIR
2007
15 years 1 months ago
2007
This work is a contribution to prioritized reasoning in logic programming in the presence of preference relations involving atoms. The technique, providing a new interpretation fo...
123
click to vote
ICPR
2010
IEEE
15 years 3 months ago
2010
IEEE
We propose a novel face image similarity measure based on Hausdorff distance (HD). In contrast to conventional HD-based measures, which are generally applied in the image space (s...