3690 search results - page 21 / 738 » Computation with classical sequents |
DIS
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. Waka is a form of traditional Japanese poetry with a 1300year history. In this paper, we attempt to discover characteristics common to a collection of waka poems. As a fo...
121
click to vote
ECAI
2008
Springer
15 years 4 months ago
2008
Springer
Many forms of reasoning about actions and planning can be reduced to regression, the computation of the weakest precondition a state has to satisfy to guarantee the satisfaction of...
137
click to vote
TLCA
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We present a theory of proof denotations in classical propologic. The abstract definition is in terms of a semiring of weights, and two concrete instances are explored. ...
107
click to vote
DAGSTUHL
2007
15 years 4 months ago
2007
We present classical simulation techniques for measure once quantum branching programs. For bounded error syntactic quantum branching program of width w that computes a function w...
106
click to vote
DCC
2006
IEEE
16 years 2 months ago
2006
IEEE
We construct various classes of low-density parity-check codes using point-line incidence structures in the classical projective plane PG(2, q). Each incidence structure is based ...