11030 search results - page 173 / 2206 » Generative Sound Models |
180
click to vote
LICS
2006
IEEE
16 years 12 days ago
2006
IEEE
We prove that the modal mu-calculus model-checking problem for (ranked and ordered) node-labelled trees that are generated by order-n recursion schemes (whether safe or not, and w...
166
click to vote
ML
2002
ACM
15 years 6 months ago
2002
ACM
Additive clustering was originally developed within cognitive psychology to enable the development of featural models of human mental representation. The representational flexibili...
164
click to vote
AUSAI
1999
Springer
15 years 10 months ago
1999
Springer
Model trees—decision trees with linear models at the leaf nodes—have recently emerged as an accurate method for numeric prediction that produces understandable models. However,...
173
click to vote
MVA
1990
15 years 7 months ago
1990
An autonomous mobile robot must be able to combine uncertain sensory information with prior knowledge of the world. Moreover, these operations have to be performed fast enough for...
191
click to vote
AAAI
1998
15 years 7 months ago
1998
One of the most important problems for an intelligent tutoring system is deciding how to respond when a student asks for help. Responding cooperatively requires an understanding o...