Sciweavers

218 search results - page 21 / 44
» Learning from Inconsistencies in an Integrated Cognitive Arc...
Sort
View
IFM
2004
Springer
125views Formal Methods» more  IFM 2004»
15 years 7 months ago
Formally Justifying User-Centred Design Rules: A Case Study on Post-completion Errors
Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...
Paul Curzon, Ann Blandford
FUNGAMES
2008
15 years 2 months ago
Developing an Adaptive Memory Game for Seniors
This paper describes the development of a game application for seniors to train their memory and learning abilities. From an initial co-discovery evaluation participants were found...
Elly Zwartkruis-Pelgrim, Boris E. R. de Ruyter
120
Voted
AIIA
2007
Springer
15 years 8 months ago
Harvesting Relational and Structured Knowledge for Ontology Building in the WPro Architecture
We present two algorithms for supporting semi-automatic ontology building, integrated in WPro, a new architecture for ontology learning from Web documents. The first algorithm auto...
Daniele Bagni, Marco Cappella, Maria Teresa Pazien...
COOPIS
1996
IEEE
15 years 6 months ago
A Methodology for Building a Data Warehouse in a Scientific Environment
Rational drug design is an example where integrated access to heterogeneous scientific data is urgently needed, as it becomes rapidly available due to new experimental and computa...
Karl Aberer, Klemens Hemm
116
Voted
GVD
2004
94views Database» more  GVD 2004»
15 years 3 months ago
MIWeb: Mediator-based Integration of Web Sources
MIWeb realizes a mediator-based integration of heterogeneous metadata sources over the Web. Mediators are well known from database integration. They improve the quality of search ...
Susanne Busse, Thomas Kabisch