691 search results - page 37 / 139 » Equational Abstractions |
ECCV
2002
Springer
14 years 11 months ago
2002
Springer
Abstract. Given the projection of a su cient numberof points it is possible to algebraically eliminate the camera parameters and obtain viewinvariant functions of image coordinates...
ICRA
2005
IEEE
14 years 3 months ago
2005
IEEE
Abstract— This paper presents a new approach for estimating in real-time the parameters of the advection-diffusion equation that describes the propagation of an instantaneously r...
FOSSACS
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Using a probabilistic polynomial-time process calculus designed for specifying security properties as observational equivalences, we develop a form of bisimulation that j...
HYBRID
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. In this paper, we formulate and robustly solve a quite general class of hybrid controller synthesis problems. The type of controller we investigate is the switching contr...
FMCAD
2007
Springer
14 years 1 months ago
2007
Springer
Abstract--Analog and mixed signal (AMS) designs are important integrated circuits that are usually needed at the interface between the electronic system and the real world. Recentl...