15120 search results - page 2741 / 3024 » Learning with Local Models |
232
click to vote
CAV
1998
Springer
15 years 11 months ago
1998
Springer
As a pedagogical exercise in ACL2, we formalize and prove the correctness of a write invalidate cache scheme. In our formalization, an arbitrary number of processors, each with its...
180
click to vote
SIGIR
1996
ACM
15 years 10 months ago
1996
ACM
The aggregated structure of documents plays a key role in full-text, multimedia, and network Information Retrieval (IR). Considering aggregation provides new querying facilities a...
191
click to vote
SIGGRAPH
1994
ACM
15 years 10 months ago
1994
ACM
Range imaging offers an inexpensive and accurate means for digitizing the shape of three-dimensional objects. Because most objects self occlude, no single range image suffices to ...
190
click to vote
BIBE
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract-- In eukaryotic cells, genomic DNAs wrap around beadlike molecules, called nucleosomes, so as to pack more compactly in the nucleus of the cell. The nucleosome is made up ...
187
click to vote
DASFAA
2004
IEEE
15 years 10 months ago
2004
IEEE
Data mining is a process that analyzes voluminous digital data in order to discover hidden but useful patterns from digital data. However, discovery of such hidden patterns has sta...