Sciweavers

CVPR
2011
IEEE
13 years 9 months ago
Learning Hierarchical Poselets for Human Parsing
We consider the problem of human parsing with partbased models. Most previous work in part-based models only considers rigid parts (e.g. torso, head, half limbs) guided by human a...
Yang Wang, Duan Tran, Zicheng Liao
CVPR
2011
IEEE
13 years 9 months ago
Sparsity-based Image Denoising via Dictionary Learning and Structural Clustering
Where does the sparsity in image signals come from? Local and nonlocal image models have supplied complementary views toward the regularity in natural images the former attempts t...
Weisheng Dong, Xin Li
CVPR
2011
IEEE
13 years 9 months ago
Unsupervised Auxiliary Visual Words Discovery for Large-Scale Image Object Retrieval
Image object retrieval – locating image occurrences of specific objects in large-scale image collections – is essential for manipulating the sheer amount of photos. Current s...
Yin-Hsi Kuo, Hsuan-Tien Lin, Wen-Huang Cheng, Yi-H...
ECEASST
2010
13 years 9 months ago
A Deductive Verification Platform for Cryptographic Software
Manuel Barbosa, Jorge Sousa Pinto, Jean-Christophe...
ECEASST
2010
13 years 9 months ago
GUI Inspection from Source Code Analysis
Abstract: Graphical user interfaces (GUIs) are critical components of todays software. Given their increased relevance, correctness and usability of GUIs are becoming essential. Th...
João Carlos Silva 0002, José Creissa...
ECEASST
2010
13 years 9 months ago
Integrating Data from Multiple Repositories to Analyze Patterns of Contribution in FOSS Projects
: The majority of Free and Open Source Software (FOSS) developers are mobile and often use different identities in the projects or communities they participate in. These characteri...
Sulayman K. Sowe, Antonio Cerone
ECEASST
2010
13 years 9 months ago
Damages and Benefits of Certification: A perspective from an Independent Assessment Body
Abstract: The need of confidence that a product or service actually possesses declared behavioural / structural characteristics is the main reason for certification. It seems that ...
Mario Fusani, Eda Marchetti
ECEASST
2010
13 years 9 months ago
Open Source Verification under a Cloud
Abstract: An experiment in providing volunteer cloud computing support for automated audits of open source code is described here, along with the supporting theory. Certification a...
Peter T. Breuer, Simon Pickin
ECEASST
2010
13 years 9 months ago
Testing as a Certification Approach
: For years, one of the main reasons to buy commercial software instead of adopting open-source applications was the, supposed, guarantee of quality. Unfortunately that was rarely ...
Alberto Simões, Nuno Carvalho, José ...