182 search results - page 21 / 37 » mc 2001 |
SEMWEB
2001
Springer
14 years 1 months ago
2001
Springer
One vision of the “Semantic Web” of the future is that software agents will interact with each other using formal metadata that reveal their interfaces. We examine one plausibl...
EUROGP
2001
Springer
14 years 1 months ago
2001
Springer
In this paper, firstly we specialise the exact GP schema theorem for one-point crossover to the case of linear structures of variable length, for example binary strings or program...
ICML
2001
IEEE
14 years 9 months ago
2001
IEEE
We present conditional random fields, a framework for building probabilistic models to segment and label sequence data. Conditional random fields offer several advantages over hid...
LPAR
2001
Springer
14 years 1 months ago
2001
Springer
The EPGY Theorem-Proving Environment is designed to help students write ordinary mathematical proofs. The system, used in a selection of computer-based proof-intensive mathematics ...
ICML
2001
IEEE
14 years 9 months ago
2001
IEEE
This paper presents an active learning method that directly optimizes expected future error. This is in contrast to many other popular techniques that instead aim to reduce versio...