Sciweavers

5904 search results - page 785 / 1181
» Requirements for a Composition Language
Sort
View
AIED
2005
Springer
16 years 13 days ago
THESPIAN: An Architecture for Interactive Pedagogical Drama
Interactive drama is increasingly being used as a pedagogical tool in a wide variety of computer-based learning environments. However, the effort required to build interactive dram...
Mei Si, Stacy C. Marsella, David V. Pynadath
ESOP
2005
Springer
16 years 12 days ago
Analysis of an Electronic Voting Protocol in the Applied Pi Calculus
Electronic voting promises the possibility of a convenient, efficient and secure facility for recording and tallying votes in an election. Recently highlighted inadequacies of imp...
Steve Kremer, Mark Ryan
HPCC
2005
Springer
16 years 12 days ago
Factory: An Object-Oriented Parallel Programming Substrate for Deep Multiprocessors
Abstract. Recent advances in processor technology such as Simultaneous Multithreading (SMT) and Chip Multiprocessing (CMP) enable parallel processing on a single die. These process...
Scott Schneider, Christos D. Antonopoulos, Dimitri...
IJCNLP
2005
Springer
16 years 12 days ago
Acquiring Synonyms from Monolingual Comparable Texts
This paper presents a method for acquiring synonyms from monolingual comparable text (MCT). MCT denotes a set of monolingual texts whose contents are similar and can be obtained au...
Mitsuo Shimohata, Eiichiro Sumita
RE
2005
Springer
16 years 11 days ago
An Algebraic Framework for Merging Incomplete and Inconsistent Views
View merging, also called view integration, is a key problem in conceptual modeling. Large models are often constructed and accessed by manipulating individual views, but it is im...
Mehrdad Sabetzadeh, Steve M. Easterbrook