Sciweavers

780 search results - page 95 / 156
» Inverse Probleme
Sort
View
LICS
2003
IEEE
15 years 11 months ago
Revisiting Digitization, Robustness, and Decidability for Timed Automata
We consider several questions related to the use of digitization techniques for timed automata. These very successful techniques reduce dense-time language inclusion problems to d...
Joël Ouaknine, James Worrell
PODS
2010
ACM
187views Database» more  PODS 2010»
15 years 11 months ago
Incremental query evaluation in a ring of databases
This paper approaches the incremental view maintenance problem from an algebraic perspective. We construct a ring of databases and use it as the foundation of the design of a quer...
Christoph Koch
ICRA
1994
IEEE
111views Robotics» more  ICRA 1994»
15 years 10 months ago
From Spider Robots to Half Disk Robots
We study the problem of computing the set F of accessible and stable placements of a spider robot. The body of this robot is a single point and the legs are line segments attached...
Jean-Daniel Boissonnat, Olivier Devillers, Sylvain...
COMPGEOM
1990
ACM
15 years 10 months ago
Minimum-Link Paths Among Obstacles in the Plane
Given a set of nonintersecting polygonal obstacles in the plane, the link distance between two points s and t is the minimum number of edges required to form a polygonal path conn...
Joseph S. B. Mitchell, Günter Rote, Gerhard J...
ECCV
2006
Springer
15 years 10 months ago
Consistent and Elastic Registration of Histological Sections Using Vector-Spline Regularization
Here we present a new image registration algorithm for the alignment of histological sections that combines the ideas of B-spline based elastic registration and consistent image re...
Ignacio Arganda-Carreras, Carlos Oscar Sánc...