Sciweavers

10289 search results - page 351 / 2058
» Standard bases in K
Sort
View
ECAI
2004
Springer
15 years 10 months ago
Instance-Based Prediction with Guaranteed Confidence
Instance-based learning (IBL) algorithms have proved to be successful in many applications. However, as opposed to standard statistical methods, a prediction in IBL is usually give...
Eyke Hüllermeier
GECCO
2000
Springer
158views Optimization» more  GECCO 2000»
15 years 10 months ago
Grammar based function definition in Grammatical Evolution
We describe the use of grammars as an approach to automatic function definition in Grammatical Evolution. The automatic generation of functions allows the evolution of both the fu...
Michael O'Neill, Conor Ryan
189
Voted
ACCV
2009
Springer
15 years 10 months ago
Head Pose Estimation Based on Manifold Embedding and Distance Metric Learning
In this paper, we propose an embedding method to seek an optimal low-dimensional manifold describing the intrinsical pose variations and to provide an identity-independent head pos...
Xiangyang Liu, Hongtao Lu, Daqiang Zhang
ASM
2010
ASM
15 years 10 months ago
A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking
Symmetry reduction is a model checking technique that can help alleviate the problem of state space explosion, by preventing redundant state space exploration. In previous work, we...
Edd Turner, Michael J. Butler, Michael Leuschel
FLAIRS
2007
15 years 9 months ago
Search Ordering Heuristics for Restarts-Based Constraint Solving
Constraint Satisfaction Problems are ubiquitous in Artificial Intelligence. Over the past decade significant advances have been made in terms of the size of problem instance tha...
Margarita Razgon, Barry O'Sullivan, Gregory M. Pro...