Sciweavers

2242 search results - page 411 / 449
» From testing to anti-product development
Sort
View
INFSOF
2010
173views more  INFSOF 2010»
15 years 3 months ago
Filtering false alarms of buffer overflow analysis using SMT solvers
Buffer overflow detection using static analysis can provide a powerful tool for software ers to find difficult bugs in C programs. Sound static analysis based on abstract interpre...
Youil Kim, Jooyong Lee, Hwansoo Han, Kwang-Moo Cho...
CVPR
2011
IEEE
15 years 1 months ago
A Complete Statistical Inverse Ray Tracing Approach to Multi-view Stereo
This paper presents a complete solution to estimating a scene’s 3D geometry and appearance from multiple 2D images by using a statistical inverse ray tracing method. Instead of ...
Shubao Liu, David Cooper
BMCBI
2011
15 years 1 months ago
N-gram analysis of 970 microbial organisms reveals presence of biological language models
Background: It has been suggested previously that genome and proteome sequences show characteristics typical of natural-language texts such as “signature-style” word usage ind...
Hatice U. Osmanbeyoglu, Madhavi Ganapathiraju
TPDS
2010
154views more  TPDS 2010»
15 years 24 days ago
Adaptive Workload Prediction of Grid Performance in Confidence Windows
Predicting grid performance is a complex task because heterogeneous resource nodes are involved in a distributed environment. Long execution workload on a grid is even harder to pr...
Yongwei Wu, Kai Hwang, Yulai Yuan, Weimin Zheng
BIOINFORMATICS
2011
15 years 19 days ago
All-atom knowledge-based potential for RNA structure prediction and assessment
Motivation: Over the recent years, the vision that RNA simply serves as information transfer molecule has dramatically changed. The study of the sequence/structure/function relati...
Emidio Capriotti, Tomás Norambuena, Marc A....