18306 search results - page 466 / 3662 » Algorithmics in Exponential Time |
189
click to vote
FATES
2004
Springer
16 years 29 days ago
2004
Springer
We present an extension of Tretmans’ theory and algorithm for test generation for input-output transition systems to real-time systems. Our treatment is based on an operational i...
184
click to vote
ICRA
2003
IEEE
16 years 25 days ago
2003
IEEE
Abstract— In this paper we propose an algorithm to determine the location of a vehicle in an environment represented by a stochastic map, given a set of environment measurements ...
172
click to vote
IBPRIA
2003
Springer
16 years 23 days ago
2003
Springer
The main computational cost in Fractal Image Analysis (FIC) comes from the required range-domain full block comparisons. In this work we propose a new algorithm for this comparison...
196
click to vote
CAIP
1997
Springer
15 years 11 months ago
1997
Springer
An algorithm for optical ow estimation is presented for the case of discrete-time motion of an uncalibrated camera through a rigid world. Unlike traditional optical ow approaches t...
198
click to vote
MPC
1992
Springer
15 years 11 months ago
1992
Springer
In this paper we derive a linear-time, constant-space algorithm to construct a binary heap whose inorder traversal equals a given sequence. We do so in two steps. First, we invert...