4106 search results - page 643 / 822 » A Computational Model for Metric Spaces |
172
click to vote
CAV
2005
Springer
16 years 5 days ago
2005
Springer
In this paper, we present the features of Romeo, a Time Petri Net (TPN) analyzer. The tool Romeo allows state space computation of TPN and on-the-fly model-checking of reachabilit...
160
click to vote
GECCO
2005
Springer
16 years 4 days ago
2005
Springer
A Quasi-Monte-Carlo method based on the computation of a surrogate model of the fitness function is proposed, and its convergence at super-linear rate 3/2 is proved under rather ...
154
click to vote
GECCO
2005
Springer
16 years 4 days ago
2005
Springer
Feature extraction is a process that extracts salient features from observed variables. It is considered a promising alternative to overcome the problems of weight and structure o...
196
click to vote
ICANN
2005
Springer
16 years 4 days ago
2005
Springer
For this special session of EU projects in the area of NeuroIT, we will review the progress of the MirrorBot project with special emphasis on its relation to reinforcement learning...
149
click to vote
PKDD
2005
Springer
16 years 3 days ago
2005
Springer
We describe a methodology to assist scientists in quantifying the degree of evidence in favor of a new proposed theory compared to a standard baseline theory. The figure of merit ...