Sciweavers

3047 search results - page 349 / 610
» A Temporal Consensus Model
Sort
View
CONCUR
1999
Springer
15 years 10 months ago
Partial Order Reduction for Model Checking of Timed Automata
Abstract. The paper presents a partial order reduction method applicable to networks of timed automata. The advantage of the method is that it reduces both the number of explored c...
Marius Minea
ECCV
2006
Springer
15 years 10 months ago
Segmenting Dynamic Textures with Ising Descriptors, ARX Models and Level Sets
Abstract. We present a new algorithm for segmenting a scene consisting of multiple moving dynamic textures. We model the spatial statistics of a dynamic texture with a set of secon...
Atiyeh Ghoreyshi, René Vidal
ECOWS
2006
Springer
15 years 10 months ago
Formal Modelling and Verification of an Asynchronous Extension of SOAP
Current web services are largely based on a synchronous request-response model that uses the Simple Object Access Protocol SOAP. Next-generation telecommunication networks, on the...
Maurice H. ter Beek, Stefania Gnesi, Franco Mazzan...
CVPR
2010
IEEE
15 years 6 months ago
Scene understanding by statistical modeling of motion patterns
We present a novel method for the discovery and statistical representation of motion patterns in a scene observed by a static camera. Related methods involving learning of pattern...
Imran Saleemi, Lance Hartung, Mubarak Shah
SIAMSC
2008
110views more  SIAMSC 2008»
15 years 6 months ago
Large-Eddy Simulation of Thermal Flows based on Discrete-Velocity Models
We derive a Godunov-type relaxation scheme for turbulent flows with heat transfer. The building block of this approach is a kinetic Boltzmann-type formulation for a model of turbul...
Mapundi K. Banda, Mohammed Seaïd, Ioan Teleag...