3502 search results - page 640 / 701 » From Machine Learning to Machine Reasoning |
147
click to vote
CDC
2008
IEEE
15 years 1 months ago
2008
IEEE
Minimizing the rank of a matrix subject to constraints is a challenging problem that arises in many applications in control theory, machine learning, and discrete geometry. This c...
115
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Artificial immune systems, more specifically the negative selection algorithm, have previously been applied to intrusion detection. The aim of this research is to develop an intrus...
117
click to vote
CORR
2010
Springer
15 years 1 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...
109
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
ct Computer generated academic papers have been used to expose a lack of thorough human review at several computer science conferences. We assess the problem of classifying such do...
118
click to vote
ENTCS
2008
15 years 1 months ago
2008
Verification of multi-threaded C++ programs poses three major challenges: the large number of states, states with huge sizes, and time intensive expansions of states. This paper p...