Sciweavers

1659 search results - page 229 / 332
» From Functional Analysis to Iterative Methods
Sort
View
98
Voted
IJCAI
2007
15 years 4 months ago
A Factor Graph Model for Software Bug Finding
Automatic tools for finding software errors require knowledge of the rules a program must obey, or “specifications,” before they can identify bugs. We present a method that ...
Ted Kremenek, Andrew Y. Ng, Dawson R. Engler
SERP
2004
15 years 3 months ago
Run-Time Cohesion Metrics: An Empirical Investigation
Cohesion is one of the fundamental measures of the 'goodness' of a software design. The most accepted and widely studied object-oriented cohesion metric is Chidamber and...
Áine Mitchell, James F. Power
BMCBI
2007
144views more  BMCBI 2007»
15 years 2 months ago
Application of amino acid occurrence for discriminating different folding types of globular proteins
Background: Predicting the three-dimensional structure of a protein from its amino acid sequence is a long-standing goal in computational/molecular biology. The discrimination of ...
Y.-h. Taguchi, M. Michael Gromiha
137
Voted
ICIP
2008
IEEE
15 years 9 months ago
Hardware-friendly descreening
Conventional electrophotographic printers tend to produce Moir´e artifacts when used for printing images scanned from printed material such as books and magazines. We propose a n...
Hasib Siddiqui, Mireille Boutin, Charles A. Bouman
MM
2005
ACM
154views Multimedia» more  MM 2005»
15 years 8 months ago
Determining structure in continuously recorded videos
In this paper, we present a scene detection framework on continuously recorded videos. Conventional temporal scene segmentation methods work for the videos composed of discrete sh...
Yun Zhai, Mubarak Shah