Sciweavers

3235 search results - page 437 / 647
» Partial Redundant Modeling
Sort
View
ICRA
2002
IEEE
104views Robotics» more  ICRA 2002»
15 years 9 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 9 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 8 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 8 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 ...
125
Voted
CBSE
2009
Springer
15 years 8 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