2137 search results - page 172 / 428 » Proving Abstract Non-interference |
117
click to vote
MFCS
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. In this paper we discuss the computational power of Lipschitz dynamical systems which are robust to infinitesimal perturbations. Whereas the study in [1] was done only f...
184
click to vote
CC
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We prove lower bounds on the randomized two-party communication complexity of functions that arise from read-once boolean formulae. A read-once boolean formula is a formu...
131
click to vote
CORR
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Sequential game and Nash equilibrium are basic key concepts in game theory. In 1953, Kuhn showed that every sequential game has a Nash equilibrium. The two main steps of ...
109
click to vote
MICCAI
2003
Springer
16 years 4 months ago
2003
Springer
Abstract. This paper presents a disease-oriented evaluation of two recent retinal image registration algorithms, one for aligning pairs of retinal images and one for simultaneously...
122
click to vote
ICML
2007
IEEE
16 years 4 months ago
2007
IEEE
We propose a class of graphical models appropriate for structure prediction problems where the model structure is a function of the output structure. Incremental Sigmoid Belief Ne...