Sciweavers

291 search results - page 31 / 59
» A Web Application for Mathematics Education
Sort
View
HICSS
2006
IEEE
176views Biometrics» more  HICSS 2006»
14 years 1 months ago
Learning by Browsing: A Web-Based Multimedia Browsing System for Learning
Multimedia, especially video, is widely used in educational applications. More and more universities and corporations now provide videotaped lectures online for knowledge sharing ...
Ming Lin, Jinwei Cao, Christopher B. R. Diller, Ja...
IC
2000
13 years 9 months ago
Virtual Campus: A Web-Based Customized Learning Environment
Abstract Virtual Campus is an Internet application in education. It combines the advantages of both group and individual learning approaches based on advanced network technologies....
Ka-po Ma, Michael R. Lyn, Wing-Kay Kan
KDD
2009
ACM
185views Data Mining» more  KDD 2009»
14 years 8 months ago
On compressing social networks
Motivated by structural properties of the Web graph that support efficient data structures for in memory adjacency queries, we study the extent to which a large network can be com...
Flavio Chierichetti, Ravi Kumar, Silvio Lattanzi, ...
LPAR
2005
Springer
14 years 1 months ago
Automating Coherent Logic
We propose to build an automated reasoning system for first-order logic (FOL) by translating reasoning problems to a fragment of FOL called coherent logic (CL) and then solving t...
Marc Bezem, Thierry Coquand
CORR
2010
Springer
66views Education» more  CORR 2010»
13 years 8 months ago
Query strategy for sequential ontology debugging
Abstract. Debugging is an important prerequisite for the wide-spread application of ontologies, especially in areas that rely upon everyday users to create and maintain knowledge b...
Kostyantyn M. Shchekotykhin, Gerhard Friedrich