4983 search results - page 175 / 997 » order 2008 |
151
click to vote
TPHOL
2008
IEEE
15 years 10 months ago
2008
IEEE
The HOL4 proof assistant supports specification and proof in classical higher order logic. It is the latest in a long line of similar systems. In this short overview, we give an o...
140
click to vote
ACNS
2008
Springer
15 years 10 months ago
2008
Springer
Abstract. In order to increase the security for authenticated key exchange protocols, various authentication means can be used together. In this paper, we introduce a security mode...
147
click to vote
AVI
2008
15 years 6 months ago
2008
In this paper we discuss the problem of deploying appliances for interactive services in complex physical environments using a knowledge based approach to define the relations bet...
129
click to vote
FLAIRS
2008
15 years 6 months ago
2008
In this paper, we model large support vector machines (SVMs) by smaller networks in order to decrease the computational cost. The key idea is to generate additional training patte...
147
Voted
APPROX
2008
Springer
15 years 6 months ago
2008
Springer
In order to perform an average-case analysis for specific input distributions one needs to derive and understand properties of a 'typical' input instance. In the case of...