381 search results - page 33 / 77 » Overview of WebCLEF 2006 |
ESANN
2006
13 years 9 months ago
2006
Information visualization and visual data mining leverage the human visual system to provide insight and understanding of unorganized data. In order to scale to massive sets of hig...
AIS
2006
Springer
13 years 7 months ago
2006
Springer
This paper provides an overview of creating games for change from within an academic context, focusing specifically on the development of educational computer games for middle scho...
AML
2006
13 years 7 months ago
2006
If the Visser rules are admissible for an intermediate logic, they form a basis for the admissible rules of the logic. How to characterize the admissible rules of intermediate log...
CORR
2006
Springer
13 years 7 months ago
2006
Springer
The decomposition theory of matroids initiated by Paul Seymour in the 1980's has had an enormous impact on research in matroid theory. This theory, when applied to matrices ov...
ENTCS
2006
13 years 7 months ago
2006
This paper gives an overview of recent results concerning the modular derivation of (i) modal specification logics, (ii) notions of simulation together with logical characterisati...