369 search results - page 53 / 74 » Symbolic Semantics Revisited |
FROCOS
2005
Springer
15 years 10 months ago
2005
Springer
Interface formalisms are able to model both the input requirements and the output behavior of system components; they support both bottom-up component-based design, and top-down de...
137
click to vote
ISMIR
2005
Springer
15 years 9 months ago
2005
Springer
When considering the problem of audio-to-audio matching, determining musical similarity using low-level features such as Fourier transforms and MFCCs is an extremely difficult ta...
118
click to vote
DAGSTUHL
2006
15 years 5 months ago
2006
We have found a method to automatically extract the meaning of words and phrases from the world-wide-web using Google page counts. The approach is novel in its unrestricted proble...
133
click to vote
NAACL
1994
15 years 5 months ago
1994
This paper describes a semi-automatic method for associating a Japanese lexicon with a semantic concept taxonomy called an ontology, using a Japanese-English bilingual dictionary ...
126
click to vote
JANCL
2007
15 years 4 months ago
2007
Logic of proofs LP introduced by S. Artemov in 1995 describes properties of proof predicate “t is a proof of F” in the propositional language extended by atoms of the form [[t...