4266 search results - page 477 / 854 » Search for More Declarativity |
189
Voted
APN
2004
Springer
16 years 8 days ago
2004
Springer
Generating the reachability set is one of the most commonly required step when analyzing the logical or stochastic behavior of a system modeled with Petri nets. Traditional “expl...
195
click to vote
CP
2004
Springer
16 years 8 days ago
2004
Springer
We study the quality of LP-based approximation methods for pure combinatorial problems. We found that the quality of the LPrelaxation is a direct function of the underlying constra...
168
click to vote
DAGM
2004
Springer
16 years 8 days ago
2004
Springer
A fundamental problem in image recognition is to evaluate the similarity of two images. This can be done by searching for the best pixel-to-pixel matching taking into account suita...
165
Voted
ECML
2004
Springer
16 years 7 days ago
2004
Springer
We report on new experiments with machine learning in the reconstruction of human sub-cognitive skill. The particular problem considered is to generate a clone of a human pilot per...
204
click to vote
GECCO
2004
Springer
16 years 7 days ago
2004
Springer
This paper discusses the performance of a hybrid system which consists of EDP and GP. EDP, Estimation of Distribution Programming, is the program evolution method based on the prob...