5084 search results - page 370 / 1017 » Proving Possibility Properties |
179
click to vote
ACTA
2006
15 years 6 months ago
2006
Linearly bounded Turing machines have been mainly studied as acceptors for context-sensitive languages. We define a natural family of canonical infinite automata representing their...
157
click to vote
APAL
2006
15 years 6 months ago
2006
We prove a number of consistency results complementary to the ZFC results from our paper [4]. We produce examples of non-tightly stationary mutually stationary sequences, sequences...
153
click to vote
AUTOMATICA
2006
15 years 6 months ago
2006
This paper is concerned with outer approximations of the minimal disturbance invariant set (MDIS) of a discrete-time linear system with an additive set-bounded disturbance. The k-...
151
Voted
CANDC
2006
ACM
15 years 6 months ago
2006
ACM
Vertebrate segmentation has been proved to be under a strict temporal control governed by a biological clock, known as the segmentation clock. The present experimental evidence su...
170
click to vote
CJ
2006
15 years 6 months ago
2006
Aggregate signatures are a useful primitive which allows to aggregate into a single and constant-length signature many signatures on different messages computed by different users...