838 search results - page 128 / 168 » From Natural Language to Formal Proof Goal |
167
click to vote
IJCNLP
2004
Springer
15 years 11 months ago
2004
Springer
The snapshot of a word means the most informative fragment of the word. By taking the snapshot instead of the whole, the value space of the lexical feature can be significantly r...
139
click to vote
IEAAIE
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. In this paper we present a real automatic meteorological information system that, not only provides friendly voice access to realtime data coming from automatic sensors, ...
156
click to vote
EMNLP
2004
15 years 7 months ago
2004
Paraphrase recognition is a critical step for natural language interpretation. Accordingly, many NLP applications would benefit from high coverage knowledge bases of paraphrases. ...
184
click to vote
COGSCI
2010
15 years 6 months ago
2010
Symbols enable people to organize and communicate about the world. However, the ways in which symbolic knowledge is learned and then represented in the mind are poorly understood....
160
click to vote
CONTEXT
1999
Springer
15 years 10 months ago
1999
Springer
Appeared in: P. Bouquet, P. Br´ezillon, L. Serafini, M. Benerecetti, F. Castellani (Eds.), 2nd International and Interdisciplinary Conference on Modeling and Using Context (CONT...