Sciweavers

2957 search results - page 328 / 592
» Processing Self Corrections
Sort
View
FDL
2007
IEEE
16 years 29 days ago
Automatic High Level Assertion Generation and Synthesis for Embedded System Design
SystemVerilog encapsulates both design description and verification properties in one language and provides a unified environment for engineers who have the formidable challenge o...
Lun Li, Frank P. Coyle, Mitchell A. Thornton
ICDAR
2007
IEEE
16 years 29 days ago
Toponym Recognition in Scanned Color Topographic Maps
Topographic paper maps are a common support for geographical information. In the field of document analysis of this kind of support, this paper proposes an automatic approach to ...
Joachim Pouderoux, Jean-Christophe Gonzato, A. Per...
ICDM
2007
IEEE
122views Data Mining» more  ICDM 2007»
16 years 29 days ago
Noise Modeling with Associative Corruption Rules
This paper presents an active learning approach to the problem of systematic noise inference and noise elimination, specifically the inference of Associated Corruption (AC) rules...
Yan Zhang, Xindong Wu
IDEAS
2007
IEEE
107views Database» more  IDEAS 2007»
16 years 29 days ago
Examining the Performance of a Constraint-Based Database Cache
Constraint-based database caching aims at correctly answering SQL query predicates from a local cache database by exploiting constraints that have previously been used in selectin...
Andreas Bühmann, Joachim Klein 0002
ISBI
2007
IEEE
16 years 28 days ago
Automated Tracking of Multiple C. Elegans with Articulated Models
We present a method for tracking and distinguishing multiple C. elegans in a video sequence, including when they are in physical contact with one another. The worms are modeled wi...
Kuang-Man Huang, Pamela C. Cosman, William R. Scha...