24680 search results - page 4434 / 4936 » Learning |
118
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Modern solvers for Boolean Satisfiability (SAT) and Answer Set Programming (ASP) are based on sophisticated Boolean constraint solving techniques. In both areas, conflict-driven l...
115
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Cyclic coordinate descent is a classic optimization method that has witnessed a resurgence of interest in machine learning. Reasons for this include its simplicity, speed and stab...
141
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Weighted logic programming, a generalization of bottom-up logic programming, is a successful framework for specifying dynamic programming algorithms. In this setting, pro...
136
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Previous work has shown that robot navigation systems that employ an architecture based upon the idiotypic network theory of the immune system have an advantage over control techn...
161
click to vote
CONSTRAINTS
2008
15 years 4 months ago
2008
Bioinformatics aims at applying computer science methods to the wealth of data collected in a variety of experiments in life sciences (e.g. cell and molecular biology, biochemistry...