21094 search results - page 348 / 4219 » An experiment using DLV-K |
190
click to vote
AIED
2005
Springer
16 years 11 days ago
2005
Springer
An important but often neglected aspect in Computer Supported Collaborative Learning is the intelligent formation of learning groups. Until recently, support for group formation wa...
196
click to vote
EMSOFT
2005
Springer
16 years 8 days ago
2005
Springer
UPPAAL-TRON is a new tool for model based online black-box conformance testing of real-time embedded systems specified as timed automata. In this paper we present our experiences...
207
click to vote
ICA
2004
Springer
16 years 6 days ago
2004
Springer
In this paper, we consider independence property between a random process and its first derivative. Then, for linear mixtures, we show that cross-correlations between mixtures and...
203
click to vote
ISNN
2004
Springer
16 years 5 days ago
2004
Springer
This paper proposes a novel hierarchical clustering method that can classify given data without specified knowledge of the number of classes. In this method, at each node of a hie...
162
click to vote
ICSM
2003
IEEE
16 years 3 days ago
2003
IEEE
The conceptual structure of existing software systems is often implicit or non-existing in the source code. We prolightweight abstraction of intentional source-code views as a mea...