2478 search results - page 175 / 496 » Quadtrees as an Abstract Domain |
ECML
2006
Springer
13 years 12 months ago
2006
Springer
Abstract. For large state-space Markovian Decision Problems MonteCarlo planning is one of the few viable approaches to find near-optimal solutions. In this paper we introduce a new...
ECTEL
2006
Springer
13 years 12 months ago
2006
Springer
Abstract. We introduce an ontology-based semantic modelling framework that addresses subject domain modelling, instruction modelling, and interoperability aspects in the developmen...
ICLP
1995
Springer
13 years 12 months ago
1995
Springer
Abstract. The Event Calculus is a narrative based formalism for reasoning about actions and change originally proposed in logic programming form by Kowalski and Sergot. In this pap...
CDC
2009
IEEE
13 years 11 months ago
2009
IEEE
Abstract— In this paper we propose centralized feedback control laws for mobile sensor networks so that sensor trajectories cover a given domain as uniformly as possible. The des...
DLOG
2008
13 years 10 months ago
2008
Abstract. We show that subsumption problems in EL and related description logics can be expressed as uniform word problems in classes of semilattices with monotone operators. We us...