2263 search results - page 120 / 453 » The Use of Functional and Logic Languages in Machine Learnin... |
116
click to vote
EXTREME
2004
ACM
15 years 7 months ago
2004
ACM
The World Wide Web Consortium recommends both XSLT and XQuery as query languages for XML documents. XSLT, originally designed to transform XML into XSL-FO, is nowadays a fully gro...
123
click to vote
ROBOCUP
2000
Springer
15 years 5 months ago
2000
Springer
Building agents for a scenario such as the RoboCup simulation league requires not only methodologies for implementing high-level complex behavior, but also the careful and efficien...
106
click to vote
CADE
2008
Springer
16 years 1 months ago
2008
Springer
This paper describes a system combining model-based and learning-based methods for automated reasoning in large theories, i.e. on a large number of problems that use many axioms, l...
102
click to vote
SIGSOFT
2010
ACM
14 years 8 months ago
2010
ACM
We argue that lightweight, language-based verification is poised to enter mainstream industrial use, where it will have a major impact on software quality and reliability. We expl...
121
click to vote
ICFP
2006
ACM
16 years 1 months ago
2006
ACM
We present a unifying solution to the problem of fusion of functions, where both the producer function and the consumer function have one accumulating parameter. The key idea in t...