Sciweavers

34 search results - page 5 / 7
» ml 1998
Sort
View
AAI
1998
101views more  AAI 1998»
13 years 7 months ago
Layered Approach to Learning Client Behaviors in the Robocup Soccer Server
In the past few years, Multiagent Systems (MAS) has emerged as an active subfield of Artificial Intelligence (AI). Because of the inherent complexity of MAS, there is much inter...
Peter Stone, Manuela M. Veloso
PLDI
1998
ACM
13 years 11 months ago
Units: Cool Modules for HOT Languages
A module system ought to enable assembly-line programming using separate compilation and an expressive linking language. Separate compilation allows programmers to develop parts o...
Matthew Flatt, Matthias Felleisen
CADE
1998
Springer
13 years 11 months ago
Automated Theorem Proving in a Simple Meta-Logic for LF
Abstract. Higher-order representation techniques allow elegant encodings of logics and programming languages in the logical framework LF, but unfortunately they are fundamentally i...
Carsten Schürmann, Frank Pfenning
POPL
1998
ACM
13 years 11 months ago
A Functional Representation of Data Structures with a Hole
Data structures with a hole, in other words data structures with an uninitialized field, are useful to write efficient programs: they enable us to construct functional data stru...
Yasuhiko Minamide
SSPR
1998
Springer
13 years 11 months ago
Modified Minimum Classification Error Learning and Its Application to Neural Networks
A novel method to improve the generalization performance of the Minimum Classification Error (MCE) / Generalized Probabilistic Descent (GPD) learning is proposed. The MCE/GPD learn...
Hiroshi Shimodaira, Jun Rokui, Mitsuru Nakai