174 search results - page 11 / 35 » Fast equation automaton computation |
291
click to vote
Tutorial
This technical report discusses Sethian's Fast Marching Method and its higher accuracy variant. Both methods may be used to compute the arrival times at the points of a discre...
102
click to vote
RTSS
2005
IEEE
15 years 5 months ago
2005
IEEE
This paper presents a local algorithm for solving the universal parametric real-time model-checking problem. The problem may be phrased as follows: given a real-time system and te...
102
click to vote
SIAMREV
2010
14 years 6 months ago
2010
Computational Convex Analysis algorithms have been rediscovered several times in the past by researchers from different fields. To further communications between practitioners, we ...
141
click to vote
CPM
1998
Springer
15 years 4 months ago
1998
Springer
The approximate string matching problem is to find all locations at which a query of length m matches a substring of a text of length n with k-or-fewer differences. Simple and prac...
ICPR
2008
IEEE
15 years 6 months ago
2008
IEEE
Image analysis tools that process the image using polar coordinates are needed to avoid the interpolation from polar to cartesian coordinates. We present a tool for analysing and ...