Sciweavers

5353 search results - page 314 / 1071
» Modelling Contexts in the Or-BAC Model
Sort
View
TIP
2010
108views more  TIP 2010»
15 years 5 months ago
Image Reconstruction Using Particle Filters and Multiple Hypotheses Testing
Abstract—In this paper, we introduce a reconstruction framework that explicitly accounts for image geometry when defining the spatial interaction between pixels in the filterin...
Noura Azzabou, Nikos Paragios, Frederic Guichard
ISVC
2010
Springer
15 years 4 months ago
Egocentric Visual Event Classification with Location-Based Priors
We present a method for visual classification of actions and events captured from an egocentric point of view. The method tackles the challenge of a moving camera by creating defor...
Sudeep Sundaram, Walterio W. Mayol-Cuevas
CMSB
2011
Springer
14 years 6 months ago
The singular power of the environment on stochastic nonlinear threshold Boolean automata networks
Abstract. This paper tackles theoretically the question of the structural stability of biological regulation networks subjected to the influence of their environment. The model of...
Jacques Demongeot, Sylvain Sené
BPM
2006
Springer
113views Business» more  BPM 2006»
15 years 10 months ago
Process Equivalence: Comparing Two Process Models Based on Observed Behavior
In various application domains there is a desire to compare process models, e.g., to relate an organization-specific process model to a reference model, to find a web service match...
Wil M. P. van der Aalst, Ana Karla A. de Medeiros,...
FOSSACS
2005
Springer
16 years 10 days ago
Model Checking for Nominal Calculi
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto