Sciweavers

6155 search results - page 10 / 1231
» A language for multiple models of computation
Sort
View
94
Voted
VL
2005
IEEE
105views Visual Languages» more  VL 2005»
15 years 3 months ago
A Formal Approach to the Generation of Visual Language Environments Supporting Multiple Views
In this paper we present a formal approach, based on meta-modelling and graph transformation, to the generation of environments for visual languages (VLs) supporting multiple view...
Esther Guerra, Paloma Díaz, Juan de Lara
POPL
2008
ACM
15 years 10 months ago
Imperative self-adjusting computation
Self-adjusting computation enables writing programs that can automatically and efficiently respond to changes to their data (e.g., inputs). The idea behind the approach is to stor...
Umut A. Acar, Amal Ahmed, Matthias Blume
65
Voted
ESOP
2008
Springer
14 years 11 months ago
The Conversation Calculus: A Model of Service-Oriented Computation
Hugo Torres Vieira, Luís Caires, Joã...
ACL
2012
13 years 1 days ago
Character-Level Machine Translation Evaluation for Languages with Ambiguous Word Boundaries
In this work, we introduce the TESLACELAB metric (Translation Evaluation of Sentences with Linear-programming-based Analysis – Character-level Evaluation for Languages with Ambi...
Chang Liu, Hwee Tou Ng
DLT
2009
14 years 7 months ago
The Pumping Lemma for Well-Nested Multiple Context-Free Languages
Seki et al. (1991) proved a rather weak pumping lemma for multiple context-free languages, which says that any infinite m-multiple context-free language contains a string that is p...
Makoto Kanazawa