1855 search results - page 59 / 371 » Composing model programs for analysis |
134
Voted
KDD
2007
ACM
16 years 3 months ago
2007
ACM
The kernel function plays a central role in kernel methods. In this paper, we consider the automated learning of the kernel matrix over a convex combination of pre-specified kerne...
111
click to vote
EUROCRYPT
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. We present a formalism for the analysis of key-exchange protocols that combines previous definitional approaches and results in a definition of security that enjoys som...
120
click to vote
POPL
1996
ACM
15 years 6 months ago
1996
ACM
Region Inference is a technique for implementing programming languages that are based on typed call-by-value lambda calculus, such as Standard ML. The mathematical runtime model o...
103
click to vote
P2P
2006
IEEE
15 years 8 months ago
2006
IEEE
Flat DHT architectures have been the main focus of the research on DHT design so far. However, there have been also a number of works proposing hierarchical DHT organizations and ...
170
click to vote
DAC
1994
ACM
15 years 6 months ago
1994
ACM
Regarding nite state machines as Markov chains facilitates the application of probabilistic methods to very large logic synthesis and formal veri cation problems. Recently, we ha...