Sciweavers

7960 search results - page 551 / 1592
» Systems for Knowledge and Beliefs
Sort
View
ECTEL
2009
Springer
15 years 12 months ago
The Conceptual and Architectural Design of a System Supporting Exploratory Learning of Mathematics Generalisation
Abstract. The MiGen project is designing and developing an intelligent, exploratory environment to support 11–14-year-old students in their learning of mathematical generalisatio...
Darren Pearce, Alexandra Poulovassilis
NLDB
2001
Springer
15 years 11 months ago
Lexical Enrichment of WordNet with Classification Systems Using Specification Marks Method
: This paper presents an automatic method and interface to enrich semantically WordNet with categories from general domain classification systems. The method is performed in two co...
Andrés Montoyo, Manuel Palomar, German Riga...
BTW
1999
Springer
129views Database» more  BTW 1999»
15 years 11 months ago
Dual Retrieval in Conceptual Information Systems
Conceptual Information Systems provide a multi-dimensional conceptually structured view on data stored in relational databases. On restricting the expressiveness of the retrieval l...
Gerd Stumme
ATC
2007
Springer
15 years 9 months ago
A Generic and Modular System Architecture for Trustworthy, Autonomous Applications
We propose a generic architecture to facilitate the systematic design of autonomous, adaptive and safe applications. We specify generic modules including a trustworthiness enforcem...
George Brancovici, Christian Müller-Schloer
DAIS
2007
15 years 8 months ago
Parallel State Transfer in Object Replication Systems
Abstract. Replication systems require a state-transfer mechanism in order to recover crashed replicas and to integrate new ones into replication groups. This paper presents and eva...
Rüdiger Kapitza, Thomas Zeman, Franz J. Hauck...