1705 search results - page 128 / 341 » Representing Constraints with Automata |
163
click to vote
WLP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present a framework for a declarative approach to spatiotemporal reasoning on geographical data, based on the constraint logical language STACLP, which offers deducti...
138
click to vote
ICRA
2003
IEEE
15 years 9 months ago
2003
IEEE
Abstract— In this paper we propose an algorithm to determine the location of a vehicle in an environment represented by a stochastic map, given a set of environment measurements ...
125
click to vote
ECAIW
2000
Springer
15 years 8 months ago
2000
Springer
In this paper we present a tabu approach for a version of the Sports League Scheduling Problem. The approach adopted is based on a formulation of the problem as a Constraint Satisf...
124
click to vote
IFIP
2000
Springer
15 years 8 months ago
2000
Springer
Virtual enterprises have great difficulty in defining and adapting their business processes across the members of the virtual enterprise. We introduce an approach that allows (semi...
157
click to vote
AAAI
1990
15 years 5 months ago
1990
This paper presents an algebra for conflict resolution in nonlinear planning. A set of conflicts in a plan is considered as a constraint network. Each node in the network represen...