Sciweavers

3047 search results - page 380 / 610
» A Temporal Consensus Model
Sort
View
ICPR
2006
IEEE
1161views computer vision» more  ICPR 2006»
16 years 7 months ago
Local Binary Pattern Descriptors for Dynamic Texture Recognition
Dynamic texture is an extension of texture to the temporal domain. In this paper, a new method for recognizing dynamic textures is proposed. The textures are modeled with concaten...
Guoying Zhao, Matti Pietikäinen
ISBI
2004
IEEE
16 years 7 months ago
Subpixel Registration in Renal Perfusion MR Image Sequence
We propose a subpixel registration algorithm to deal with the motion induced by breathing for renal perfusion MR image sequences. Our approach minimizes an energy functional that ...
Chien Ho, José M. F. Moura, Ying Sun
EPEW
2005
Springer
16 years 11 hour ago
Timing Issues in Web Services Composition
webπ is a recent process calculus introduced to formally specify Web Services composition. It extends the π-calculus with timed workunits, namely an asynchronous and temporized m...
Manuel Mazzara
TACAS
2005
Springer
78views Algorithms» more  TACAS 2005»
15 years 12 months ago
Separating Fairness and Well-Foundedness for the Analysis of Fair Discrete Systems
Fair discrete systems (FDSs) are a computational model of concurrent programs where fairness assumptions are specified in terms of sets of states. The analysis of fair discrete sy...
Amir Pnueli, Andreas Podelski, Andrey Rybalchenko
COCOON
2003
Springer
15 years 11 months ago
Petri Nets with Simple Circuits
We study the complexity of the reachability problem for a new subclass of Petri nets called simple-circuit Petri nets, which properly contains several well known subclasses such as...
Hsu-Chun Yen, Lien-Po Yu