1816 search results - page 166 / 364 » Formal Concepts of Learning Systems Validation in Use |
160
click to vote
DSN
2004
IEEE
15 years 10 months ago
2004
IEEE
A result checker is a program that checks the output of the computation of the observed program for correctness. Introduced originally by Blum, the result checking paradigm has pr...
161
click to vote
CSB
2004
IEEE
15 years 10 months ago
2004
IEEE
Researchers, hindered by a lack of standard gene and protein-naming conventions, endure long, sometimes fruitless, literature searches. A system is described which is able to auto...
165
click to vote
TSMC
2008
15 years 6 months ago
2008
Multiagent systems are rapidly finding applications in a variety of domains, including robotics, distributed control, telecommunications, and economics. The complexity of many task...
183
click to vote
ANLP
1994
15 years 7 months ago
1994
We present the advantages of guided sentences composition for communicating in natural language with computers. We show how guidance can be achieved by means of the partial synthe...
174
click to vote
DATAMINE
2002
15 years 6 months ago
2002
We present an application of inductive concept learning and interactive visualization techniques to a large-scale commercial data mining project. This paper focuses on design and c...