Sciweavers

105 search results - page 3 / 21
» Towards Mature Measurement Programs
Sort
View
EUROGP
2005
Springer
107views Optimization» more  EUROGP 2005»
13 years 11 months ago
Operator-Based Distance for Genetic Programming: Subtree Crossover Distance
Abstract. This paper explores distance measures based on genetic operators for genetic programming using tree structures. The consistency between genetic operators and distance mea...
Steven M. Gustafson, Leonardo Vanneschi
PTS
2007
120views Hardware» more  PTS 2007»
13 years 7 months ago
Towards Systematic Signature Testing
: The success and the acceptance of intrusion detection systems essentially depend on the accuracy of their analysis. Inaccurate signatures strongly trigger false alarms. In practi...
Sebastian Schmerl, Hartmut König
IPPS
2005
IEEE
13 years 11 months ago
Toward an Evaluation Infrastructure for Power and Energy Optimizations
Execution-driven simulators are often used for power/energy and performance evaluation. Simulators can provide semantic details but they provide insufficient speed and accuracy f...
Chunling Hu, Daniel A. Jiménez, Ulrich Krem...
IWFM
2003
172views Formal Methods» more  IWFM 2003»
13 years 7 months ago
On Continuous Models of Computation: Towards Computing the Distance Between (Logic) Programs
We present a report on work in progress on certain aspects of a programme of research concerned with building formal, mathematical models both for aspects of the computational pro...
Anthony Karel Seda, Máire Lane
ESOP
2011
Springer
12 years 9 months ago
Measure Transformer Semantics for Bayesian Machine Learning
Abstract. The Bayesian approach to machine learning amounts to inferring posterior distributions of random variables from a probabilistic model of how the variables are related (th...
Johannes Borgström, Andrew D. Gordon, Michael...