27274 search results - page 379 / 5455 » A framework for framework documentation |
162
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
We describe a framework with which first order theorem provers can be used for checking formal proofs. The main aim of the framework is to take as much advantage as possible from t...
381
click to vote
VLDB
2006
ACM
16 years 7 months ago
2006
ACM
k-anonymity provides a measure of privacy protection by preventing re-identification of data to fewer than a group of k data items. While algorithms exist for producing k-anonymous...
173
click to vote
SIGMOD
2004
ACM
16 years 6 months ago
2004
ACM
As databases become more pervasive through the biological sciences, various data quality issues regarding data legacy, data uniformity and data duplication arise. Due to the natur...
145
Voted
ICCAD
2008
IEEE
16 years 3 months ago
2008
IEEE
— In this paper, we present a partitioning, mapping, and routing optimization framework for energy-efficient VFI (Voltage-Frequency Island) based Network-on-Chip. Unlike the rece...
161
click to vote
CVPR
2010
IEEE
16 years 3 months ago
2010
IEEE
We present a method to classify and localize human actions in video using a Hough transform voting framework. Random trees are trained to learn a mapping between densely-sampled f...