2312 search results - page 189 / 463 » Invariance in Property Testing |
132
click to vote
CORR
1999
Springer
15 years 4 months ago
1999
Springer
ABSTRACT. We explore the combinatorial properties of the branching areas of execution paths in higher dimensional automata. Mathematically, this means that we investigate the combi...
150
click to vote
TCS
2002
15 years 4 months ago
2002
We show how formal specifications can be integrated into one of the current pragmatic object-oriented software development methods. Jacobson's "Object-Oriented Software ...
127
click to vote
ICRA
2010
IEEE
15 years 3 months ago
2010
IEEE
— This paper deals with visual servoing from three points. Using the geometric properties of the spherical projection of points, a new decoupled set of six visual features is pro...
125
click to vote
LICS
2010
IEEE
15 years 3 months ago
2010
IEEE
We construct finite groups whose Cayley graphs have large girth even w.r.t. a discounted distance measure that contracts arbitrarily long sequences of edges from the same colour ...
123
click to vote
NECO
2010
15 years 3 months ago
2010
We consider a hierarchical two-layer model of natural signals in which both layers are learned from the data. Estimation is accomplished by Score Matching, a recently proposed est...