1128 search results - page 85 / 226 » Classical Natural Deduction |
EACL
1993
ACL Anthology
13 years 11 months ago
1993
ACL Anthology
This paper presents a method for parsing associative Lambek grammars based on graphtheoretic properties. Connection graphs, which are a simplified version of proof-nets, are actua...
CORR
2008
Springer
13 years 10 months ago
2008
Springer
Abstract-The immune system is a complex biological system with a highly distributed, adaptive and selforganising nature. This paper presents an Artificial Immune System (AIS) that ...
DCG
2007
13 years 10 months ago
2007
In this paper we investigate the Erd¨os/Falconer distance conjecture for a natural class of sets statistically, though not necessarily arithmetically, similar to a lattice. We pr...
TNN
2008
13 years 10 months ago
2008
This paper introduces a multilinear principal component analysis (MPCA) framework for tensor object feature extraction. Objects of interest in many computer vision and pattern rec...
TIP
1998
13 years 9 months ago
1998
—We introduce a new geometrical framework based on which natural flows for image scale space and enhancement are presented. We consider intensity images as surfaces in the (x; I...