5302 search results - page 87 / 1061 » Learning How to Separate |
141
click to vote
ECAL
1999
Springer
15 years 7 months ago
1999
Springer
How can we expect an A-life Agent to learn how to perform tasks when it is not told what those tasks are, and it is not provided any indication or feedback as to its performance? ...
116
click to vote
SAS
2009
Springer
16 years 4 months ago
2009
Springer
We show how, given a program and its separation logic proof, one can parallelize and optimize this program and transform its proof simultaneously to obtain a proven parallelized an...
109
click to vote
APLAS
2007
ACM
15 years 7 months ago
2007
ACM
The integration of functional and logic programming is a well developed field of research. We discuss that the integration could be improved significantly in two separate aspects: ...
110
Voted
AI
2007
Springer
15 years 3 months ago
2007
Springer
The area of learning in multi-agent systems is today one of the most fertile grounds for interaction between game theory and artificial intelligence. We focus on the foundational...
163
click to vote
ACL
2012
13 years 5 months ago
2012
We introduce a spectral learning algorithm for latent-variable PCFGs (Petrov et al., 2006). Under a separability (singular value) condition, we prove that the method provides cons...