Sciweavers

789 search results - page 48 / 158
» Pushing using Compliance
Sort
View
ICRA
2010
IEEE
138views Robotics» more  ICRA 2010»
14 years 9 months ago
Planning for autonomous door opening with a mobile manipulator
Abstract— Computing a motion that enables a mobile manipulator to open a door is challenging because it requires tight coordination between the motions of the arm and the base. H...
Sachin Chitta, Benjamin J. Cohen, Maxim Likhachev
GECCO
2007
Springer
268views Optimization» more  GECCO 2007»
15 years 5 months ago
Synthesis of analog filters on an evolvable hardware platform using a genetic algorithm
This work presents a novel approach to filter synthesis on a field programmable analog array (FPAA) architecture using a genetic algorithm (GA). First, a Matlab model of the FPA...
Joachim Becker, Stanis Trendelenburg, Fabian Henri...
BDIM
2008
IEEE
205views Business» more  BDIM 2008»
15 years 5 months ago
Mining semantic relations using NetFlow
—Knowing the dependencies among computing assets and services provides insights into the computing and business landscape, therefore, facilitating low-risk timely changes in supp...
Alexandru Caracas, Andreas Kind, Dieter Gantenbein...
LICS
2006
IEEE
15 years 5 months ago
Managing Digital Rights using Linear Logic
Digital music players protect songs by enforcing licenses that convey specific rights for individual songs or groups of songs. For licenses specified in industry, we show that d...
Adam Barth, John C. Mitchell
104
Voted
CODES
2008
IEEE
15 years 28 days ago
Model checking SystemC designs using timed automata
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...
Paula Herber, Joachim Fellmuth, Sabine Glesner