1205 search results - page 95 / 241 » Program Extraction from Large Proof Developments |
LREC
2010
15 years 3 months ago
2010
The Arabic Treebank (ATB) Project at the Linguistic Data Consortium (LDC) has embarked on a large corpus of Broadcast News (BN) transcriptions, and this has led to a number of new...
106
click to vote
SEKE
2005
Springer
15 years 7 months ago
2005
Springer
Various intelligent component retrieval techniques have been developed to assist a developer discover or locate components in an efficient manner. These techniques share a common ...
135
click to vote
ICS
2009
Tsinghua U.
15 years 8 months ago
2009
Tsinghua U.
“Is transactional memory useful?” is the question that cannot be answered until we provide substantial applications that can evaluate its capabilities. While existing TM appli...
114
Voted
BMCBI
2006
15 years 1 months ago
2006
Background: Until today, analysis of 16S ribosomal RNA (rRNA) sequences has been the de-facto gold standard for the assessment of phylogenetic relationships among prokaryotes. How...
142
click to vote
TII
2010
14 years 8 months ago
2010
Software intellectual property (SWIP) is a critical component of increasingly complex field programmable gate arrays (FPGA)-based system-on-chip (SOC) designs. As a result, develop...