5255 search results - page 696 / 1051 » Formal Methods for Privacy |
194
click to vote
NAACL
2007
15 years 8 months ago
2007
We present a method for utilizing unannotated sentences to improve a semantic parser which maps natural language (NL) sentences into their formal meaning representations (MRs). Gi...
141
click to vote
NIPS
2007
15 years 8 months ago
2007
Many formal models of cognition implicitly use subjective probability distributions to capture the assumptions of human learners. Most applications of these models determine these...
187
click to vote
COMMA
2006
15 years 8 months ago
2006
The hitherto most abstract, and hence general, argumentation system, is the one described by Dung in a paper from 1995. This framework does not allow for joint attacks on arguments...
165
click to vote
CISST
2003
15 years 8 months ago
2003
An approach to conflation/registration of images that does not depend on identifying common points is being developed. It uses the method of algebraic invariants to provide a comm...
173
click to vote
AAAI
1990
15 years 8 months ago
1990
A formal equivalence between propositional expert systems and decision tables is proved, and a practicable procedure given to perform the transformation between propositional expe...