838 search results - page 55 / 168 » From Natural Language to Formal Proof Goal |
163
click to vote
FSMNLP
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. Active language learning is an interesting task for which theoretical results are known and several applications exist. In order to better understand what the better stra...
282
click to vote
ECOOP
2009
Springer
16 years 6 months ago
2009
Springer
The primary goal of exception mechanisms is to help ensure that when an operation fails, code that depends on the operation's successful completion is not executed (a property...
124
click to vote
EACL
1989
ACL Anthology
15 years 7 months ago
1989
ACL Anthology
We sketch and illustrate an approach to machine translation that exploits the potential of simultaneous correspondences between separate levels of linguistic representation, as fo...
145
click to vote
FM
2009
Springer
16 years 21 days ago
2009
Springer
Abstract. Bounding resource usage is important for a number of areas, notably real-time embedded systems and safety-critical systems. In this paper, we present a fully automatic st...
168
click to vote
EACL
1989
ACL Anthology
15 years 7 months ago
1989
ACL Anthology
DATR is a declarative language for representing a restricted class of inheritance networks, permitting both multiple and default inheritance. The principal intended area of applic...