162 search results - page 9 / 33 » Extraction in Coq: An Overview |
MPC
1995
Springer
13 years 11 months ago
1995
Springer
We want to prove \automatically" that a program is correct with respect to a set of given properties that is a speci cation. Proofs of speci cations contain logical parts and ...
FTCGV
2007
13 years 7 months ago
2007
In this survey, we give an overview of invariant interest point detectors, how they evolved over time, how they work, and what their respective strengths and weaknesses are. We be...
ISMIR
2004
Springer
14 years 29 days ago
2004
Springer
Rhythm, beat and meter are key concepts of music in general. Many efforts had been made in the last years to automatically extract beat and meter from a piece of music given eithe...
COLING
2002
13 years 7 months ago
2002
If information extraction wants to make its results more accurate, it will have to resort increasingly to a coherent implementation of natural language semantics. In this paper, w...
ACL
2006
13 years 9 months ago
2006
We introduce the possibility of combining lexical association measures and present empirical results of several methods employed in automatic collocation extraction. First, we pre...