Sciweavers

915 search results - page 55 / 183
» Maximally Abstract Retrenchments
Sort
View
ICRA
2003
IEEE
119views Robotics» more  ICRA 2003»
14 years 1 months ago
Path-dependent gaze control for obstacle avoidance in vision guided humanoid walking
Abstract— This article presents a novel gaze control strategy for obstacle avoidance in the context of vision guided humanoid walking. The generic strategy is based on the maximi...
Javier F. Seara, Klaus H. Strobl, Günther Sch...
SIGECOM
2010
ACM
161views ECommerce» more  SIGECOM 2010»
14 years 26 days ago
Computation and incentives in combinatorial public projects
The Combinatorial Public Projects Problem s an abstraction of resource allocation problems in which agents have preferences over alternatives, and an outcome that is to be collect...
Dave Buchfuhrer, Michael Schapira, Yaron Singer
FSTTCS
1998
Springer
14 years 8 days ago
A Synchronous Semantics of Higher-Order Processes for Modeling Reconfigurable Reactive Systems
Abstract. Synchronous languages are well suited for the design of dependable real-time systems: they enable a very high-level specification and an extremely modular implementation ...
Jean-Pierre Talpin, David Nowak
FCT
2007
Springer
13 years 12 months ago
Product Rules in Semidefinite Programming
Abstract. In recent years we have witnessed the proliferation of semidefinite programming bounds in combinatorial optimization [1,5,8], quantum computing [9,2,3,6,4,16] and even in...
Rajat Mittal, Mario Szegedy
FSE
2004
Springer
82views Cryptology» more  FSE 2004»
13 years 11 months ago
Resistance of S-Boxes against Algebraic Attacks
Abstract. We develop several tools to derive linear independent multivariate equations from algebraic S-boxes. By applying them to maximally nonlinear power functions with the inve...
Jung Hee Cheon, Dong Hoon Lee 0002