2634 search results - page 125 / 527 » Faster Than Uppaal |
ICPR
2008
IEEE
14 years 11 months ago
2008
IEEE
Shape skeleton extraction is a fundamental preprocessing task in shape-based pattern recognition. This paper presents a new algorithm for fast and precise extraction of kinematic ...
ICPR
2006
IEEE
14 years 11 months ago
2006
IEEE
This paper presents a general framework for agglomerative hierarchical clustering based on graphs. Specifying an inter-cluster similarity measure, a subgraph of the similarity gra...
ICPR
2006
IEEE
14 years 11 months ago
2006
IEEE
In this paper, we describe the method for aligning multiple range images given by a range finder. Especially we will use range images of inside and outside of buildings which cont...
ICPR
2002
IEEE
14 years 11 months ago
2002
IEEE
A method for measuring dissimilarities between cyclic strings is introduced. It computes a weighted mean between two (lower and upper) bounds of the exact cyclic edit distance, wh...
DAC
2004
ACM
14 years 11 months ago
2004
ACM
In this paper, we systematically define three transaction level TLMs), which reside at different levels of abstraction between the functional and the implementation model of a DSP...