259 search results - page 42 / 52 » Improving coverage analysis and test generation for large de... |
76
Voted
IPM
2007
14 years 9 months ago
2007
Patent documents contain important research results. However, they are lengthy and rich in technical terminology such that it takes a lot of human efforts for analyses. Automatic...
76
Voted
ICDAR
2009
IEEE
15 years 4 months ago
2009
IEEE
We propose a new algorithm for segmentation of off-line handwritten Arabic words. The algorithm segments the connected letters to smaller segments each of which contains no more t...
90
Voted
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
Software comprehension (understanding software structure and behavior) is essential for developing, maintaining, and improving software. This is particularly true of agent-based s...
CASES
2005
ACM
14 years 11 months ago
2005
ACM
Digital Signal Processing (DSP) is becoming increasingly widespread in portable devices. Due to harsh constraints on power, latency, and throughput in embedded environments, devel...
DAC
2003
ACM
15 years 10 months ago
2003
ACM
Bounded Model Checking (BMC) based on Boolean Satisfiability (SAT) procedures has recently gained popularity as an alternative to BDD-based model checking techniques for finding b...