Sciweavers

3885 search results - page 167 / 777
» Clarifying Goal Models
Sort
View
116
Voted
LREC
2008
112views Education» more  LREC 2008»
15 years 6 months ago
Lexicon Schemas and Related Data Models: when Standards Meet Users
Lexicon schemas and their use are discussed in this paper from the perspective of lexicographers and field linguists. A variety of lexicon schemas have been developed, with goals ...
Thorsten Trippel, Michael Maxwell, Greville Corbet...
143
Voted
PST
2008
15 years 6 months ago
Model-Checking for Software Vulnerabilities Detection with Multi-Language Support
In this paper we develop a security verification framework for open source software with a multi-language support. We base our approach on the GCC compiler which is considered as ...
Rachid Hadjidj, Xiaochun Yang, Syrine Tlili, Moura...
FLAIRS
2006
15 years 6 months ago
Toward a Computational Model of Expert Tutoring: A First Report
We are exploring the differences between expert and less expert tutors with two goals: cognitive (what does tutoring tell us about learning) and applied (which features of tutorin...
Barbara Di Eugenio, Trina C. Kershaw, Xin Lu, Andr...
ACL
1993
15 years 5 months ago
A Speech-First Model for Repair Detection and Correction
Interpreting fully natural speech is an important goal for spoken language understanding systems. However, while corpus studies have shown that about 10% of spontaneous utterances...
Christine H. Nakatani, Julia Hirschberg
MASCOTS
1993
15 years 5 months ago
Simulation Modeling of Weak-Consistency Protocols
: Weak-consistency replication protocols can be used to build wide-area services that are scalable, fault-tolerant, and useful for mobile computer systems. We have evaluated the ti...
Richard A. Golding, Darrell D. E. Long