963 search results - page 161 / 193 » $M$-Solid Varieties of Languages |
AIRS
2010
Springer
13 years 6 months ago
2010
Springer
Machine learning algorithms in various forms are now increasingly being used on a variety of portable devices, starting from cell phones to PDAs. They often form a part of standard...
CIDU
2010
13 years 6 months ago
2010
Given any collection of data cells in a data space X, consider the problem of finding the optimal partition of the data cells into blocks which are unions of cells. The algorithms...
AI
2011
Springer
13 years 3 months ago
2011
Springer
Abstract McCarthy’s Situation Calculus is arguably the oldest special-purpose knowledge representation formalism, designed to axiomatize knowledge of actions and their effects. ...
COGSR
2011
13 years 3 months ago
2011
We present an application of the analytical inductive programming system Igor to learning sets of recursive rules from positive experience. We propose that this approach can be us...
SIGMOD
2011
ACM
12 years 11 months ago
2011
ACM
We demonstrate NetTrails, a declarative platform for maintaining and interactively querying network provenance in a distributed system. Network provenance describes the history an...