20066 search results - page 3714 / 4014 » T Spaces |
188
click to vote
ECAI
2004
Springer
16 years 4 days ago
2004
Springer
Attempts to use finite models to guide the search for proofs by resolution and the like in first order logic all suffer from the need to trade off the expense of generating and m...
161
click to vote
ECML
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. We investigate the problem of using function approximation in reinforcement learning where the agent’s policy is represented as a classifier mapping states to actions....
183
click to vote
EKAW
2004
Springer
16 years 4 days ago
2004
Springer
For more than a decade, ontologies have been proposed as a means to enable sharing and reuse of knowledge. While originally relatively narrow information landscapes have been in mi...
226
click to vote
GECCO
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. The need for effective testing techniques for architectural level descriptions is widely recognised. However, due to the variety of domain-specific architectural descript...
186
click to vote
ICA
2004
Springer
16 years 4 days ago
2004
Springer
The acoustic environment poses at least two important challenges. First, animals must localise sound sources using a variety of binaural and monaural cues; and second they must sep...