217 search results - page 12 / 44 » A New Approach to Abstract Syntax with Variable Binding |
ATAL
2010
Springer
13 years 9 months ago
2010
Springer
Service coordination in domains involving temporal constraints and duration uncertainty has previously been solved with a greedy algorithm that attempts to satisfy service requests...
ECAI
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. In this paper, we present a revision strategy of revising a conditional probabilistic logic program (PLP) when new information is received (which is in the form of probab...
IROS
2006
IEEE
14 years 2 months ago
2006
IEEE
Abstract— Many environmental applications require high frequency, spatiotemporally distributed phenomena to be sampled with high fidelity. This requires mobile sensing elements ...
ECAI
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Adaptive consistency is a solving algorithm for constraint networks. Its basic step is variable elimination: it takes a network as input, and producesan equivalent networ...
CP
2006
Springer
14 years 10 days ago
2006
Springer
Abstract. For efficiency reasons, neighbourhoods in local search are often shrunk by only considering moves modifying variables that actually contribute to the overall penalty. The...