5109 search results - page 664 / 1022 » On Learning Limiting Programs |
158
click to vote
ICALP
2005
Springer
15 years 12 months ago
2005
Springer
Abstract: The quantum adversary method is one of the most versatile lower-bound methods for quantum algorithms. We show that all known variants of this method are equivalent: spect...
143
click to vote
LPAR
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Earlier we introduced Constraint Lambda Calculi which integrate constraint solving with functional programming for the simple case where the constraint solver produces no...
159
click to vote
OOPSLA
2005
Springer
15 years 12 months ago
2005
Springer
Grammatical inference (or grammar inference) has been applied to various problems in areas such as computational biology, and speech and pattern recognition but its application to...
170
click to vote
PKDD
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Several new miners for frequent subgraphs have been published recently. Whereas new approaches are presented in detail, the quantitative evaluations are often of limited ...
153
click to vote
WRAC
2005
Springer
15 years 12 months ago
2005
Springer
A classic autonomous robot is an autonomous agent for open, unpredictable environments. Such an agent is inherently autonomous but not independent. Independence implies unpredictab...