2693 search results - page 354 / 539 » French Order Without Order |
123
click to vote
CSL
2010
Springer
15 years 4 months ago
2010
Springer
We study probabilistic complexity classes and questions of derandomisation from a logical point of view. For each logic L we introduce a new logic BPL, bounded error probabilistic ...
127
click to vote
EAAI
2008
15 years 4 months ago
2008
This article presents an optimization method used at the electric-motor design. The goal of the optimization was to find the geometrical parameter values that would generate the r...
108
click to vote
CLEIEJ
2006
15 years 4 months ago
2006
This paper describes a single-version algorithmic approach to design in fault tolerant computing in various computing systems by using static redundancy in order to mask transient...
117
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
This paper presents a case study concerning the challenges and requirements posed by next generation language resources, realized as an overall model of open, distributed and coll...
139
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
A commonly used type of search tree is the alphabetic binary tree, which uses (without loss of generality) "less than" versus "greater than or equal to" tests ...