1128 search results - page 63 / 226 » Classical Natural Deduction |
PR
2007
13 years 9 months ago
2007
The eigenvalues of the Dirichlet Laplacian are used to generate three different sets of features for shape recognition and classification in binary images. The generated feature...
LICS
2010
IEEE
13 years 8 months ago
2010
IEEE
Abstract—Maximality is a desirable property of paraconsistent logics, motivated by the aspiration to tolerate inconsistencies, but at the same time retain as much as possible fro...
LICS
2010
IEEE
13 years 8 months ago
2010
IEEE
Abstract—Polarized logic is the logic of values and continuations, and their interaction through continuation-passing style. The main limitations of this logic are the limitation...
IUI
2011
ACM
13 years 25 days ago
2011
ACM
Recent research in Augmented and Alternative Communication (AAC) has begun to make use of Natural Language Generation (NLG) techniques. This creates an opportunity for constructin...
SAMT
2007
Springer
14 years 4 months ago
2007
Springer
Abstract—An interactive retrieval method adapted to surveillance video is presented. The approach is formulated as an iterative SVM classification and builds upon the two major ...