85 search results - page 14 / 17 » Decidability of Trajectory-Based Equations |
AMC
2006
13 years 7 months ago
2006
``Church's thesis'' is at the foundation of computer science. We point out that with any particular set of physical laws, Church's thesis need not merely be po...
IJAC
2007
13 years 7 months ago
2007
Abstract. We say the endomorphism problem is solvable for an element W in a free group F if it can be decided effectively whether, given U in F , there is an endomorphism φ of F ...
SBMF
2010
Springer
13 years 2 months ago
2010
Springer
A notion of generalized regular expressions for a large class of systems modeled as coalgebras, and an analogue of Kleene's theorem and Kleene algebra, were recently proposed ...
CVPR
2009
IEEE
15 years 2 months ago
2009
IEEE
This article presents a general approach for the active
stereo tracking of multiple moving targets. The problem is
formulated on the plane, where cameras are modeled as
”line ...
ICCV
2003
IEEE
14 years 9 months ago
2003
IEEE
We present a new approach to 3D scene modeling based on geometric constraints. Contrary to the existing methods, we can quickly obtain 3D scene models that respect the given const...