2073 search results - page 70 / 415 » Learning for Dynamic Subsumption |
105
Voted
AAAI
2007
15 years 4 months ago
2007
We present a novel approach to solving Quantified Boolean Formulas (QBF) that combines a search-based QBF solver with machine learning techniques. We show how classification met...
105
Voted
WCRE
2007
IEEE
15 years 8 months ago
2007
IEEE
Dynamic protocol recovery tries to recover a component’s sequencing constraints by means of dynamic analysis. This problem has been tackled by several automaton learning approac...
123
click to vote
ECIS
2004
15 years 3 months ago
2004
This article analyzes the impact of a computer simulation (business game) on the users' perceived learning. The theoretical model developed in this paper is derived from the ...
107
Voted
ICC
2007
IEEE
15 years 8 months ago
2007
IEEE
—We present a new algorithm for vertical handover and dynamic network selection, based on a combination of multiattribute utility theory, kernel learning and stochastic gradient ...
111
Voted
JAIR
2000
15 years 2 months ago
2000
This paper reviews the connections between Graphplan's planning-graph and the dynamic constraint satisfaction problem and motivates the need for adapting CSP search technique...