838 search results - page 64 / 168 » From Natural Language to Formal Proof Goal |
158
click to vote
MKM
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. There are many styles for the narrative structure of a mathematical document. Each mathematician has its own conventions and traditions about labeling portions of texts (...
189
click to vote
IUI
1997
ACM
15 years 10 months ago
1997
ACM
We claim that automatic multimedia presentation can be modeled by integrating two complementary approaches to automatic design: hierarchical planning to achieve communicative goal...
176
click to vote
FDL
2006
IEEE
15 years 9 months ago
2006
IEEE
In this work, an approach to the `verification-oriented' modeling of the analog parts' behavior of mixed-signal circuits is presented. Starting from a continuous-time, c...
179
click to vote
EMNLP
2010
15 years 4 months ago
2010
The research question treated in this paper is centered on the idea of exploiting rich resources of one language to enhance the performance of a mention detection system of anothe...
126
click to vote
LREC
2010
15 years 7 months ago
2010
The goal of DARPA's Machine Reading (MR) program is nothing less than making the world's natural language corpora available for formal processing. Most text processing r...