63 search results - page 4 / 13 » Canonical Inference for Implicational Systems |
POPL
1997
ACM
13 years 11 months ago
1997
ACM
Languages like ML and Haskell encourage the view of values as first-class entities that can be passed as arguments or results of functions, or stored as components of data struct...
COLING
2008
13 years 8 months ago
2008
We propose an approach to natural language inference based on a model of natural logic, which identifies valid inferences by their lexical and syntactic features, without full sem...
CSE
2009
IEEE
14 years 2 months ago
2009
IEEE
— The emphasis of emerging mobile and Web 2.0 applications on collaboration and communication increases threats to user privacy. A serious, yet under-researched privacy risk resu...
ICTAI
2007
IEEE
14 years 1 months ago
2007
IEEE
We review a method of generating logical rules, or axioms, from empirical data. This method, using closed set properties of formal concept analysis, has been previously described ...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
This paper presents a novel method for inferring the odor based on neural activities observed from rats’ main olfactory bulbs. Multi-channel extra-cellular single unit recording...