Sciweavers

2909 search results - page 22 / 582
» Consistency of the theory of contexts
Sort
View
ICIP
2002
IEEE
16 years 7 months ago
Segmentation of non-rigid video objects using long term temporal consistency
This paper presents a new object-based segmentation technique which exploits a large temporal context in order to get coherent and robust segmentation results. The segmentation pr...
Henri Nicolas, Marc Chaumont, Stéphane Pate...
TITS
2008
133views more  TITS 2008»
15 years 6 months ago
Fuzzy Control Model Optimization for Behavior-Consistent Traffic Routing Under Information Provision
This paper presents an H-infinity filtering approach to optimize a fuzzy control model used to determine behaviorconsistent (BC) information-based control strategies to improve the...
Alexander Paz, Srinivas Peeta
IFM
2009
Springer
153views Formal Methods» more  IFM 2009»
15 years 3 months ago
Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B
This paper introduces action refinement in the context of CSP B. Our motivation to include this notion of refinement within the CSP B framework is the desire to increase flexibilit...
Steve Schneider, Helen Treharne
SIAMAM
2008
119views more  SIAMAM 2008»
15 years 6 months ago
The Chapman--Jouguet Closure for the Riemann Problem with Vaporization
This work is devoted to the modelling of phase transition. The thermodynamic model for phase transition chosen is a model with two equations of state, each of them modelling one p...
Vincent Perrier
EEE
2005
IEEE
15 years 11 months ago
From Multi-Context Business Collaboration Models to Context-Specific ebXML BPSS
UN/CEFACT’s Modelling Methodology (UMM) is used to analyze and design B2B business processes. We extend UMM by a constraint mechanism for adding business environment-specific co...
Birgit Hofreiter, Christian Huemer