5109 search results - page 272 / 1022 » On Learning Limiting Programs |
177
click to vote
ICALT
2006
IEEE
16 years 22 days ago
2006
IEEE
LIMBS is an open source brokerage system developed in the framework of the CALIBRATE project. LIMBS relies on open standards and open contents to promote exchanges of learning res...
175
click to vote
WACV
2005
IEEE
16 years 8 days ago
2005
IEEE
A number of recent systems for unsupervised featurebased learning of object models take advantage of cooccurrence: broadly, they search for clusters of discriminative features tha...
220
click to vote
ECML
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We present a new reinforcement learning approach for deterministic continuous control problems in environments with unknown, arbitrary reward functions. The difficulty of...
165
click to vote
EXACT
2007
15 years 9 months ago
2007
Given a model and a property expressed in temporal logic, a model checker normally produces a counterexample in case the model does not satisfy the property. This counterexample i...
179
click to vote
NSDI
2008
15 years 9 months ago
2008
Using statistical machine learning for making security decisions introduces new vulnerabilities in large scale systems. This paper shows how an adversary can exploit statistical m...