Sciweavers

2038 search results - page 187 / 408
» Loops under Strategies
Sort
View
MFCS
1997
Springer
15 years 8 months ago
When are Two Rewrite Systems More than None?
It is important for programs to have modular correctness properties. We look at non-deterministic programs expressed as termrewriting systems which compute normal forms of input t...
Nachum Dershowitz
CEC
2007
IEEE
15 years 8 months ago
Self-Adaptive Niching CMA-ES with Mahalanobis Metric
Existing niching techniques commonly use the Euclidean distance metric in the decision space for the classification of feasible solutions to the niches under formation. This approa...
Ofer M. Shir, Michael Emmerich, Thomas Bäck
CIVR
2006
Springer
181views Image Analysis» more  CIVR 2006»
15 years 8 months ago
Image Searching and Browsing by Active Aspect-Based Relevance Learning
Aspect-based relevance learning is a relevance feedback scheme based on a natural model of relevance in terms of image aspects. In this paper we propose a number of active learning...
Mark J. Huiskes
PARA
2000
Springer
15 years 8 months ago
GRISK: An Internet Based Search for K-Optimal Lattice Rules
Abstract. This paper describe the implementation and underlying philosophie of a large scale distributed computation of K-optimal lattice rules. The computation is huge correspondi...
Tor Sørevik, Jan Frode Myklebust
127
Voted
AMDO
2008
Springer
15 years 6 months ago
Autonomous Virtual Agents for Performance Evaluation of Tracking Algorithms
This paper describes a framework which exploits the use of computer animation to evaluate the performance of tracking algorithms. This can be achieved in two different, complementa...
Pau Baiget, F. Xavier Roca, Jordi Gonzàlez