3090 search results - page 585 / 618 » On Testing Answer-Set Programs |
148
click to vote
MM
2006
ACM
15 years 7 months ago
2006
ACM
Automated annotation of digital pictures has been a highly challenging problem for computer scientists since the invention of computers. The capability of annotating pictures by c...
111
click to vote
MSR
2006
ACM
15 years 7 months ago
2006
ACM
Various static analysis tools will analyze a software artifact in order to identify potential defects, such as misused APIs, race conditions and deadlocks, and security vulnerabil...
122
click to vote
VRCAI
2006
ACM
15 years 7 months ago
2006
ACM
Visualization of volumetric datasets is common in many fields and has been an active area of research in the past two decades. In spite of developments in volume visualization te...
115
click to vote
BIBE
2005
IEEE
15 years 7 months ago
2005
IEEE
RNA plays a critical role in mediating every step of cellular information transfer from genes to functional proteins. Pseudoknots are widely occurring structural motifs found in a...
123
click to vote
DASFAA
2005
IEEE
15 years 7 months ago
2005
IEEE
A novel approach for similarity search on the protein structure databases is proposed. PADS (Protein Alignment by Directional shape Signatures) incorporates the three dimensional ...