2448 search results - page 241 / 490 » The Octahedron Abstract Domain |
142
click to vote
CP
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. One of the most successful approaches in automated planning is to use heuristic state-space search. A popular heuristic that is used by a number of state-space planners i...
157
click to vote
CPAIOR
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. This work presents methods for processing a constraint satisfaction problem (CSP) formulated by an expression-based language, before the CSP is presented to a stochastic ...
170
click to vote
DSOM
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Service Level Agreements (SLA) are needed to allow business interactions to rely on Internet services. Service Level Objectives (SLO) specify the committed performance le...
177
click to vote
GEOS
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Grounding an ontology upon geographical data has been proposed as a method of handling the vagueness in the domain more effectively. In order to do this, we require meth...
188
click to vote
ICA
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. This paper presents a new algorithm for solving the permutation ambiguity in convolutive blind source separation. When transformed to the frequency domain, the source sep...