10054 search results - page 1841 / 2011 » On the Complexity of Function Learning |
161
click to vote
ICCAD
1999
IEEE
15 years 8 months ago
1999
IEEE
In this paper we present new methods for fast justification and propagation in the implication graph (IG) which is the core data structure of our SAT based implication engine. As ...
146
click to vote
ECAL
1999
Springer
15 years 8 months ago
1999
Springer
We use a new general-purpose model of neutral evolution of genotypes to make quantitative comparisons of diversity and adaptive evolutionary activity as a function of mutation rate...
130
click to vote
ECOOP
1999
Springer
15 years 8 months ago
1999
Springer
Virtual types have been proposed as a notation for generic programming in object-oriented languages—an alternative to the more familiar mechanism of parametric classes. The trade...
137
click to vote
PKC
1999
Springer
15 years 8 months ago
1999
Springer
One of the key directions in complexity theory which has also filtered through to cryptographic research, is the effort to classify related but seemingly distinct notions. Separa...
119
click to vote
TSD
1999
Springer
15 years 8 months ago
1999
Springer
The use of the treebank as a resource for linguistic research has led us to look for an annotation scheme representing not only surface syntactic information (in ‘analytic trees...