892 search results - page 114 / 179 » integration 2002 |
JMLR
2002
13 years 8 months ago
2002
In this paper, we discuss round robin classification (aka pairwise classification), a technique for handling multi-class problems with binary classifiers by learning one classifie...
BIOINFORMATICS
2002
13 years 8 months ago
2002
Motivation: There has been considerable interest in developing computational techniques for inferring genetic regulatory networks from whole-genome expression profiles. When expre...
HICSS
2003
IEEE
14 years 2 months ago
2003
IEEE
Our Distributed Telecommunication Management System (DTMS) uses an object-oriented model to describe the networked Voice Communication System (VCS) to be managed. In order to allo...
ISWC
2002
IEEE
14 years 1 months ago
2002
IEEE
We describe the system design of “Smart Kindergarten”, a smart problem solving environment for early childhood education. Two crucial building blocks that make up Smart Kinder...
CADE
2002
Springer
14 years 9 months ago
2002
Springer
Abstract. We investigate the combination of propositional SAT checkers with domain-specific theorem provers as a foundation for bounded model checking over infinite domains. Given ...