Sciweavers

3235 search results - page 437 / 647
» Partial Redundant Modeling
Sort
View
ICRA
2002
IEEE
104views Robotics» more  ICRA 2002»
15 years 11 months ago
A Visual Landmark Framework for Indoor Mobile Robot Navigation
This article presents vision functions needed on a mobile robot to deal with landmark-based navigation in buildings. Landmarks are planar, quadrangular surfaces, which must be dis...
Jean-Bernard Hayet, Frédéric Lerasle...
EUROCRYPT
2010
Springer
15 years 11 months ago
Plaintext-Dependent Decryption: A Formal Security Treatment of SSH-CTR
This paper presents a formal security analysis of SSH in counter mode in a security model that accurately captures the capabilities of real-world attackers, as well as security-rel...
Kenneth G. Paterson, Gaven J. Watson
CDC
2009
IEEE
138views Control Systems» more  CDC 2009»
15 years 11 months ago
Bilevel programming for analysis of low-complexity control of linear systems with constraints
— In this paper we use bilevel programming to find the maximum difference between a reference controller and a low-complexity controller in terms of the infinitynorm difference...
Henrik Manum, Colin Neil Jones, Johan Löfberg...
CDC
2009
IEEE
125views Control Systems» more  CDC 2009»
15 years 11 months ago
Realization theory of Nash systems
Abstract— This paper deals with realization theory of socalled Nash systems, i.e. nonlinear systems the right-hand side of which is defined by Nash functions. A Nash function is...
Jana Nemcová, Mihály Petreczky, Jan ...
CBSE
2009
Springer
15 years 11 months ago
Extracting Behavior Specification of Components in Legacy Applications
A challenge of componentizing legacy applications is to extract behavior specification of suggested components. It is desirable to preserve a relation between the original structur...
Tomás Poch, Frantisek Plasil