4617 search results - page 828 / 924 » Automation of Diagrammatic Reasoning |
281
click to vote
ILP
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Many reinforcement learning domains are highly relational. While traditional temporal-difference methods can be applied to these domains, they are limited in their capaci...
192
click to vote
ILP
2007
Springer
16 years 29 days ago
2007
Springer
Bias/variance analysis is a useful tool for investigating the performance of machine learning algorithms. Conventional analysis decomposes loss into errors due to aspects of the le...
173
click to vote
ISVC
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Floating mines are a significant threat to the safety of ships in theatres of military or terrorist conflict. Automating mine detection is difficult, due to the unpredict...
212
click to vote
LOPSTR
2007
Springer
16 years 29 days ago
2007
Springer
CooML is an object-oriented modeling language where specifications are theories in a constructive logic designed to handle incomplete information. In this logic we view snapshots ...
210
click to vote
LOPSTR
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. It has often been observed that a point-free style of programvides a more abstract view on programs. We aim to use the gain in abstraction to obtain a denotational semant...