292 search results - page 25 / 59 » A linearization of the Lambda-calculus and consequences |
107
click to vote
ICDM
2002
IEEE
15 years 6 months ago
2002
IEEE
This paper addresses the special applications of data mining techniques in homeland defense. The problem targeted, which is frequently encountered in military/intelligence surveil...
117
click to vote
AUSAI
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. Wrappers have recently been used to obtain parameter optimizations for learning algorithms. In this paper we investigate the use of a wrapper for estimating the correct n...
116
click to vote
CSL
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. A new tree automata framework, called equational tree automata, is presented. In the newly introduced setting, congruence closures of recognizable tree languages are reco...
192
click to vote
COLT
1992
Springer
15 years 5 months ago
1992
Springer
This paper deals with finite size networks which consist of interconnections of synchronously evolving processors. Each processor updates its state by applying a "sigmoidal&q...
137
click to vote
CCS
2004
ACM
15 years 5 months ago
2004
ACM
Group signatures have recently become important for enabling privacy-preserving attestation in projects such as Microsoft's ngscb effort (formerly Palladium). Revocation is c...