1205 search results - page 79 / 241 » Program Extraction from Large Proof Developments |
118
click to vote
LPAR
1999
Springer
15 years 5 months ago
1999
Springer
Abstract. Walther’s estimation calculus was designed to prove the termination of functional programs, and can also be used to solve the similar problem of proving the well-founde...
131
click to vote
ANLP
1992
15 years 2 months ago
1992
This paper is concerned with the question of how to extract lexical knowledge from MachineReadable Dictionaries (MRDs) within a lexical database which integrates a lexicon develop...
118
click to vote
CCS
2008
ACM
15 years 3 months ago
2008
ACM
A recent development in formal security protocol analysis is the Protocol Composition Logic (PCL). We identify a number of problems with this logic as well as with extensions of t...
118
click to vote
CIKM
2008
Springer
15 years 3 months ago
2008
Springer
Mining different types of communities from web data have attracted a lot of research efforts in recent years. However, none of the existing community mining techniques has taken i...
115
click to vote
ICC
2009
IEEE
15 years 8 months ago
2009
IEEE
—Several measurement studies have found a large amount of underutilized radio spectrum. More flexible regulation employing dynamic spectrum access (DSA) has been proposed as sol...