3738 search results - page 574 / 748 » Parametrized Logic Programming |
87
Voted
ACTAC
2002
15 years 10 days ago
2002
This paper describes a framework for handling bound variable renaming and substitution mathematically rigorously with the aim at the same time to stay as close as possible to huma...
65
Voted
ANOR
2002
15 years 10 days ago
2002
Abstract. The generic hoist scheduling problem is NP-hard and arises from automated manufacturing lines. In recent work using the constraint logic programming (CLP) formalism, a un...
100
click to vote
AROBOTS
1998
15 years 5 days ago
1998
We describe a uniform technique for representing both sensory data and the attentional state of an agent using a subset of modal logic with indexicals. The resulting representation...
90
Voted
AAECC
1999
Springer
15 years 5 days ago
1999
Springer
Effective quantifier elimination procedures for the reals allow to solve problems that can be encoded into corresponding first-order formulas including ordering constraints. In con...
118
Voted
CORR
2011
Springer
14 years 7 months ago
2011
Springer
—We present a new model for distributed shared memory systems, based on remote data accesses. Such features are offered by network interface cards that allow one-sided operations...