Sciweavers

2957 search results - page 279 / 592
» Code analysis and CS-XML
Sort
View
IJIT
2004
15 years 5 months ago
An Improved Preprocessing for Biosonar Target Classification
An improved processing description to be employed in biosonar signal processing in a cochlea model is proposed and examined. It is compared to conventional models using a modified ...
Turgay Temel, John Hallam
ISOLA
2010
Springer
15 years 1 months ago
HATS: Highly Adaptable and Trustworthy Software Using Formal Methods
The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand...
Reiner Hähnle
CGO
2009
IEEE
15 years 10 months ago
OptiScope: Performance Accountability for Optimizing Compilers
Compilers employ many aggressive code transformations to achieve highly optimized code. However, because of complex target architectures and unpredictable optimization interaction...
Tipp Moseley, Dirk Grunwald, Ramesh Peri
ICDAR
2009
IEEE
15 years 10 months ago
Shape Encoded Post Processing of Gurmukhi OCR
A post-processor is an integral part of any OCR system. This paper proposes a method for detection and correction of errors in recognition results of handwritten and machine print...
Dharam Veer Sharma, Gurpreet Singh Lehal, Sarita M...
ICDAR
2009
IEEE
15 years 10 months ago
Seal Detection and Recognition: An Approach for Document Indexing
Reliable indexing of documents having seal instances can be achieved by recognizing seal information. This paper presents a novel approach for detecting and classifying such multi...
Partha Pratim Roy, Umapada Pal, Josep Lladó...