Sciweavers

1860 search results - page 293 / 372
» Structured Multimedia Authoring
Sort
View
AIED
2009
Springer
16 years 26 days ago
Looking Into Collaborative Learning: Design from Macro- and Micro-Script Perspectives
Design of collaborative learning (CL) scenarios is a complex task, but necessary if the goal of the collaboration is learning. Creating well-thought-out CL scenarios requires exper...
Eloy D. Villasclaras-Fernández, Seiji Isota...
WAW
2009
Springer
136views Algorithms» more  WAW 2009»
16 years 26 days ago
Permuting Web Graphs
Since the first investigations on web graph compression, it has been clear that the ordering of the nodes of the graph has a fundamental influence on the compression rate (usuall...
Paolo Boldi, Massimo Santini, Sebastiano Vigna
WIKIS
2009
ACM
16 years 23 days ago
3DWiki: the 3D Wiki engine
We demonstrate one of the potential paths of the evolution of wiki engines towards Web 3.0. We introduce 3dWiki - the 3D wiki engine, which was built according to 2-Layer Interfac...
Jacek Jankowski, Marek Jozwowicz, Yolanda Cobos, B...
TPHOL
2008
IEEE
16 years 19 days ago
A Type of Partial Recursive Functions
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
Ana Bove, Venanzio Capretta
DATE
2007
IEEE
114views Hardware» more  DATE 2007»
16 years 18 days ago
Performance aware secure code partitioning
Many embedded applications exist where decisions are made using sensitive information. A critical issue in such applications is to ensure that data is accessed only by authorized ...
Sri Hari Krishna Narayanan, Mahmut T. Kandemir, Ri...