6618 search results - page 408 / 1324 » Natural Logic for Natural Language |
178
click to vote
CADE
1992
Springer
15 years 11 months ago
1992
Springer
The ability to use a polynomial iterpretation to prove termination of a rewrite system naturally prompts the question as to what restriction on complexity this imposes. The main r...
205
click to vote
EUSFLAT
2009
15 years 5 months ago
2009
Abstract-- The concept of an M-approximative system is introduced. Basic properties of the category of M-approximative systems and in a natural way defined morphisms between them a...
195
click to vote
CICLING
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. This article describes an automatic evaluation procedure for NLP system robustness under the strain of noisy and ill-formed input. The procedure requires no manual work o...
190
click to vote
UML
2005
Springer
16 years 1 months ago
2005
Springer
: This paper presents an overview of the workshop MARTES on Modeling and Analysis of Real-time and Embedded Systems that has taken place for the first time in association with the ...
188
click to vote
CICLING
2004
Springer
16 years 1 months ago
2004
Springer
Information retrieval (IR) is an effective mechanism for text management that has received widespread adoption in the world at large. But it is not a particularly creative mechanis...