3412 search results - page 542 / 683 » Efficient Reinforcement Learning |
162
click to vote
HVC
2005
Springer
15 years 12 months ago
2005
Springer
We present several algorithms for simultaneous SAT (propositional satisfiability) based model checking of safety properties. More precisely, we focus on Bounded Model Checking and ...
154
click to vote
VRST
2004
ACM
15 years 11 months ago
2004
ACM
It is an interesting challenge to design input devices that are easy to learn and use and that allow a wide range of differentiated input. We have developed a novel joystick-like ...
150
click to vote
ISMIR
2004
Springer
15 years 11 months ago
2004
Springer
Annotating music poses a cognitive load on listeners and this potentially interferes with the emotions being reported. One solution is to let software agents learn to make the ann...
183
click to vote
ICML
2003
IEEE
15 years 11 months ago
2003
IEEE
Feature selection methods have been successfully applied to text categorization but seldom applied to text clustering due to the unavailability of class label information. In this...
179
click to vote
FGR
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper proposes a state based approach to gesture learning and recognition. Using spatial clustering and temporal alignment, each gesture is defined to be an ordered sequence ...