3505 search results - page 40 / 701 » Information Theory and the IrisCode |
77
Voted
TYPES
1999
Springer
15 years 2 months ago
1999
Springer
We propose a method to search for a lemma in a goq proof library by using the lemma type as a key. The method is based on the concept of type isomorphism developed within the funct...
CORR
2008
Springer
14 years 9 months ago
2008
Springer
We apply the theory of random Schr
INFFUS
2006
14 years 9 months ago
2006
Intelligent agents have to be able to merge informational inputs received from different sources in a coherent and rational way. Several proposals have been made for information m...
132
click to vote
Book
"These notes were written over a period of years as part of an advanced undergraduate/
beginning graduate course on Algebraic Coding Theory at Michigan
State University.&quo...
MIE
2008
14 years 11 months ago
2008
In the United States and Europe, electronic health records (EHRs) allow information technology and decision-support to facilitate the activities of clinicians and are considered a...