19798 search results - page 272 / 3960 » Is Structural Subtyping Useful |
103
Voted
DATE
2009
IEEE
15 years 7 months ago
2009
IEEE
—In this paper we present a procedure for solving quantified boolean formulas (QBF), which uses And-Inverter Graphs (AIGs) as the core data-structure. We make extensive use of s...
ICDAR
2009
IEEE
15 years 7 months ago
2009
IEEE
This paper introduces the Book Structure Extraction competition run at ICDAR 2009. The goal of the competition is to evaluate and compare automatic techniques for deriving structu...
89
Voted
ICASSP
2008
IEEE
15 years 7 months ago
2008
IEEE
To help develop ultra-low power wireless hearing aid products, we investigate the integration of subband audio coding with hearing aid applications. Both the audio coding and the ...
97
Voted
ICPR
2008
IEEE
15 years 7 months ago
2008
IEEE
— A calibration method for a structured light system by observing a planar object from unknown viewpoints is proposed. A structured light system captures a 3D shape by a camera t...
135
Voted
CPM
2007
Springer
15 years 7 months ago
2007
Springer
Extracting motifs from a set of DNA sequences is important in computational biology. Occurrence probability is a common used statistics to evaluate the statistical significance of...