1205 search results - page 121 / 241 » Program Extraction from Large Proof Developments |
114
click to vote
IWPC
2000
IEEE
15 years 6 months ago
2000
IEEE
As a software system evolves, its architecture will drift. System changes are often done without considering their effects on the system structure. These changes often introduce s...
129
click to vote
ENTCS
2006
15 years 1 months ago
2006
High performance scientific computing software is of critical international importance as it supports scientific explorations and engineering. Software development in this area is...
123
click to vote
ACL
2011
14 years 5 months ago
2011
We develop a novel approach to the semantic analysis of short text segments and demonstrate its utility on a large corpus of Web search queries. Extracting meaning from short text...
GECCO
2005
Springer
15 years 7 months ago
2005
Springer
The C-value Paradox is the name given in biology to the wide variance in and often very large amount of DNA in eukaryotic genomes and the poor correlation between DNA length and p...
138
click to vote
SP
2000
IEEE
15 years 6 months ago
2000
IEEE
We address the goal of making Delegation Logic (DL) into a practically implementable and tractable trustmanagement system. DL [22] is a logic-based knowledge representation (i.e.,...