2225 search results - page 142 / 445 » Logical Structures in the Lexicon |
111
click to vote
COLING
2002
15 years 6 months ago
2002
The relative logical scope of multiple modifiers within NP is often semantically significant. This paper proposes a structurally based method for computing the relative scope of s...
129
click to vote
MLQ
2010
15 years 4 months ago
2010
We consider logical expressions built on the single binary connector of implication and a finite number of literals (boolean variables and their negations). We prove that asympto...
133
click to vote
CADE
2006
Springer
16 years 6 months ago
2006
Springer
We describe here a formal proof in the Coq system of the structure theorem for subresultants, which allows to prove formally the correctness of our implementation of the subresulta...
173
click to vote
EGC
2005
Springer
16 years 1 hour ago
2005
Springer
We are concerned with the following problem: How do we allow a community of users to access and process diverse data stored in many different formats? Standard data formats and da...