Sciweavers

6343 search results - page 192 / 1269
» Development of a Cartographic Language
Sort
View
ICALP
2000
Springer
15 years 10 months ago
Reasoning about Idealized ALGOL Using Regular Languages
We explain how recent developments in game semantics can be applied to reasoning about equivalence of terms in a non-trivial fragment of Idealized Algol (IA) by expressing sets of ...
Dan R. Ghica, Guy McCusker
NAACL
2007
15 years 7 months ago
Automatic Assessment of Student Translations for Foreign Language Tutoring
This paper introduces the use of speech translation technology for a new type of voice-interactive Computer Aided Language Learning (CALL) application. We describe a computer game...
Chao Wang, Stephanie Seneff
SERP
2007
15 years 7 months ago
Using Constraints with Action Language for Model Evolution
- Since the advent of model driven software engineering (MDSE) it has become necessary to develop techniques and tools for model evolution. In this paper we examine two issues and ...
Shahid Alam, Samuel A. Ajila
COLING
2000
15 years 7 months ago
XMLTrans: a Java-based XML Transformation Language for Structured Data
The recently completed MLIS DicoPro project addressed the need for a uniform, platformindependent interface for accessing multiple dictionaries and other lexical resources via the...
Derek Walker, Dominique Petitpierre, Susan Armstro...
WEBNET
2000
15 years 7 months ago
MPML: A Multimodal Presentation Markup Language with Character Agent Control Functions
: As a new style of effective information presentations and a new multimodal information content production on the World Wide Web (WWW), multimodal presentation using interactive l...
Takayuki Tsutsui, Santi Saeyor, Mitsuru Ishizuka