7960 search results - page 594 / 1592 » Systems for Knowledge and Beliefs |
179
click to vote
EDBT
2009
ACM
16 years 2 months ago
2009
ACM
—In this paper, we introduce NNexus, a generalization of the automatic linking engine of Noosphere (at PlanetMath.org) and the first system that automates the process of linking...
206
click to vote
AIME
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Decision support systems based on computerized Clinical Protocols (CP) and Clinical Practice Guidelines (CPG) fall short when dealing with patient co-morbidites, as this ...
171
click to vote
ICCS
2009
Springer
16 years 1 months ago
2009
Springer
This paper is an extended abstract of the talk given at ICCS’09. Rules have long been considered as an essential component of knowledge-based systems. We focus here on conceptual...
162
click to vote
ISCAS
2007
IEEE
16 years 1 months ago
2007
IEEE
— Reconfigurable computing (RC) systems, coupling general purpose processor with reconfigurable components, offer a lot of advantages. Nevertheless, currently a designer needs ...
185
click to vote
DIS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We discuss what constitutes knowledge in pure mathematics and how new advances are made and communicated. We describe the impact of computer algebra systems, automated th...