14897 search results - page 2650 / 2980 » Environment for statistical computing |
114
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
Failures in plan execution can be attributed to errors in the execution of plan steps or violations of the plan structure. The structure of a plan prescribes which actions have to...
149
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
This paper presents a novel, unified distributed constraint satisfaction framework based on automated negotiation. The Distributed Constraint Satisfaction Problem (DCSP) is one t...
182
click to vote
CEFP
2007
Springer
15 years 10 months ago
2007
Springer
This tutorial paper aims to provide the necessary expertise for working with the proof assistant Sparkle, which is dedicated to the lazy functional programming language Clean. The ...
149
click to vote
COSIT
2007
Springer
15 years 10 months ago
2007
Springer
Higher level semantics are considered useful in the geospatial domain, yet there is no general consensus on the form these semantics should take. Indeed, knowledge representation p...
133
click to vote
DCOSS
2007
Springer
15 years 10 months ago
2007
Springer
We introduce a class of anchoritic sensor networks, where communications between sensor nodes are undesirable or infeasible due to, e.g., harsh environments, energy constraints, or...