11716 search results - page 46 / 2344 » Computable symbolic dynamics |
SEMCO
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper presents a robust invariant descriptor for symbol-based image recognition and retrieval. A modified Hough-based Transform is used to extract parameter space informatio...
100
click to vote
FORMATS
2006
Springer
15 years 3 months ago
2006
Springer
We propose a symbolic algorithm for the analysis of the robustness of timed automata, that is the correctness of the model in presence of small drifts on the clocks or imprecision ...
CAD
1998
Springer
14 years 11 months ago
1998
Springer
Abstract. This paper reports a geometric constraint solving approach based on symbolic computation. With this approach, we can compute robust numerical solutions for a set of equat...
114
click to vote
QEST
2007
IEEE
15 years 6 months ago
2007
IEEE
The paper introduces symbolic bisimulations for a simple probabilistic π-calculus to overcome the infinite branching problem that still exists in checking ground bisimulations b...
PAMI
2010
14 years 10 months ago
2010
Abstract—A common problem encountered in recognizing symbols in real-scene images is the perspective deformation. In this paper, a recognition method resistant to perspective def...