9626 search results - page 174 / 1926 » Invariant Based Programming |
189
click to vote
ICSE
2009
IEEE-ACM
15 years 4 months ago
2009
IEEE-ACM
Model driven functional system testing generates test scenarios from behavioural and structural models. In order to autmatically generate tests, conditions such as invariants and ...
198
click to vote
ICPR
2010
IEEE
15 years 3 months ago
2010
IEEE
Most iris recognition systems use the global and local texture information of the iris in order to recognize individuals. In this work, we investigate the use of macro-features th...
192
click to vote
JCST
2010
15 years 1 months ago
2010
Abstract We define a notion of context that represents invariant, stable-over-time behavior in an environment and we propose an algorithm for detecting context changes in a stream ...
187
click to vote
CORR
2012
Springer
14 years 2 months ago
2012
Springer
We present a novel approach to constraintbased causal discovery, that takes the form of straightforward logical inference, applied to a list of simple, logical statements about ca...
189
click to vote
ECCV
2008
Springer
16 years 8 months ago
2008
Springer
Abstract. We introduce a shape detection framework called Contour Context Selection for detecting objects in cluttered images using only one exemplar. Shape based detection is inva...