1641 search results - page 189 / 329 » Termination Analysis with Algorithmic Learning |
115
Voted
ICA
2010
Springer
15 years 1 months ago
2010
Springer
Independent Component Analysis is the best known method for solving blind source separation problems. In general, the number of sources must be known in advance. In many cases, pre...
IJCNN
2007
IEEE
15 years 6 months ago
2007
IEEE
— Solvers for the Boolean satisfiability problem are an important base technology for many applications. The most efficient SAT solvers for industrial applications are based on...
111
click to vote
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Learning structured representations has emerged as an important problem in many domains, including document and Web data mining, bioinformatics, and image analysis. One approach t...
96
Voted
FLAIRS
1998
15 years 1 months ago
1998
Reinforcement learning (RL) problems constitute an important class of learning and control problems faced by artificial intelligence systems. In these problems, one is faced with ...
115
click to vote
CORR
2011
Springer
14 years 4 months ago
2011
Springer
For large, real-world inductive learning problems, the number of training examples often must be limited due to the costs associated with procuring, preparing, and storing the tra...