1548 search results - page 7 / 310 » Computational Approaches to Sentence Completion |
117
click to vote
JSYML
2010
15 years 8 days ago
2010
Continuous first-order logic has found interest among model theorists who wish to extend the classical analysis of “algebraic” structures (such as fields, group, and graphs) ...
105
click to vote
COLING
2002
15 years 1 months ago
2002
We profile the occurrence of clausal extraposition in corpora from different domains and demonstrate that extraposition is a pervasive phenomenon in German that must be addressed ...
153
click to vote
PODS
2011
ACM
14 years 4 months ago
2011
ACM
In the traditional data exchange setting, source instances are restricted to be complete in the sense that every fact is either true or false in these instances. Although natural ...
99
Voted
TCS
2008
15 years 1 months ago
2008
This paper provides one more step towards bridging the gap between the formal and computational approaches to the verification of cryptographic protocols. We extend the well-known ...
134
Voted
NAACL
2010
14 years 11 months ago
2010
The quality of a statistical machine translation (SMT) system is heavily dependent upon the amount of parallel sentences used in training. In recent years, there have been several...