2693 search results - page 11 / 539 » French Order Without Order |
BSL
2005
13 years 7 months ago
2005
This communication deals with positive model theory, a non first order model theoretic setting which preserves compactness at the cost of giving up negation. Positive model theory ...
TIM
2010
13 years 2 months ago
2010
Abstract--An approach for the construction of a family of desired order continuous polynomial time window functions is presented without self-convolution of the parent window. The ...
CBMS
2007
IEEE
14 years 1 months ago
2007
IEEE
There are several domains, such as health-care, in which the decision process usually has a background knowledge that must be considered. We need to maximize the accuracy of the m...
ACL
1997
13 years 8 months ago
1997
In this paper, we describe a method for automatically retrieving collocations from large text corpora. This method retrieve collocations in the following stages: 1) extracting str...
IFL
2003
Springer
14 years 21 days ago
2003
Springer
Abstract This paper presents a type-based analysis for inferring sizeand cost-equations for recursive, higher-order and polymorphic functional programs without requiring user annot...