1227 search results - page 80 / 246 » Using Generation for Grammar Analysis and Error Detection |
168
click to vote
BMCBI
2011
14 years 10 months ago
2011
Background: High-throughput re-sequencing, new genotyping technologies and the availability of reference genomes allow the extensive characterization of Single Nucleotide Polymorp...
111
Voted
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
Equivalence checking and property checking are powerful techniques to detect error traces. Debugging these traces is a time consuming design task where automation provides help. I...
167
Voted
BMCBI
2010
15 years 27 days ago
2010
Background: To exploit the flood of data from advances in high throughput imaging of optically sectioned nuclei, image analysis methods need to correctly detect thousands of nucle...
146
Voted
VRST
2003
ACM
15 years 8 months ago
2003
ACM
We present a novel, generic framework and algorithm for hierarchical collision detection, which allows an application to balance speed and quality of the collision detection. We p...
153
click to vote
CCS
2005
ACM
15 years 9 months ago
2005
ACM
Large-scale attacks, such as those launched by worms and zombie farms, pose a serious threat to our network-centric society. Existing approaches such as software patches are simpl...