7988 search results - page 121 / 1598 » A Useful Undecidable Theory |
CHES
1999
Springer
14 years 2 months ago
1999
Springer
The strength of a cryptographic function depends on the amount of entropy in the cryptovariables that are used as keys. Using a large key length with a strong algorithm is false co...
AIED
2007
Springer
14 years 4 months ago
2007
Springer
Although artificial intelligence has been successfully introduced to enhance Education through technologies in the past few years, major challenges still remain. One of them is how...
TYPES
1999
Springer
14 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...
CHI
2011
ACM
13 years 1 months ago
2011
ACM
In this paper we investigate how people use online rating information to inform decision making. We examine whether a theory of searching for information to discriminate between a...
ISSEP
2010
Springer
14 years 7 months ago
2010
Springer
We developed a set of didactic games and activities that can be used to illustrate and teach various concepts from Information Theory. For each of the games and activities we list ...