539 search results - page 69 / 108 » Observability of Switched Linear Systems |
LFP
1990
14 years 4 days ago
1990
PCF, as considered in this paper, is a lazy typed lambda calculus with functions, pairing, fixed-point operators and arbitrary algebraic data types. The natural equational axioms ...
ICCV
2001
IEEE
15 years 27 days ago
2001
IEEE
Linear perspective projection has served as the dominant imaging model in computer vision. Recent developments in image sensing make the perspective model highly restrictive. This...
LOCA
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. Location-based Services are emerging as popular applications in pervasive computing. Spatial k-anonymity is used in Locationbased Services to protect privacy, by hiding t...
CDC
2008
IEEE
14 years 5 months ago
2008
IEEE
— This paper studies connectivity maintenance of robotic networks that communicate at discrete times and move in continuous space. We propose a distributed algorithm that allows ...
CVPR
1998
IEEE
14 years 3 months ago
1998
IEEE
1 A system of coupled differential equations is formulated which learns priors for modelling "preattentive" textures. It is derived from an energy functional consisting o...