Sciweavers

3475 search results - page 218 / 695
» A DEA approach for model combination
Sort
View
APSEC
2009
IEEE
15 years 4 months ago
A Formal Framework to Integrate Timed Security Rules within a TEFSM-Based System Specification
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
Wissam Mallouli, Amel Mammar, Ana R. Cavalli
COORDINATION
2009
Springer
15 years 4 months ago
Automata for Context-Dependent Connectors
Abstract. Recent approaches to component-based software engineering employ coordinating connectors to compose components into software systems. For maximum flexibility and reuse, s...
Marcello M. Bonsangue, Dave Clarke, Alexandra Silv...
CVPR
2012
IEEE
13 years 9 months ago
Consistent depth maps recovery from a trinocular video sequence
In this paper, we propose a novel dense depth recovery method for a trinocular video sequence. Specifically, we contribute a novel trinocular stereo matching model, which can eff...
Wenzhuo Yang, Guofeng Zhang, Hujun Bao, Jiwon Kim,...
CAIP
2007
Springer
16 years 24 days ago
A Simplified Human Vision Model Applied to a Blocking Artifact Metric
A novel approach towards a simplified, though still reliable human vision model based on the spatial masking properties of the human visual system (HVS) is presented. The model con...
Hantao Liu, Ingrid Heynderickx
HICSS
2003
IEEE
159views Biometrics» more  HICSS 2003»
15 years 12 months ago
Emergent Structures in Supply Chains - A Study Integrating Agent-Based and System Dynamics Modeling
Supply chain management is a demanding and complicated task due to its broad scope and the strong connectedness of its objects and issues. In order to make theoretical investigati...
Nadine Schieritz, Andreas Größler