13383 search results - page 2347 / 2677 » Abstractions from proofs |
144
click to vote
CLUSTER
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract-- Multicore microprocessors have been largely motivated by the diminishing returns in performance and the increased power consumption of single-threaded ILP microprocessor...
123
click to vote
DOCENG
2007
ACM
15 years 8 months ago
2007
ACM
Variable Data Printing (VDP) has brought new flexibility and dynamism to the printed page. Each printed instance of a specific class of document can now have different degrees of ...
131
click to vote
COCO
2010
Springer
15 years 8 months ago
2010
Springer
Abstract—We consider two natural extensions of the communication complexity model that are inspired by distributed computing. In both models, two parties are equipped with synchr...
125
click to vote
COOPIS
2004
IEEE
15 years 7 months ago
2004
IEEE
We report on an a set of experiments carried out in the context of the Flemish OntoBasis project. Our purpose is to extract semantic relations from text corpora in an unsupervised ...
144
click to vote
ECCV
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Assessing the matching error rates of a biometric identification devices is integral to understanding its performance. Here we propose and evaluate several methods for cr...