12741 search results - page 2287 / 2549 » Editorial and call for papers |
235
click to vote
ESOP
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. We instantiate an Isabelle/HOL framework for proof carrying code to Jinja bytecode, a downsized variant of Java bytecode featuring objects, inheritance, method calls and ...
194
click to vote
FSE
2005
Springer
16 years 4 days ago
2005
Springer
In this paper we present a new class of stream ciphers based on a very simple mechanism. The heart of our method is a Feedback with Carry Shift Registers (FCSR) automaton. This au...
172
Voted
GECCO
2005
Springer
16 years 4 days ago
2005
Springer
This paper presents an approach to combine competent crossover and mutation operators via probabilistic model building. Both operators are based on the probabilistic model buildin...
189
click to vote
GECCO
2005
Springer
16 years 4 days ago
2005
Springer
This paper presents the Real-coded Genetic Algorithms for high-dimensional ill-scaled structures, what is called, the ktablet structure. The k-tablet structure is the landscape th...
169
click to vote
GFKL
2005
Springer
16 years 4 days ago
2005
Springer
Today biometric techniques are based either on passive (e.g. IrisScan, Face) or active methods (e.g. voice and handwriting). In our work we focus on evaluation of the latter. These...