4708 search results - page 42 / 942 » Generating the Structure of Argument |
136
click to vote
DIAGRAMS
2004
Springer
15 years 9 months ago
2004
Springer
An important aim of diagrammatic reasoning is to make it easier for people to create and understand logical arguments. We have worked on spider diagrams, which visually express log...
195
click to vote
ACL
1990
15 years 5 months ago
1990
We describe a system of reversible grammar in which, given a logic-grammar specification of a natural language, two efficient PROLOGprograms are derived by an off-line compilation...
122
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
It is a longstanding open problem to devise an oracle relative to which BQP does not lie in the Polynomial-Time Hierarchy (PH). We advance a natural conjecture about the capacity ...
156
click to vote
CDC
2009
IEEE
15 years 5 months ago
2009
IEEE
A feedback scheme for preparation of photon number states in a microwave cavity is proposed. Quantum Non Demolition (QND) measurement of the cavity field provides information on it...
150
click to vote
EUROCRYPT
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We introduce a notion of instance-dependent verifiable random functions (InstD-VRFs for short). Informally, an InstD-VRF is, in some sense, a verifiable random function [...