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...
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, ...
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...
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...
—The International Conference (series) on Disability, Virtual Reality and Associated Technologies (ICDVRAT) this year held its sixth biennial conference, celebrating ten years of...