1307 search results - page 188 / 262 » Follow the intellectual property |
CORR
2007
Springer
14 years 9 months ago
2007
Springer
Formal verification using the model checking paradigm has to deal with two aspects: The system models are structured, often as products of components, and the specification logic...
ISI
2006
Springer
14 years 9 months ago
2006
Springer
Security of civil aviation has become a major concern in recent years, leading to a variety of protective measures related to airport and aircraft security to be established by re...
JMLR
2006
14 years 9 months ago
2006
Kernels are two-placed functions that can be interpreted as inner products in some Hilbert space. It is this property which makes kernels predestinated to carry linear models of l...
PAMI
2006
14 years 9 months ago
2006
Visual surveillance using multiple cameras has attracted increasing interest in recent years. Correspondence between multiple cameras is one of the most important and basic problem...
SCL
2008
14 years 9 months ago
2008
This paper addresses the problem of stabilizing systems that evolve on SE(3). The proposed solution consists of an output-feedback controller that guarantees almost global asympto...