Sciweavers

4163 search results - page 480 / 833
» A comprehensive combination framework
Sort
View
FMICS
2007
Springer
16 years 28 days ago
An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
Maurice H. ter Beek, Alessandro Fantechi, Stefania...
3DPVT
2006
IEEE
203views Visualization» more  3DPVT 2006»
16 years 25 days ago
Graph Cut Based Multiple View Segmentation for 3D Reconstruction
In this paper we propose a novel framework for efficiently extracting foreground objects in so called shortbaseline image sequences. We apply the obtained segmentation to improve...
Mario Sormann, Christopher Zach, Konrad F. Karner
ASWEC
2006
IEEE
16 years 25 days ago
Compatibility Test for Coordination Aspects of Software Components
Combining third party software components to customer-individual application systems requires first, standardized specification techniques for describing the technical as well as ...
Johannes Maria Zaha, Antonia Albani
CVPR
2006
IEEE
16 years 25 days ago
Perceptually-Inspired and Edge-Directed Color Image Super-Resolution
Inspired by multi-scale tensor voting, a computational framework for perceptual grouping and segmentation, we propose an edge-directed technique for color image superresolution gi...
Yu-Wing Tai, Wai-Shun Tong, Chi-Keung Tang
HICSS
2006
IEEE
198views Biometrics» more  HICSS 2006»
16 years 25 days ago
Modeling Initial and Repeat Online Trust in B2C E-Commerce
Prior research has demonstrated that the degrees and impact of customer trust on purchase intentions change with online experience. While online trust research has incorporated an...
Wei-Chang Kong, Yu-Ting Caisy Hung