145 search results - page 4 / 29 » A Benchmark Diagnostic Model Generation System |
116
click to vote
PVLDB
2008
15 years 2 months ago
2008
A fundamental problem in information integration is to precisely specify the relationships, called mappings, between schemas. Designing mappings is a time-consuming process. To al...
110
Voted
AIED
2009
Springer
15 years 10 months ago
2009
Springer
Generative and evaluative approaches are two different ways of diagnosing students’ input that have been realized in a number of intelligent tutoring systems. We describe how Ac...
140
click to vote
SEMWEB
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We present a method for rapid development of benchmarks for Semantic Web knowledge base systems. At the core, we have a synthetic data generation approach for OWL that is...
127
click to vote
KBSE
1999
IEEE
15 years 7 months ago
1999
IEEE
This paper describes the application of advanced formal modelling techniques and tools from the CADP toolset to the verification of CFS, a distributed file system kernel. After a ...
106
click to vote
SIGOPSE
2004
ACM
15 years 8 months ago
2004
ACM
Configuration is the process whereby components are assembled or adjusted to produce a functional system that operates at a specified level of performance. Today, the complexity o...