1205 search results - page 137 / 241 » Program Extraction from Large Proof Developments |
DAC
2008
ACM
16 years 2 months ago
2008
ACM
Since process and environmental variations can no longer be ignored in high-performance microprocessor designs, it is necessary to develop techniques for computing the sensitiviti...
131
click to vote
DAGSTUHL
2006
15 years 2 months ago
2006
Abstract. Similarity search in large multimedia databases requires efficient query processing based on suitable similarity models. Similarity models consist of a feature extraction...
141
click to vote
CVPR
1998
IEEE
16 years 3 months ago
1998
IEEE
We have developed a computer vision system, including both facial feature extraction and recognition, that automatically discriminates among subtly different facial expressions. E...
120
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: High-throughput methods for detecting protein-protein interactions enable us to obtain large interaction networks, and also allow us to computationally identify the as...
LREC
2008
15 years 2 months ago
2008
The Berkeley FrameNet Project (BFN) is making an English lexical database called FrameNet, which describes syntactic and semantic properties of an English lexicon extracted from l...