Sciweavers

3082 search results - page 131 / 617
» New Bounds for the Controller Problem
Sort
View
ICRA
2002
IEEE
127views Robotics» more  ICRA 2002»
15 years 9 months ago
Discontinuous Backstepping for Stabilization of Nonholonomic Mobile Robots
The paper presents a new method of performing integrator backstepping in systems that are discontinuous, either due to their inherent structure or because of the applied control i...
Herbert G. Tanner, Kostas J. Kyriakopoulos
ICDCS
2002
IEEE
15 years 9 months ago
ControlWare: A Middleware Architecture for Feedback Control of Software Performance
Attainment of software performance assurances in open, largely unpredictable environments has recently become an important focus for real-time research. Unlike closed embedded sys...
Ronghua Zhang, Chenyang Lu, Tarek F. Abdelzaher, J...
COCO
2005
Springer
150views Algorithms» more  COCO 2005»
15 years 9 months ago
The Quantum Adversary Method and Classical Formula Size Lower Bounds
We introduce two new complexity measures for Boolean functions, which we name sumPI and maxPI. The quantity sumPI has been emerging through a line of research on quantum query com...
Sophie Laplante, Troy Lee, Mario Szegedy
ICQNM
2007
IEEE
131views Chemistry» more  ICQNM 2007»
15 years 10 months ago
Comparison of two bounds of the quantum correlation set
— From a geometric viewpoint, quantum nonlocality between two parties is represented as the difference of two convex bodies, namely the sets of possible results of classical and ...
David Avis, Tsuyoshi Ito
ESORICS
2012
Springer
13 years 6 months ago
Design and Implementation of a Terrorist Fraud Resilient Distance Bounding System
Abstract. Given the requirements of fast processing and the complexity of RF ranging systems, distance bounding protocols have been challenging to implement so far; only few design...
Aanjhan Ranganathan, Nils Ole Tippenhauer, Boris S...