7167 search results - page 19 / 1434 » A Technique for Invariant Generation |
176
Voted
POPL
2009
ACM
15 years 10 months ago
2009
ACM
This paper describes an inter-procedural technique for computing symbolic bounds on the number of statements a procedure executes in terms of its scalar inputs and user-defined qu...
FMSD
2000
14 years 9 months ago
2000
We review a number of formal verification techniques supported by STeP, the Stanford Temporal Prover, describing how the tool can be used to verify properties of several versions o...
COST
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Existing face recognition techniques struggle with their performance when identities have to be determined (recognized) based on image data captured under challenging ill...
108
click to vote
CVPR
2005
IEEE
15 years 11 months ago
2005
IEEE
We present a new method for matching line segments between two uncalibrated wide-baseline images. Most current techniques for wide-baseline matching are based on viewpoint invaria...
IWANN
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. In Machine Learning, ensembles are combination of classifiers. Their objective is to improve the accuracy. In previous works, we have presented a method for the generati...