2150 search results - page 109 / 430 » On a restricted cross-intersection problem |
118
click to vote
AE
2009
Springer
15 years 5 months ago
2009
Springer
This paper reports on a feasibility study into the evolution of robot controllers during the actual operation of robots (on-line), using only the computational resources within the...
132
click to vote
ICALP
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We propose a theory of time-bounded verification for realtime systems, in which verification queries are phrased over time intervals of fixed, bounded duration. We argue ...
139
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
In this survey paper we give an intuitive treatment of the discrete time quantization of classical Markov chains. Grover search and the quantum walk based search algorithms of Amba...
141
click to vote
CSJM
2006
15 years 4 months ago
2006
Several variants of new digital signature schemes (DSS) based on the discrete logarithm and factorization problems have been proposed. Considered DSS are characterized in that a n...
130
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
We introduce hybrid branching-time logics as extensions of CT L-like logics with hybrid machinery such as the downarrow-operator. Following recent work in the linear framework, we...