1705 search results - page 160 / 341 » Representing Constraints with Automata |
292
click to vote
COSIT
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. We propose CLP(QS), a declarative spatial reasoning framework capable of representing and reasoning about high-level, qualitative spatial knowledge about the world. We sy...
150
click to vote
DAWAK
2011
Springer
14 years 4 months ago
2011
Springer
Data cleaning and ETL processes are usually modeled as graphs of data transformations. The involvement of the users responsible for executing these graphs over real data is importa...
169
click to vote
ECCV
2000
Springer
16 years 6 months ago
2000
Springer
In recent years, the eld of active-contour based image segmentation have seen the emergence of two competing approaches. The rst and oldest approach represents active contours in ...
114
click to vote
ICCAD
2008
IEEE
16 years 1 months ago
2008
IEEE
—In today’s many-core era, the interconnection networks have been the key factor that dominates the performance of a computer system. In this paper, we propose a design flow t...
125
click to vote
ICRA
2009
IEEE
15 years 11 months ago
2009
IEEE
— For mobile platforms with steerable standard wheels it is necessary to precisely coordinate rotation and steering angle of their wheels. An established approach to ensure this ...