1246 search results - page 185 / 250 » Recursive Timed Automata |
127
click to vote
CSCLP
2005
Springer
15 years 8 months ago
2005
Springer
We give an efficiently executable specification of the global constraint of lexicographic order in the Constraint Handling Rules (CHR) language. In contrast to previous approaches...
122
click to vote
MLDM
2005
Springer
15 years 8 months ago
2005
Springer
In this paper we describe a new cluster model which is based on the concept of linear manifolds. The method identifies subsets of the data which are embedded in arbitrary oriented...
128
click to vote
WG
2005
Springer
15 years 8 months ago
2005
Springer
Partitive set families are families of sets that can be quite large, but have a compact, recursive representation in the form of a tree. This tree is a common generalization of PQ...
ICRA
2003
IEEE
15 years 7 months ago
2003
IEEE
We present deterministic sequences for use in sampling-based approaches to motion planning. They simultaneously combine the qualities found in many other sequences: i) the increme...
121
click to vote
ITCC
2003
IEEE
15 years 7 months ago
2003
IEEE
: Motion is an important cue for many applications. Here we propose a solution for estimating motion from a sequence of images using three algorithms, viz., Batch, Recursive and Bo...