2478 search results - page 230 / 496 » Quadtrees as an Abstract Domain |
169
click to vote
COREGRID
2007
Springer
16 years 26 days ago
2007
Springer
Abstract Following earlier work demonstrating the utility of Orc as a means of specifying and reasoning about grid applications we propose the enhancement of such specifications w...
143
click to vote
CP
2007
Springer
16 years 26 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...
158
Voted
CPAIOR
2007
Springer
16 years 26 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 ...
171
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...
178
click to vote
GEOS
2007
Springer
16 years 25 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...