1188 search results - page 186 / 238 » States of Knowledge |
DATAMINE
2002
15 years 12 days 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...
103
Voted
CORR
1998
Springer
15 years 8 days ago
1998
Springer
We address the issues of semantics and conversations for agent communication languages and the Knowledge Query Manipulation Language (KQML) in particular. Based on ideas from spee...
107
click to vote
AUTOMATICA
1999
15 years 8 days ago
1999
This paper proposes a framework for modeling and controlling systems described by interdependent physical laws, logic rules, and operating constraints, denoted as mixed logical dy...
135
click to vote
ISB
2002
15 years 8 days ago
2002
ABSTRACT: Biochemical reactions form large and complex networks. Comprehensible visual representations of these networks help biochemists understand the relationships between the c...
73
Voted
JAR
2002
15 years 8 days ago
2002
Abstract. This paper reports on the Mizar formalization of the theory of continuous lattices as presented in A Compendium of Continuous Lattices, [25]. By the Mizar formalization w...