1013 search results - page 142 / 203 » Representational Issues in Meta-Learning |
LFCS
2009
Springer
14 years 5 months ago
2009
Springer
This work defines an extension CERES2 of the first-order cut-elimination method CERES to the subclass of sequent calculus proofs in second-order logic using quantifier-free comp...
KCAP
2009
ACM
14 years 5 months ago
2009
ACM
Workflows are becoming an increasingly more common paradigm to manage scientific analyses. As workflow repositories start to emerge, workflow retrieval and discovery becomes a cha...
ICDE
2008
IEEE
14 years 5 months ago
2008
IEEE
Abstract— With XML becoming a standard for data representation and exchange, we can expect to see large scale repositories and warehouses of XML data. In order for users to under...
ICDM
2008
IEEE
14 years 5 months ago
2008
IEEE
Event detection is a critical task in sensor networks, especially for environmental monitoring applications. Traditional solutions to event detection are based on analyzing one-sh...
ICRA
2008
IEEE
14 years 5 months ago
2008
IEEE
— This paper addresses the problem of laser scanner failure on mirrors and windows. Mirrors and glasses are quite common objects that appear in our daily lives. However, while la...