2312 search results - page 154 / 463 » Invariance in Property Testing |
158
click to vote
APPROX
2004
Springer
15 years 9 months ago
2004
Springer
In standard property testing, the task is to distinguish between objects that have a property P and those that are ε-far from P, for some ε > 0. In this setting, it is perfec...
278
click to vote
DAGM
2011
Springer
14 years 4 months ago
2011
Springer
The supervised learning paradigm assumes in general that both training and test data are sampled from the same distribution. When this assumption is violated, we are in the setting...
140
click to vote
FASE
2009
Springer
15 years 8 months ago
2009
Springer
This paper describes the certification of smart-card applications in the framework of Common Criteria. In this framework, a smart-card application is represented by a model of its...
129
click to vote
APLAS
2007
ACM
15 years 8 months ago
2007
ACM
Abstract. Assertions test expected properties of run-time values without disrupting the normal computation of a program. We present a library for enriching Haskell programs with as...
148
click to vote
ICRA
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper we present a system for topologically localizing a mobile robot using color histogram matching of omnidirectional images. The system is intended for use as a navigat...