232 search results - page 33 / 47 » Active Learning in the Non-realizable Case |
STOC
1993
ACM
14 years 1 months ago
1993
ACM
Abstract. It is shown that high-order feedforward neural nets of constant depth with piecewisepolynomial activation functions and arbitrary real weights can be simulated for Boolea...
CP
2000
Springer
14 years 2 months ago
2000
Springer
The Constraint-Based Agent (CBA) framework is a set of tools for designing, simulating, building, verifying, optimizing, learning and debugging controllers for agents embedded in a...
ECSCW
2003
13 years 11 months ago
2003
‘Knowledge sharing’ and ‘learning’ are terms often connected with the ‘New office’, the “modern” open office space. Work in these settings becomes more and more dis...
FMSD
2008
13 years 10 months ago
2008
Abstract Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically base...
BC
2002
13 years 9 months ago
2002
Several formulations of correlation-based Hebbian learning are reviewed. On the presynaptic side, activity is described either by a firing rate or by presynaptic spike arrival. The...