1174 search results - page 61 / 235 » Derivation of Characteristic Formulae |
160
click to vote
CAV
2008
Springer
15 years 6 months ago
2008
Springer
We present CSIsat, an interpolating decision procedure for the quantifier-free theory of rational linear arithmetic and equality with uninterpreted function symbols. Our implementa...
135
Voted
ICECCS
2002
IEEE
15 years 9 months ago
2002
IEEE
The characteristics of object-oriented software affect type and relevance of faults. In particular, the state of the objects may cause faults that cannot be easily revealed with t...
112
click to vote
CAIP
1999
Springer
15 years 8 months ago
1999
Springer
A method for face recognition using profile images based on the scale-space filtering is presented in this paper. A grey-level image of profile is thresholded to produce a binary, ...
150
click to vote
SERSCISA
2009
Springer
15 years 10 months ago
2009
Springer
The value of an intrusion detection sensor is often associated with its data collection and analysis features. Experience tells us such sensors fall under a range of different typ...
106
click to vote
ENTCS
2008
15 years 4 months ago
2008
Given a timed automaton with parametric timings, our objective is to describe a procedure for deriving constraints on the parametric timings in order to ensure that, for each valu...