1174 search results - page 11 / 235 » Derivation of Characteristic Formulae |
108
click to vote
SAS
2010
Springer
15 years 7 days ago
2010
Springer
c Abstraction for Intervals Using Boolean Formulae J¨org Brauer1 and Andy King2 1 Embedded Software Laboratory, RWTH Aachen University, Germany 2 Portcullis Computer Security, Pin...
93
Voted
IWDW
2005
Springer
15 years 7 months ago
2005
Springer
Calculation of watermarking capacities of private Laplacian watermarking systems with the magnitude-error distortion measure under fixed attacks is addressed. First, in the case o...
112
Voted
FLOPS
2008
Springer
15 years 3 months ago
2008
Springer
In this paper, we present an extension of the scheme HH(C) (Hereditary Harrop formulas with Constraints) with a suitable formulation of negation in order to obtain a constraint ded...
119
click to vote
CADE
1994
Springer
15 years 6 months ago
1994
Springer
Pi is a system for the interactive construction and editing of formal derivations in the calculus of finitary partial inductive definitions. This calculus can be used as a logical ...
86
Voted
MOC
2000
15 years 1 months ago
2000
This article considers the problem of evaluating all pure and mixed partial derivatives of some vector function defined by an evaluation procedure. The natural approach to evaluati...