1205 search results - page 214 / 241 » Program Extraction from Large Proof Developments |
147
click to vote
ICDE
2011
IEEE
14 years 5 months ago
2011
IEEE
—Online shopping has grown rapidly over the past few years. Besides the convenience of shopping directly from ones home, an important advantage of e-commerce is the great variety...
DSS
2006
15 years 1 months ago
2006
The increasing proliferation of online shopping and purchasing has naturally led to a growth in the popularity of comparisonshopping search engines, popularly known as "shopb...
108
click to vote
BIOINFORMATICS
2000
15 years 1 months ago
2000
Motivation: Evaluating the accuracy of predicted models is critical for assessing structure prediction methods. Because this problem is not trivial, a large number of different as...
115
click to vote
DASFAA
2005
IEEE
15 years 7 months ago
2005
IEEE
A novel approach for similarity search on the protein structure databases is proposed. PADS (Protein Alignment by Directional shape Signatures) incorporates the three dimensional ...
112
click to vote
DAC
1998
ACM
15 years 5 months ago
1998
ACM
—Functional simulation is still the primary workhorse for verifying the functional correctness of hardware designs. Functional verification is necessarily incomplete because it i...