4228 search results - page 696 / 846 » Models and Methods in Comparative Genomics |
143
click to vote
VLSID
2001
IEEE
16 years 4 months ago
2001
IEEE
In this paper we describe a hardware design method for memory and register arrays that allows the application of formal equivalence checking for comparing a high-level register tr...
135
click to vote
ICDE
2010
IEEE
16 years 4 months ago
2010
IEEE
Data quality is a critical problem in modern databases. Data entry forms present the first and arguably best opportunity for detecting and mitigating errors, but there has been li...
112
click to vote
ICCAD
2004
IEEE
16 years 1 months ago
2004
IEEE
A latch-based timing analyzer is an essential tool for developing high-speed pipeline designs. As process variations increasingly influence the timing characteristics of DSM desi...
130
click to vote
ICMCS
2007
IEEE
15 years 10 months ago
2007
IEEE
Automatic segmentation and classification of recorded meetings provides a basis towards understanding the content of a meeting. It enables effective browsing and querying in a me...
142
click to vote
IJCNN
2007
IEEE
15 years 10 months ago
2007
IEEE
— Using the classical Parzen window estimate as the target function, the kernel density estimation is formulated as a regression problem and the orthogonal forward regression tec...