Sciweavers

1118 search results - page 69 / 224
» Creating Interactive Environments for Education
Sort
View
IADIS
2004
13 years 9 months ago
Collaborative Task and Communication Protocol Among Pedagogical Agents in Teaching Task
In recent years, there are many educational systems which incorporate the agents such as pedagogical agents and peer agents, as a means to realize the teaching, coaching and suppo...
Ryo Takaoka, Toshio Okamoto
ERCIMDL
2009
Springer
94views Education» more  ERCIMDL 2009»
14 years 2 months ago
A Visualization Technique for Quality Control of Massive Digitization Programs
Massive digitization programs need massive visualization techniques for quality control. We describe the functional prototype of a 3D interactive environment enabling a rapid inspe...
Rodrigo Andrade de Almeida, Pedro Alessio, Alexand...
JIIS
2008
104views more  JIIS 2008»
13 years 8 months ago
A framework for checking proofs naturally
We propose a natural framework, called NF, which supports development of formal proofs on a computer. NF is based on a theory of Judgments and Derivations. NF is designed by observ...
Masahiko Sato
SIGCSE
2005
ACM
156views Education» more  SIGCSE 2005»
14 years 1 months ago
Experiences teaching operating systems using virtual platforms and linux
Operating system courses teach students much more when they provide hands-on kernel-level project experience with a real operating system. However, enabling a large class of stude...
Jason Nieh, Chris Vaill
CASCON
2010
204views Education» more  CASCON 2010»
13 years 2 months ago
Effective collaboration and consistency management in business process modeling
ion and giving them a medium to express and implement change. One of the keys to achieve agility for creating business processes depends on close interaction between IT department ...
Moises Castelo Branco, Yingfei Xiong, Krzysztof Cz...