Sciweavers

1466 search results - page 120 / 294
» Completeness of the Authentication Tests
Sort
View
IJCAI
1989
13 years 9 months ago
Reducing the Derivation of Redundant Clauses in Reasoning Systems
This paper addresses two problems concerning the issue of redundant information in resolution based reasoning systems. The first one deals with the question, how the derivation of...
Rolf Socher-Ambrosius
CEC
2010
IEEE
13 years 9 months ago
Evolving a CUDA kernel from an nVidia template
Rather than attempting to evolve a complete program from scratch we demonstrate genetic interface programming (GIP) by automatically generating a parallel CUDA kernel with identica...
William B. Langdon, Mark Harman
CEC
2010
IEEE
13 years 9 months ago
Concurrently evolving sensor morphology and control for a hexapod robot
Evolving a robot's sensor morphology along with its control program has the potential to significantly improve its effectiveness in completing the assigned task, plus accommod...
Gary B. Parker, Pramod J. Nathan
AAECC
2006
Springer
120views Algorithms» more  AAECC 2006»
13 years 8 months ago
Continued fraction for formal laurent series and the lattice structure of sequences
Abstract Besides equidistribution properties and statistical independence the lattice profile, a generalized version of Marsaglia's lattice test, provides another quality meas...
Wilfried Meidl
JOLLI
2010
94views more  JOLLI 2010»
13 years 6 months ago
Querying Linguistic Trees
Large databases of linguistic annotations are used for testing linguistic hypotheses and for training language processing models. These linguistic annotations are often syntactic ...
Catherine Lai, Steven Bird