Sciweavers

773 search results - page 95 / 155
» Program Slicing by Calculation
Sort
View
CIRA
2007
IEEE
104views Robotics» more  CIRA 2007»
14 years 4 months ago
Towards a Sensor Classification Scheme for Robotic Manipulators
— This paper analyzes the signals captured during impacts and vibrations of a mechanical manipulator. To test the impacts, a flexible beam is clamped to the end-effector of a man...
Miguel F. M. Lima, José António Tenr...
ICRA
2006
IEEE
133views Robotics» more  ICRA 2006»
14 years 4 months ago
A Quantitative Test for the Robustness of Graspless Manipulation
Abstract— In this paper, the robustness of graspless manipulation (or nonprehensile manipulation) is investigated. We derive some new constraints for static frictional forces in ...
Yusuke Maeda, Satoshi Makita
CP
2005
Springer
14 years 3 months ago
Incremental Algorithms for Local Search from Existential Second-Order Logic
Local search is a powerful and well-established method for solving hard combinatorial problems. Yet, until recently, it has provided very little user support, leading to time-consu...
Magnus Ågren, Pierre Flener, Justin Pearson
UC
2005
Springer
14 years 3 months ago
Using Genetic Algorithms to Evolve Behavior in Cellular Automata
Abstract. It is an unconventional computation approach to evolve solutions instead of calculating them. Although using evolutionary computation in computer science dates back to th...
Thomas Bäck, Ron Breukelaar
IFIP
2004
Springer
14 years 3 months ago
Discretionary Overriding of Access Control in the Privilege Calculus
We extend a particular access control framework, the Privilege Calculus, with a possibility to override denied access for increased flexibility in hard to define or unanticipated...
Erik Rissanen, Babak Sadighi Firozabadi, Marek J. ...