1128 search results - page 85 / 226 » Classical Natural Deduction |
95
Voted
EACL
1993
ACL Anthology
15 years 2 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...
105
Voted
CORR
2008
Springer
15 years 26 days 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 ...
91
Voted
DCG
2007
15 years 22 days 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
15 years 20 days 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...
92
Voted
TIP
1998
15 years 12 days 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...