838 search results - page 152 / 168 » From Natural Language to Formal Proof Goal |
LREC
2008
13 years 8 months ago
2008
The ACL Anthology is a digital archive of conference and journal papers in natural language processing and computational linguistics. Its primary purpose is to serve as a referenc...
AAAI
1996
13 years 8 months ago
1996
As more information becomes available electronically, tools for finding information of interest to users becomes increasingly important. The goal of the research described here is...
TALG
2010
13 years 2 months ago
2010
We initiate the study of error confinement in distributed applications, where the goal is that only nodes that were directly hit by a fault may deviate from their correct external...
ICALP
2005
Springer
14 years 28 days ago
2005
Springer
We consider the problem of efficiently designing sets (codes) of equal-length DNA strings (words) that satisfy certain combinatorial constraints. This problem has numerous motivati...
ER
2003
Springer
14 years 18 days ago
2003
Springer
Abstract. Requirements Engineering techniques, based on the fundamental notions of agency, i.e., Agent, Goal, and Intentional Dependency, have been recognized as having the potenti...