Sciweavers

171 search results - page 26 / 35
» Implicit Moment Invariants
Sort
View
CVPR
1999
IEEE
16 years 25 days ago
Algebraic Curves That Work Better
An algebraic curve is defined as the zero set of a polynomial in two variables. Algebraic curves are practical for modeling shapes much more complicated than conics or su...
David B. Cooper, Jean-Philippe Tarel, Tolga Tasdiz...
CHARME
2001
Springer
105views Hardware» more  CHARME 2001»
15 years 4 months ago
Net Reductions for LTL Model-Checking
We present a set of reduction rules for LTL model-checking of 1-safe Petri nets. Our reduction techniques are of two kinds: (1) Linear programming techniques which are based on wel...
Javier Esparza, Claus Schröter
ICALP
2000
Springer
15 years 3 months ago
Temporal Rewards for Performance Evaluation
Today many formalisms exist for specifying complex Markov chains. In contrast, formalism for specifying the quantitative properties to analyze have remained quite primitive. In th...
Jeroen Voeten
67
Voted
ZEUS
2010
154views Communications» more  ZEUS 2010»
15 years 1 months ago
Research challenges on person-centric flows
Research in the domain of Workflow Management focuses increasingly on service orchestrations. Often the fact is neglected that a huge part of the activities of business processes a...
Tobias Unger, Hanna Eberle, Frank Leymann
NIPS
2001
15 years 1 months ago
Transform-invariant Image Decomposition with Similarity Templates
Recent work has shown impressive transform-invariant modeling and clustering for sets of images of objects with similar appearance. We seek to expand these capabilities to sets of...
Chris Stauffer, Erik G. Miller, Kinh Tieu