Sciweavers

1930 search results - page 17 / 386
» Learning to Solve QBF
Sort
View
AAAI
2012
11 years 10 months ago
Learning Behavior Models for Hybrid Timed Systems
A tailored model of a system is the prerequisite for various analysis tasks, such as anomaly detection, fault identification, or quality assurance. This paper deals with the algo...
Oliver Niggemann, Benno Stein, Asmir Vodencarevic,...
IJCNN
2006
IEEE
14 years 1 months ago
A Columnar Competitive Model with Simulated Annealing for Solving Combinatorial Optimization Problems
— One of the major drawbacks of the Hopfield network is that when it is applied to certain polytopes of combinatorial problems, such as the traveling salesman problem (TSP), the...
Eu Jin Teoh, Huajin Tang, Kay Chen Tan
ICML
2007
IEEE
14 years 8 months ago
Solving multiclass support vector machines with LaRank
Optimization algorithms for large margin multiclass recognizers are often too costly to handle ambitious problems with structured outputs and exponential numbers of classes. Optim...
Antoine Bordes, Jason Weston, Léon Bottou, ...
COGSR
2010
116views more  COGSR 2010»
13 years 2 months ago
On the cognitive process of human problem solving
act 11 One of the fundamental human cognitive processes is problem solving. As a higher-layer cognitive process, problem solving interacts many other cognitive processes such as ab...
Yingxu Wang, Vincent Chiew
AIEDU
2010
13 years 2 months ago
Scaffolding Meta-Cognitive Skills for Effective Analogical Problem Solving via Tailored Example Selection
Although worked-out examples play a key role in cognitive skill acquisition, research demonstrates that students have various levels of meta-cognitive abilities for using examples ...
Kasia Muldner, Cristina Conati