Sciweavers

2909 search results - page 22 / 582
» Consistency of the theory of contexts
Sort
View
118
Voted
ICIP
2002
IEEE
16 years 3 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...
93
Voted
TITS
2008
133views more  TITS 2008»
15 years 1 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»
14 years 11 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 1 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 7 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