1196 search results - page 61 / 240 » Using Machine Learning Techniques to Combine Forecasting Met... |
158
Voted
CADE
2008
Springer
16 years 6 months ago
2008
Springer
This paper describes a system combining model-based and learning-based methods for automated reasoning in large theories, i.e. on a large number of problems that use many axioms, l...
124
click to vote
ECML
2007
Springer
16 years 9 days ago
2007
Springer
In this article, we present an idea for solving deterministic partially observable markov decision processes (POMDPs) based on a history space containing sequences of past observat...
166
click to vote
ICCV
2009
IEEE
16 years 11 months ago
2009
IEEE
A key ingredient in the design of visual object classification
systems is the identification of relevant class specific
aspects while being robust to intra-class variations. Whil...
171
Voted
AIPS
2003
15 years 7 months ago
2003
This paper presents a novel idea, which combines Planning, Machine Learning and Knowledge-Based techniques. It is concerned with the development of an adaptive planning system tha...
284
click to vote
FMCAD
1998
Springer
15 years 10 months ago
1998
Springer
We present a new approach to the verification of hardware systems with data dependencies using temporal logic symbolic model checking. As a benchmark we take Tomasulo's algori...