Sciweavers

7554 search results - page 1063 / 1511
» Process Diagnostics: A Method Based on Process Mining
Sort
View
ICPR
2008
IEEE
16 years 1 months ago
Contour registration and corresponding point selection for dorsal fin recognition
Boundary descriptors may be used effectively in various image based recognition problems. However, when images are acquired in uncontrolled conditions, changes in pose and illumin...
John H. Stewman, Kelly Debure
216
Voted
RTSS
2008
IEEE
16 years 1 months ago
Symbolic Computation of Schedulability Regions Using Parametric Timed Automata
In this paper, we address the problem of symbolically computing the region in the parameter’s space that guarantees a feasible schedule, given a set of real-time tasks character...
Alessandro Cimatti, Luigi Palopoli, Yusi Ramadian
156
Voted
ICDAR
2007
IEEE
16 years 1 months ago
Robust Document Warping with Interpolated Vector Fields
This paper describes a new versatile algorithm for correcting nonlinear distortions, such as curvature of book pages, in camera based document processing. We introduce the idea of...
D. Schneider, Marco Block, Raúl Rojas
187
Voted
B
2007
Springer
16 years 1 months ago
Time Constraint Patterns for Event B Development
Distributed applications are based on algorithms which should be able to deal with time constraints. It is mandatory to express time constraints in (mathematical) models and the cu...
Dominique Cansell, Dominique Méry, Joris Re...
131
Voted
ECML
2007
Springer
16 years 1 months ago
Safe Q-Learning on Complete History Spaces
In this article, we present an idea for solving deterministic partially observable markov decision processes (POMDPs) based on a history space containing sequences of past observat...
Stephan Timmer, Martin Riedmiller
« Prev « First page 1063 / 1511 Last » Next »