838 search results - page 130 / 168 » From Natural Language to Formal Proof Goal |
175
click to vote
IMCSIT
2010
15 years 4 months ago
2010
We present a dialogue system for exercising the German subordinate clause word order. The pedagogical methodology we adopt is based on focused tasks: the targeted linguistic struct...
143
click to vote
ICALP
2009
Springer
16 years 6 months ago
2009
Springer
Consider a center possessing a trusted (tamper proof) device that wishes to securely compute a public function over private inputs that are contributed by some network nodes. In ne...
261
Voted
SIGMOD
2006
ACM
16 years 6 months ago
2006
ACM
We study the problem of finding efficient equivalent viewbased rewritings of relational queries, focusing on query optimization using materialized views under the assumption that ...
146
click to vote
ANSS
2006
IEEE
16 years 5 days ago
2006
IEEE
Selecting the right numerical solver or the most appropriate numerical package for a particular simulation problem it is increasingly difficult for users without an extensive math...
172
click to vote
ICTAI
2003
IEEE
15 years 11 months ago
2003
IEEE
The interpretation of medical evidence is normally presented in terms of a controlled, but diversely expressed specialist vocabulary and natural language phrases. Such informally ...