2004 search results - page 395 / 401 » Comparison of Model Checking Tools for Information Systems |
119
click to vote
ER
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Understanding a large schema without the assistance of persons already familiar with it (and its associated applications), is a hard and very time consuming task that occ...
106
click to vote
ERCIMDL
2001
Springer
15 years 4 months ago
2001
Springer
The cultural heritage domain dealing with digital surrogates of rare and fragile historic artifacts is one of the most promising areas for establishing collaboratories, i.e. shared...
ECTEL
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Good teachers know their students, and exploit this knowledge to adapt or optimise their instruction. Teachers know their students because they interact with them face-to...
118
click to vote
DAGSTUHL
2006
15 years 1 months ago
2006
An algorithm that discovers the themes, motives and other perceptually significant repeated patterns in a musical work can be used, for example, in a music information retrieval sy...
CHI
2004
ACM
16 years 1 days ago
2004
ACM
In this paper, we describe Common Sense Investing (CSI), an interactive investment tool that uses a knowledge base of common sense statements in conjunction with domain knowledge ...