1021 search results - page 96 / 205 » Concepts in Proof Planning |
APBC
2003
13 years 10 months ago
2003
The development of high-throughput genome sequencing and protein structure determination techniques have provided researchers with a wealth of biological data. Integrated analysis...
MSV
2004
13 years 10 months ago
2004
The main research in the area of image databases addresses the improvement of retrieval quality and the speedup of the query processing. A number of image retrieval systems reache...
ISICT
2003
13 years 10 months ago
2003
This paper proposes a concept of how to collect toll on highways. Unlike any existing method, the proposed approach requires no structure to be built on highways for the toll coll...
BIRTHDAY
2010
Springer
13 years 10 months ago
2010
Springer
Stable models of logic programs have been studied by many researchers, mainly because of their role in the foundations of answer set programming. This is a review of some of the de...
ICML
2010
IEEE
13 years 10 months ago
2010
IEEE
This paper formalizes Feature Selection as a Reinforcement Learning problem, leading to a provably optimal though intractable selection policy. As a second contribution, this pape...