4555 search results - page 74 / 911 » Deductive Algorithmic Knowledge |
ICPR
2000
IEEE
14 years 2 months ago
2000
IEEE
Fingerprint enhancement is a critical step in fingerprint identification. Most of the existing enhancement algorithms are based on local ridge direction. The main drawback of thes...
WDAG
1990
Springer
14 years 2 months ago
1990
Springer
Traditional problems in distributed systems include the Reliable Broadcast, Distributed Consensus, and Distributed Firing Squad problems. These problems require coordination only ...
ICN
2009
Springer
13 years 8 months ago
2009
Springer
Implicit Media Knowledge aims to provide relevant information related to visual media without effort. It is based on the analysis of media usage from several users (e.g. a communit...
ICEIS
2009
IEEE
14 years 5 months ago
2009
IEEE
Traditional approaches for mining generalized association rules are based only on database contents, and focus on exact matches among items. However, in many applications, the use ...
CADE
2006
Springer
14 years 10 months ago
2006
Springer
We describe here a formal proof in the Coq system of the structure theorem for subresultants, which allows to prove formally the correctness of our implementation of the subresulta...