33356 search results - page 126 / 6672 » Models of Continual Computation |
138
click to vote
JNS
2008
15 years 4 months ago
2008
The bifurcation theory and numerics of periodic orbits of general dynamical systems is well developed, and in recent years there has been rapid progress in the development of a bi...
128
click to vote
ICPR
2006
IEEE
16 years 5 months ago
2006
IEEE
A method is proposed for performing shape analysis of m-surfaces, e.g. planar curves and surfaces, with a geometric interpretation. The analysis uses an implicit surface represent...
134
click to vote
ICCV
2003
IEEE
15 years 9 months ago
2003
IEEE
We propose a probabilistic algorithm able to detect the curves that are unexpectedy smooth in a set of digital curves. The only parameter is a false alarme rate, influencing the ...
158
Voted
ECCV
1998
Springer
15 years 8 months ago
1998
Springer
Region-based image segmentation techniques make use of similarity in intensity, color and texture to determine the partitioning of an image. The powerful cue of contour continuity ...
133
Voted
CSR
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We prove a conjecture by A. Pnueli and strengthen it showing a sequence of "counting modalities" none of which is expressible in the temporal logic generated by...