3818 search results - page 106 / 764 » Learning from Order Examples |
WRLA
2010
13 years 9 months ago
2010
For a rewrite theory to be executable, its equations E should be (ground) confluent and terminating modulo the given axioms A, and their rules should be (ground) coherent with E m...
SIGGRAPH
2010
ACM
14 years 3 months ago
2010
ACM
We present a method for inferring the behavior styles of character controllers from a small set of examples. We show that a rich set of behavior variations can be captured by dete...
AWIC
2005
Springer
14 years 4 months ago
2005
Springer
This paper presents an approach for applying inductive logic programming to information extraction from HTML documents structured as unranked ordered trees. We consider information...
NIPS
2008
14 years 17 days ago
2008
We investigate a topic at the interface of machine learning and cognitive science. Human active learning, where learners can actively query the world for information, is contraste...
EUROSYS
2006
ACM
14 years 8 months ago
2006
ACM
In stand-alone databases, the two functions of ordering the transaction commits and making the effects of transactions durable are generally performed in one action, namely in the...