Sciweavers

DIS
2001
Springer
15 years 9 months ago
Functional Trees
In the context of classification problems, algorithms that generate multivariate trees are able to explore multiple representation languages by using decision tests based on a com...
Joao Gama
154
Voted
GI
2001
Springer
15 years 9 months ago
Infrastructure for Pervasive Computing: Challenges
: As mobile and embedded computing devices become more pervasive, it is becoming obvious that the nature of interactions between users and computers must evolve. Applications need ...
Karen Henricksen, Jadwiga Indulska, Andry Rakotoni...
GI
2001
Springer
15 years 9 months ago
DOL: An Interoperable Document Server
We describe the design and experiences gained with the database- and web-based document server DOL, which we developed at the University of Leipzig (http://dol.uni-leipzig.de). Th...
Sergey Melnik, Erhard Rahm, Dieter Sosna
STACS
2001
Springer
15 years 9 months ago
Semantical Principles in the Modal Logic of Coalgebras
Coalgebras for a functor on the category of sets subsume many formulations of the notion of transition system, including labelled transition systems, Kripke models, Kripke frames a...
Dirk Pattinson
Theoretical Computer Science
Top of PageReset Settings