Sciweavers

1963 search results - page 90 / 393
» Applications of Preferences using Answer Set Programming
Sort
View
CDC
2008
IEEE
141views Control Systems» more  CDC 2008»
15 years 9 months ago
Distributed welfare games with applications to sensor coverage
We consider a variation of the resource allocation problem. In the traditional problem, there is a global planner who would like to assign a set of players to a set of resources s...
Jason R. Marden, Adam Wierman
ERSHOV
2006
Springer
15 years 6 months ago
Program Generation in the Equivalent Transformation Computation Model Using the Squeeze Method
In the equivalent transformation (ET) computation model, a specification provides background knowledge in a problem domain, a program is a set of prioritized rewriting rules, and c...
Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu K...
AROBOTS
1999
117views more  AROBOTS 1999»
15 years 2 months ago
AV-Shell, an Environment for Autonomous Robotic Applications Using Active Vision
Abstract. In this paper, we present a system called the Active Vision Shell (AV-shell) which provides a programming framework for expressing and implementing autonomous robotic tas...
Jeffrey A. Fayman, Ehud Rivlin, Henrik I. Christen...
SAT
2010
Springer
141views Hardware» more  SAT 2010»
15 years 7 months ago
Synthesizing Shortest Linear Straight-Line Programs over GF(2) Using SAT
Non-trivial linear straight-line programs over the Galois field of two elements occur frequently in applications such as encryption or high-performance computing. Finding the shor...
Carsten Fuhs, Peter Schneider-Kamp
GECCO
2004
Springer
116views Optimization» more  GECCO 2004»
15 years 8 months ago
Using Genetic Programming to Obtain a Closed-Form Approximation to a Recursive Function
Abstract. We demonstrate a fully automated method for obtaining a closedform approximation of a recursive function. This method resulted from a realworld problem in which we had a ...
Evan Kirshenbaum, Henri Jacques Suermondt