9626 search results - page 1374 / 1926 » Invariant Based Programming |
174
click to vote
GECCO
2005
Springer
16 years 18 days ago
2005
Springer
A number of recent studies introduced meta-evolutionary strategies and successfully used them for solving problems in genetic programming. While individual results indicate possib...
187
click to vote
ICALP
2005
Springer
16 years 18 days ago
2005
Springer
d Abstract) MohammadReza Mousavi and Michel A. Reniers Department of Computer Science, Eindhoven University of Technology, NL-5600MB Eindhoven, The Netherlands Abstract. In this pa...
147
click to vote
ICCS
2005
Springer
16 years 18 days ago
2005
Springer
Although there exist many phasing methods for unrelated adults or pedigrees, phasing and missing data recovery for data representing family trios is lagging behind. This paper is a...
194
click to vote
ICTCS
2005
Springer
16 years 18 days ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed to study historybased access control. It allows for parametrized security policies with a possibly nested, local scope. To gov...
255
click to vote
IDA
2005
Springer
16 years 18 days ago
2005
Springer
Abstract. This paper introduces Higher-Order Bayesian Networks, a probabilistic reasoning formalism which combines the efficient reasoning mechanisms of Bayesian Networks with the...