Sciweavers

1290 search results - page 141 / 258
» New algorithms of the Q-learning type
Sort
View
SPIN
2004
Springer
14 years 2 months ago
Black-Box Conformance Testing for Real-Time Systems
We propose a new framework for black-box conformance testing of real-time systems, where specifications are modeled as nondeterministic and partially-observable timed automata. We...
Moez Krichen, Stavros Tripakis
ECCV
2010
Springer
14 years 2 months ago
Rotation invariant non-rigid shape matching in cluttered scenes
Abstract. This paper presents a novel and efficient method for locating deformable shapes in cluttered scenes. The shapes to be detected may undergo arbitrary translational and rot...
GROUP
2003
ACM
14 years 2 months ago
Using the transformational approach to build a safe and generic data synchronizer
Reconciliating divergent data is an important issue in concurrent engineering, mobile computing and software configuration management. Currently, a lot of synchronizers or merge ...
Pascal Molli, Gérald Oster, Hala Skaf-Molli...
SIBGRAPI
2000
IEEE
14 years 1 months ago
Handwritten Digits Segmentation Based on Structural Approach
This article deals with a new segmentation approach applied to unconstrained handwritten digits. The novelty of the proposed algorithm is based on the combination of two types of s...
Luiz E. Soares de Oliveira, Edouard Lethelier, Fl&...
VISUALIZATION
2000
IEEE
14 years 1 months ago
Anisotropic geometric diffusion in surface processing
A new multiscale method in surface processing is presented here which combines the image processing methodology based on nonlinear diffusion equations and the theory of geometric ...
Ulrich Clarenz, Udo Diewald, Martin Rumpf