3690 search results - page 178 / 738 » Computation with classical sequents |
112
click to vote
ACSC
2005
IEEE
15 years 6 months ago
2005
IEEE
The global dynamics of automata networks (such as neural networks) are a function of their topology and the choice of automata used. Evolutionary methods can be applied to the opt...
88
Voted
ICCSA
2005
Springer
15 years 6 months ago
2005
Springer
Various global optimization methods are compared in order to find the best strategy to solve realistic drag reduction problems in the automotive industry. All the methods consist ...
133
Voted
SPC
2005
Springer
15 years 6 months ago
2005
Springer
We develop the theme of an earlier paper [3], namely that security protocols for pervasive computing frequently need to exploit empirical channels and that the latter can be classi...
84
Voted
STACS
2005
Springer
15 years 6 months ago
2005
Springer
We define and study the complexity of robust polynomials for Boolean functions and the related fault-tolerant quantum decision trees, where input bits are perturbed by noise. We ...
93
Voted
CVDB
2004
ACM
15 years 6 months ago
2004
ACM
Browsing large multimedia databases is becoming a challenging problem, due to the availability of great amounts of data and the complexity of retrieval. In this paper we propose a...