Sciweavers

5863 search results - page 286 / 1173
» Calculating Functional Programs
Sort
View
CP
2005
Springer
16 years 5 days 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
16 years 3 days 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
16 years 16 hour 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. ...
ICRA
2002
IEEE
103views Robotics» more  ICRA 2002»
15 years 11 months ago
A Quantitative Stability Measure for Graspless Manipulation
In this paper, the stability of objects in graspless manipulation (or nonprehensile manipulation) is investigated. In contrast with the stability of grasps, it is crucial for the ...
Yusuke Maeda, Tamio Arai
CN
2008
118views more  CN 2008»
15 years 6 months ago
Modeling and computing throughput capacity of wireless multihop networks
Capacity is an important property for QoS support in Mobile Ad Hoc Networks (MANETs) and has been extensively studied. However, most approaches rely on simplified models (e.g., pr...
Patrick Stuedi, Gustavo Alonso