8766 search results - page 483 / 1754 » Functional logic programming |
119
click to vote
LICS
1989
IEEE
15 years 8 months ago
1989
IEEE
A refutation mechanism is introduced into logic programming, dual to the usual proof mechanism; then negation is treated via refutation. A four-valued logic is appropriate for the...
159
click to vote
CORR
2004
Springer
15 years 4 months ago
2004
Springer
In this paper, we present a framework for automatic generation of CHR solvers given the logical specification of the constraints. This approach takes advantage of the power of tab...
133
click to vote
DAC
2001
ACM
16 years 5 months ago
2001
ACM
New application-focused system-on-chip platforms motivate new application-specific processors. Configurable and extensible processor architectures offer the efficiency of tuned lo...
142
click to vote
ICRA
1998
IEEE
15 years 8 months ago
1998
IEEE
This paper describes the innovative use of a genetic algorithm to solve the grasp synthesis problem for multifingered robot hands. The goal of our algorithm is to select a `best&#...
158
click to vote
IPCO
2010
15 years 2 months ago
2010
We present a branch-and-bound algorithm for minimizing a convex quadratic objective function over integer variables subject to convex constraints. In a given node of the enumerati...