3040 search results - page 142 / 608 » Independent Natural Extension |
AMAST
2008
Springer
13 years 11 months ago
2008
Springer
The Hoare approach to program verification relies on the construction and discharge of verification conditions (VCs) but offers no support to trace, analyze, and understand the VCs...
APCCM
2007
13 years 10 months ago
2007
An input to the conceptual database design phase contains a description of the target database. This description is usually given in some natural language, for instance in English...
EACL
2006
ACL Anthology
13 years 10 months ago
2006
ACL Anthology
In this paper we extend the maximum spanning tree (MST) dependency parsing framework of McDonald et al. (2005c) to incorporate higher-order feature representations and allow depen...
EACL
2003
ACL Anthology
13 years 10 months ago
2003
ACL Anthology
Disfluent speech adds to the difficulty of processing spoken language utterances. In this paper we concentrate on identifying one disfluency phenomenon: fragmented words. Our d...
EACL
2003
ACL Anthology
13 years 10 months ago
2003
ACL Anthology
Syntactic constraints in Koskenniemi’s Finite-State Intersection Grammar (FSIG) are logically less complex than their formalism (Koskenniemi et al., 1992) would suggest: It turn...