Sciweavers

5227 search results - page 363 / 1046
» Constructing New Media
Sort
View
TSMC
2002
95views more  TSMC 2002»
15 years 7 months ago
On the development of a cooperative tutoring environment on computer networks
Abstract--In developing a tutoring system, one of the most difficult tasks is to collect tutoring knowledge from multiple educators, especially courses in which the contents change...
Gwo-Jen Hwang
WWW
2002
ACM
15 years 7 months ago
A Query Language for XML Based on Graph Grammars
In this paper we present a graphical query language for XML. The language, based on a simple form of graph grammars, permits us to extract data and reorganize information in a new...
Sergio Flesca, Filippo Furfaro, Sergio Greco
JGT
2010
103views more  JGT 2010»
15 years 6 months ago
Proof of a conjecture on fractional Ramsey numbers
: Jacobson, Levin, and Scheinerman introduced the fractional Ramsey function rf (a1,a2, ...,ak) as an extension of the classical definition for Ramsey numbers. They determined an e...
Jason Brown, Richard Hoshino
SPIN
2010
Springer
15 years 6 months ago
Nevertrace Claims for Model Checking
In this paper, we propose the nevertrace claim, which is a new construct for specifying the correctness properties that either finite or infinite execution traces (i.e., sequence...
Zhe Chen, Gilles Motet
VSGAMES
2010
139views Game Theory» more  VSGAMES 2010»
15 years 6 months ago
Attentional Cueing in Serious Games
—Games, and serious games especially, revolve around learning new material and integrating this into a mental model. However, playing games can be cognitively demanding and novic...
Erik D. Van der Spek, Herre van Oostendorp, Pieter...