2448 search results - page 189 / 490 » The Octahedron Abstract Domain |
ICLP
1995
Springer
15 years 2 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...
109
click to vote
CDC
2009
IEEE
15 years 2 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
15 years 1 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...
AUSAI
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. We describe a probabilistic reference disambiguation mechanism developed for a spoken dialogue system mounted on an autonomous robotic agent. Our mechanism performs proba...
118
click to vote
CIG
2005
IEEE
15 years 1 months ago
2005
IEEE
Abstract- Monte Carlo simulations have been successfully used in classic turn–based games such as backgammon, bridge, poker, and Scrabble. In this paper, we apply the ideas to th...