Sciweavers

11561 search results - page 175 / 2313
» A Language for Biochemical Systems
Sort
View
POPL
1998
ACM
15 years 10 months ago
Secure Information Flow in a Multi-Threaded Imperative Language
Previously, we developed a type system to ensure secure information flow in a sequential, imperative programming language [VSI96]. Program variables are classified as either hig...
Geoffrey Smith, Dennis M. Volpano
WWW
2006
ACM
16 years 3 days ago
ASDL: a wide spectrum language for designing web services
A Service oriented system emerges from composition of services. Dynamically composed reactive Web services form a special class of service oriented system, where the delays associ...
Monika Solanki, Antonio Cau, Hussein Zedan
AIEDU
2008
112views more  AIEDU 2008»
15 years 4 months ago
Be Brief, And They Shall Learn: Generating Concise Language Feedback for a Computer Tutor
To investigate whether more concise Natural Language feedback improves learning, we developed two Natural Language generators (DIAG-NLP1 and DIAG-NLP2), to provide feedback in an I...
Barbara Di Eugenio, Davide Fossati, Susan M. Halle...
NAACL
2010
15 years 4 months ago
Everybody loves a rich cousin: An empirical study of transliteration through bridge languages
Most state of the art approaches for machine transliteration are data driven and require significant parallel names corpora between languages. As a result, developing transliterat...
Mitesh M. Khapra, A. Kumaran, Pushpak Bhattacharyy...
EMNLP
2009
15 years 4 months ago
Using the Web for Language Independent Spellchecking and Autocorrection
We have designed, implemented and evaluated an end-to-end system spellchecking and autocorrection system that does not require any manually annotated training data. The World Wide...
Casey Whitelaw, Ben Hutchinson, Grace Chung, Ged E...