3742 search results - page 521 / 749 » On the Use of Formal Techniques for Validation |
226
click to vote
WCRE
2008
IEEE
16 years 28 days ago
2008
IEEE
The new hybrid clone detection tool NICAD combines the strengths and overcomes the limitations of both textbased and AST-based clone detection techniques to yield highly accurate ...
159
click to vote
CCS
2007
ACM
16 years 22 days ago
2007
ACM
The paper describes a Non-Intrusive IP traceback scheme which uses sampled traffic under non-attack conditions to build and maintains caches of the valid source addresses transiti...
160
click to vote
3DPVT
2006
IEEE
16 years 19 days ago
2006
IEEE
We introduce a new method for filling holes in geometry obtained from 3D range scanners. Our method makes use of 2D images of the areas where geometric data is missing. The 2D im...
161
click to vote
BIBE
2005
IEEE
16 years 6 days ago
2005
IEEE
Prediction of protein tertiary structure based on amino acid sequence is one of the most challenging open questions in computational molecular biology. The two most common experim...
205
click to vote
DEXAW
2005
IEEE
16 years 5 days ago
2005
IEEE
One of the most elaborate and important tasks in biology is the functional annotation of genes. Biologists have developed standardized and structured vocabularies, called bio-onto...