5634 search results - page 315 / 1127 » About Abstract Classes |
183
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. In the context of deductive program verification, supporting floatingpoint computations is tricky. We propose an expressive language to formally specify behavioral proper...
165
click to vote
CRYPTO
2010
Springer
15 years 7 months ago
2010
Springer
This paper presents a fully secure functional encryption scheme for a wide class of relations, that are specified by non-monotone access structures combined with inner-product rel...
145
click to vote
ANOR
2010
15 years 6 months ago
2010
Abstract The paper provides a condition for differentiability as well as an equivalent criterion for Lipschitz continuity of singular normal distributions. Such distributions are o...
155
click to vote
AUTOMATICA
2006
15 years 6 months ago
2006
Abstract-- New methods for model validation of continuoustime nonlinear systems with uncertain parameters are presented in this paper. The methods employ functions of state-paramet...
167
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Abstract : The main novelty of this paper is to consider an extension of the Calculus of Constructions where predicates can be defined with a general form of rewrite rules. We prov...