Sciweavers

3779 search results - page 251 / 756
» Linear Consistency Testing
Sort
View
ICDAR
2003
IEEE
15 years 12 months ago
A Line Drawings Degradation Model for Performance Characterization
Line detection algorithms constitute the basis for technical document analysis and recognition. The performance of these algorithms decreases as the quality of the documents degra...
Jian Zhai, Liu Wenyin, Dov Dori, Qing Li
LICS
2003
IEEE
15 years 12 months ago
New Directions in Instantiation-Based Theorem Proving
We consider instantiation-based theorem proving whereby instances of clauses are generated by certain inferences, and where inconsistency is detected by propositional tests. We gi...
Harald Ganzinger, Konstantin Korovin
ISSRE
2002
IEEE
15 years 11 months ago
Effect of Disturbances on the Convergence of Failure Intensity
We report a study to determine the impact of four types of disturbances on the failure intensity of a software product undergoing system test. Hardware failures, discovery of a cr...
João W. Cangussu, Aditya P. Mathur, Raymond...
AI
1998
Springer
15 years 10 months ago
Sequential Instance-Based Learning
This paper presents and evaluates sequential instance-based learning (SIBL), an approach to action selection based upon data gleaned from prior problem solving experiences. SIBL le...
Susan L. Epstein, Jenngang Shih
ITC
1997
IEEE
100views Hardware» more  ITC 1997»
15 years 10 months ago
Signal Generation Using Periodic Single-and Multi-Bit Sigma-Delta Modulated Streams
Abstract- This paper describes a new method to generate analog signals with high precision at very low hardware complexity. This method consists in reproducing periodically a recor...
Benoit Dufort, Gordon W. Roberts