1941 search results - page 274 / 389 » Reasoning about Computations Using Two-Levels of Logic |
121
Voted
AIR
2005
15 years 3 months ago
2005
Most users of machine-learning products are reluctant to use the systems without any sense of the underlying logic that has led to the system's predictions. Unfortunately many...
120
Voted
CORR
2006
Springer
15 years 3 months ago
2006
Springer
ABSTRACT. Reasoning with diagrams: cognitive and computational perspectives. Diagrammatic, analogical or iconic representations are often contrasted with linguistic or logical repr...
142
Voted
DSN
2008
IEEE
15 years 5 months ago
2008
IEEE
Fault-tolerant, replicated file systems are a crucial component of today's data centers. Despite their huge complexity, these systems are typically specified only in brief pr...
132
Voted
ACL
2009
15 years 1 months ago
2009
We present a novel approach to deciding whether two sentences hold a paraphrase relationship. We employ a generative model that generates a paraphrase of a given sentence, and we ...
104
Voted
LICS
1990
IEEE
15 years 7 months ago
1990
IEEE
In the paper "Extensional PERs" by P. Freyd, P. Mulry, G. Rosolini and D. Scott, a category C of "pointed complete extensional PERs" and computable maps is int...