2661 search results - page 247 / 533 » Quantum Complexity Classes |
134
click to vote
RELMICS
1998
Springer
15 years 8 months ago
1998
Springer
We present a class of polymodal logics for which the set of terms indexing the modal connectives can be hierarchized in two levels: the set of Boolean terms and the set of terms b...
139
click to vote
ICIP
1997
IEEE
15 years 8 months ago
1997
IEEE
This is a contribution for very low bit rate video coding in real-time and software only on computers of PC class. It is based on frame replenishment with block coding using mean-...
119
click to vote
ITICSE
1997
ACM
15 years 8 months ago
1997
ACM
A programming exercise on recursion in which students create drawings of simple and bracketed Lindenmayer Systems provides a context for exploring additional computer science conc...
162
Voted
COCO
1993
Springer
15 years 8 months ago
1993
Springer
We introduce a linear algebraic model of computation, the Span Program, and prove several upper and lower bounds on it. These results yield the following applications in complexit...
140
click to vote
PPSN
1992
Springer
15 years 8 months ago
1992
Springer
The limitations of linear chromosomes and conventional recombination operators are reviewed. It is argued that there are at least three classes of problems for which such represen...