1205 search results - page 60 / 241 » Program Extraction from Large Proof Developments |
118
click to vote
KES
2006
Springer
15 years 6 days ago
2006
Springer
Named entities (e.g., "Kofi Annan", "Coca-Cola", "Second World War") are ubiquitous in web pages and other types of document and often provide a simpl...
INTERSPEECH
2010
14 years 7 months ago
2010
MLP based front-ends have shown significant complementary properties to conventional spectral features. As part of the DARPA GALE program, different MLP features were developed fo...
113
click to vote
RTA
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In this paper we present our formalization of two important termination techniques for term rewrite systems: the subterm criterion and the reduction pair processor in com...
197
click to vote
ASPLOS
2009
ACM
16 years 27 days ago
2009
ACM
Extracting performance from many-core architectures requires software engineers to create multi-threaded applications, which significantly complicates the already daunting task of...
105
click to vote
AC
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. As semiconductor technology strides towards billions of transistors on a single die, problems concerned with deep sub-micron process features and design productivity call...