838 search results - page 83 / 168 » From Natural Language to Formal Proof Goal |
153
click to vote
MUC
1993
15 years 10 months ago
1993
This paper describes the GE-CMU TIPSTER/SHOGUN system as configured for the TIPSTER 24-month (MUC-5) benchmark, and gives details of the system's performance on the selected ...
154
click to vote
ICFP
2008
ACM
16 years 6 months ago
2008
ACM
Language-based security relies on the assumption that all potential attacks are bound by the rules of the language in question. When programs are compiled into a different languag...
167
click to vote
EUROMICRO
2003
IEEE
15 years 11 months ago
2003
IEEE
Recently, several languages for web service composition have emerged (e.g., BPEL4WS and WSCI). The goal of these languages is to glue web services together in a process-oriented w...
152
click to vote
AMAI
2004
Springer
15 years 11 months ago
2004
Springer
We introduce a general formalism of production inference relations that posses both a standard monotonic semantics and a natural nonmonotonic semantics. The resulting nonmonotonic...
127
click to vote
CICLING
2007
Springer
16 years 11 days ago
2007
Springer
Abstract. Spanglish is the simultaneous use, or alternating of both, traditional Spanish and English within the same conversational event. This interlanguage is commonly used in U....