1063 search results - page 18 / 213 » Order and Negation as Failure |
JOLLI
2008
13 years 9 months ago
2008
Abstract. This paper uses a partially ordered set of syntactic categories to accommodate optionality and licensing in natural language syntax. A complex but well-studied data set p...
BSL
2005
13 years 9 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 ...
FUIN
2008
13 years 10 months ago
2008
This article investigates Krivine's realizability interpretation of classical second-order arithmetic and its recent extension handling countable choice. We will start by pre...
NOMS
2006
IEEE
14 years 3 months ago
2006
IEEE
— This work proposes a business-oriented approach to designing IT infrastructure in an e-commerce context subject to load surges. The main difference between the proposed approac...
IM
2003
13 years 11 months ago
2003
: Fault management in high performance cluster networks has been focused on the notion of hard faults (i.e., link or node failures). Network degradations that negatively impact per...