5378 search results - page 232 / 1076 » Base Logics in Argumentation |
139
click to vote
JOC
2006
15 years 6 months ago
2006
Motivated by the needs of the pairing based cryptography, Miyaji, Nakabayashi and Takano have suggested a construction of so-called MNT elliptic curves with low embedding degree. ...
170
click to vote
QUESTA
2008
15 years 6 months ago
2008
Consider an M/G/c queue with homogeneous servers and service time distribution F. It is shown that an approximation of the service time distribution F by stochastically smaller di...
183
click to vote
PPSN
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We present a new method for proving lower bounds in evolutionary computation based on fitness-level arguments and an additional condition on transition probabilities bet...
145
click to vote
IJBC
2010
15 years 4 months ago
2010
This paper introduces an extension of recurrence analysis to symbolic sequences. Heuristic arguments based on Shannon-McMillan-Breiman theorem suggest several relations between th...
177
click to vote
TCS
2011
15 years 1 months ago
2011
We propose a formal definition of Wolfram’s notion of computational process based on iterated transducers together with a weak observer, a model of computation that captures so...