In this paper, we describe the design steps of extending LAOS, a five-layer framework for generic adaptive web learning authoring, by adding a social layer to capture (and adapt) i...
Abstract. Based on the plethora of proposals and standards for logic- and rulebased reasoning for the Semantic Web (SW), a key factor for the success of SW agents is interoperabili...
Kalliopi Kravari, Efstratios Kontopoulos, Nick Bas...
Abstract. Interactive multi-touch tables can be a powerful means of communication for collaborative work as well as an engaging environment for competition. Through enticing gamepl...
Wim Fikkert, Michiel Hakvoort, Paul E. van der Vet...
The computation of triangular decompositions involves two fundamental operations: polynomial GCDs modulo regular chains and regularity test modulo saturated ideals. We propose new...
Cylindrical algebraic decomposition is one of the most important tools for computing with semi-algebraic sets, while triangular decomposition is among the most important approache...
Changbo Chen, Marc Moreno Maza, Bican Xia, Lu Yang