3381 search results - page 298 / 677 » adaptive 2007 |
161
click to vote
MVA
1996
15 years 8 months ago
1996
Automatic visual inspection plays a growing role in today's efforts to reduce the costs of industrial production. Three to ten months of man power have to be invested for the...
167
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
A novel algorithm for robustly segmenting changes between different images of a scene is presented. This computationally efficient algorithm is based on a non-linear comparison of...
147
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
In this paper we discuss how we've adapted the technique of informance design for use in design ethnography. We detail our design ethnography workflow method and describe our...
142
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
Abstract. We present KeY-C, a tool for deductive verification of C programs. KeY-C allows to prove partial correctness of C programs relative to pre- and postconditions. It is base...
161
click to vote
ALT
2007
Springer
16 years 3 months ago
2007
Springer
We consider how state similarity in average reward Markov decision processes (MDPs) may be described by pseudometrics. Introducing the notion of adequate pseudometrics which are we...