1205 search results - page 143 / 241 » Program Extraction from Large Proof Developments |
SDM
2007
SIAM
15 years 2 months ago
2007
SIAM
The Web is a very large social network. It is important and interesting to understand the “ecology” of the Web: the general relations of Web pages to their environment. The un...
113
Voted
LRE
2006
15 years 1 months ago
2006
When building a new spoken dialogue application, large amounts of domain specific data are required. This paper addresses the issue of generating in-domain training data when litt...
121
click to vote
SIGIR
2008
ACM
15 years 1 months ago
2008
ACM
Research articles typically introduce new results or findings and relate them to knowledge entities of immediate relevance. However, a large body of context knowledge related to t...
110
click to vote
FMCAD
2009
Springer
15 years 8 months ago
2009
Springer
—Boolean manipulation and existential quantification of numeric variables from linear arithmetic (LA) formulas is at the core of many program analysis and software model checkin...
112
click to vote
DGO
2006
15 years 2 months ago
2006
In this project, we are developing new text processing tools that help people perform advanced analysis of large collections of text commentary. This problem is increasingly faced...