Sciweavers

2838 search results - page 527 / 568
» Interactions in Online Education
Sort
View
JIIS
2008
104views more  JIIS 2008»
14 years 11 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
JMM2
2006
99views more  JMM2 2006»
14 years 11 months ago
Spontaneous Emotional Facial Expression Detection
Change in a speaker's emotion is a fundamental component in human communication. Automatic recognition of spontaneous emotion would significantly impact human-computer interac...
Zhihong Zeng, Yun Fu, Glenn I. Roisman, Zhen Wen, ...
NAR
2006
75views more  NAR 2006»
14 years 11 months ago
DrugBank: a comprehensive resource for in silico drug discovery and exploration
DrugBank is a unique bioinformatics/cheminformatics resource that combines detailed drug (i.e. chemical)data withcomprehensive drug target (i.e.protein) information. The database ...
David S. Wishart, Craig Knox, Anchi Guo, Savita Sh...
IIE
2007
154views more  IIE 2007»
14 years 11 months ago
Computer Aided Modelling Exercises
This paper describes a didactical Computer Aided Software Engineering (CASE)-tool that was developed for use within the context of a course in object-oriented domain modelling. In...
Monique Snoeck, Raf Haesen, Herman Buelens, Manu D...
IJVR
2007
110views more  IJVR 2007»
14 years 11 months ago
A Decade of Research and Development in Disability, Virtual Reality and Associated Technologies: Review of ICDVRAT 1996-2006
—The International Conference (series) on Disability, Virtual Reality and Associated Technologies (ICDVRAT) this year held its sixth biennial conference, celebrating ten years of...
S. V. G. Cobb, Paul M. Sharkey