1127 search results - page 205 / 226 » Theory Extension in ACL2(r) |
114
click to vote
AI
2007
Springer
15 years 22 days ago
2007
Springer
We present a novel approach to machine learning, called ABML (argumentation based ML). This approach combines machine learning from examples with concepts from the field of argum...
APAL
2008
15 years 22 days ago
2008
We study Dedekind cuts on ordered Abelian groups. We introduce a monoid structure on them, and we characterise, via a suitable representation theorem, the universal part of the th...
133
Voted
CORR
2008
Springer
15 years 20 days ago
2008
Springer
We present several new characterizations of correlated equilibria in games with continuous utility functions. These have the advantage of being more computationally and analytical...
123
Voted
DEBU
2008
15 years 20 days ago
2008
Social media are constructed from the collective contributions of potentially millions of individuals and present an increasingly common and large scale form of database. As these...
115
click to vote
IJBC
2008
15 years 18 days ago
2008
The localization of critical parameter sets called bifurcations is often a central task of the analysis of a nonlinear dynamical system. Bifurcations of codimension 1 that can be ...