2045 search results - page 133 / 409 » Learning programming with Erlang |
CAV
2011
Springer
12 years 11 months ago
2011
Springer
Abstract. BAP is a publicly available infrastructure for performing program verification and analysis tasks on binary (i.e., executable) code. In this paper, we describe BAP as we...
ICML
2007
IEEE
14 years 8 months ago
2007
IEEE
In many applications it is desirable to learn from several kernels. "Multiple kernel learning" (MKL) allows the practitioner to optimize over linear combinations of kern...
ICANN
1997
Springer
14 years 6 days ago
1997
Springer
We use simulated soccer to study multiagent learning. Each team's players (agents) share action set and policy but may behave differently due to position-dependent inputs. All...
ETS
2002
IEEE
13 years 7 months ago
2002
IEEE
Educational theorists have long associated distance education with self-study. In recent years, however, increasingly advanced technologies have made it possible to conduct distan...
CONSTRAINTS
1998
13 years 7 months ago
1998
This paper describes an architecture that begins with enough general knowledge to play any board game as a novice, and then shifts its decision-making emphasis to learned, game-sp...