3096 search results - page 470 / 620 » The Generalized FITC Approximation |
154
click to vote
GECCO
2007
Springer
15 years 11 months ago
2007
Springer
Surrogate-Assisted Memetic Algorithm(SAMA) is a hybrid evolutionary algorithm, particularly a memetic algorithm that employs surrogate models in the optimization search. Since mos...
149
click to vote
GECCO
2007
Springer
15 years 11 months ago
2007
Springer
Transgenetic algorithms are evolutionary computing techniques based on living processes where cooperation is the main evolutionary strategy. Those processes contain the movement o...
127
click to vote
HYBRID
2007
Springer
15 years 11 months ago
2007
Springer
We consider the problem of verifying reachability properties of stochastic real-time systems modeled as generalized semi-Markov processes (GSMPs). The standard simulation-based tec...
144
click to vote
IH
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We introduce software integrity checking expressions (SoftICEs), which are program predicates that can be used in software tamper detection. We present two candidates, pr...
141
click to vote
IPSN
2007
Springer
15 years 11 months ago
2007
Springer
Energy-efficient image communication is one of the most important goals for a large class of current and future sensor network applications. This paper presents a quantitative com...