Influences of Software Design on Formal Reasoning (2007)
Aczel Fung Bornat, J. C. Aczel, P. Fung, R. Bornat, Queen Mary, M. Oliver, ...
g the learning of formal reasoning for software development. The program Jape ("Just Another Proof Editor") allows interactive, step-by-step construction of proofs for a variety of logics...
Automatic generation of pronunciation lexicons for Mandarin spontaneous speech (2001)
W. Byrne, V. Venkataramani, T. Kamm, Zheng F, Song Z, P. Fung, ...
Pronunciation modeling for large vocabulary speech recognition attempts to improve recognition accuracy by identifying and modeling pronunciations that are not in the ASR systems pronunciation...
Automatic generation of pronunciation lexicons for Mandarin spontaneous speech (2001)
W. Byrne, V. Venkataramani, T. Kamm, T. F. Zheng, Z. Song, P. Fung, ...
Pronunciation modeling for large vocabulary speech recognition attempts to improve recognition accuracy by identifying and modeling pronunciations that are not in the ASR systems pronunciation...
Using computers to learn logic: undergraduates' experiences (1999)
Aczel, James, Fung, P., Bornat, Richard, Oliver, Martin, O'Shea, Tim, Sufrin, Bernard
Learning formal logic can be difficult for many students. This paper describes some ongoing research into a computer program designed to help computer science undergraduates learn the natural...
Using computers to learn logic: undergraduates' experiences (1999)
Aczel, James, Fung, P., Bornat, Richard, Oliver, Martin, O'Shea, Tim, Sufrin, Bernard
Learning formal logic can be difficult for many students. This paper describes some ongoing research into a computer program designed to help computer science undergraduates learn the natural...
Computer Science Undergraduates Learning Logic Using a Proof Editor (1999)
J. C. Aczel, P. Fung, R. Bornat, M. Oliver, B. Sufrin
Computer science undergraduates can experience certain difficulties in employing formal reasoning methods (Fung & O’Shea, 1992; Fung et al, 1993; 1996). Although the role of