1728 search results - page 160 / 346 » The Size of Power Automata |
180
click to vote
AIPS
2009
15 years 7 months ago
2009
Planning based on propositional SAT(isfiability) is a powerful approach to computing step-optimal plans given a parallel execution semantics. In this setting: (i) a solution plan ...
145
click to vote
COMGEO
2008
ACM
15 years 6 months ago
2008
ACM
Given a set of points P Rd and value > 0, an -core-set S P has the property that the smallest ball containing S is within of the smallest ball containing P. This paper shows ...
162
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We define and construct efficient depth-universal and almostsize-universal quantum circuits. Such circuits can be viewed as generalpurpose simulators for central classes ...
140
click to vote
IJWMC
2007
15 years 6 months ago
2007
Abstract. A new stream cipher, Grain, is proposed. The design targets hardware environments where gate count, power consumption and memory is very limited. It is based on two shift...
134
click to vote
COMBINATORICS
2000
15 years 6 months ago
2000
A pairwise balanced design, B(K; v), is a block design on v points, with block sizes taken from K, and with every pair of points occurring in a unique block; for a fixed K, B(K) i...