Sciweavers

2944 search results - page 131 / 589
» On Well Quasi-orders on Languages
Sort
View
94
Voted
ICFP
2010
ACM
15 years 1 months ago
Matching lenses: alignment and view update
Bidirectional programming languages are a practical approach to the view update problem. Programs in these languages, called lenses, define both a view and an update policy--i.e.,...
Davi M. J. Barbosa, Julien Cretin, Nate Foster, Mi...
IMCSIT
2010
14 years 10 months ago
German subordinate clause word order in dialogue-based CALL.
We present a dialogue system for exercising the German subordinate clause word order. The pedagogical methodology we adopt is based on focused tasks: the targeted linguistic struct...
Magdalena Wolska, Sabrina Wilske
ECBS
2005
IEEE
58views Hardware» more  ECBS 2005»
15 years 6 months ago
MoDeII: Modeling and Analyzing Time-Constraints
The fulfillment of time requirements is one of the major acceptance criteria of safety-critical and real-time systems. They are dictated by the environment of these systems and a...
Jewgenij Botaschanjan, Jan Jürjens
114
Voted
ICFP
1997
ACM
15 years 5 months ago
Strongly Typed Flow-Directed Representation Transformations
d Abstract) Allyn Dimock Harvard University Robert Muller Boston College Franklyn Turbak Wellesley College J. B. Wells∗ Glasgow University Topic Areas: compilation, lambda calcul...
Allyn Dimock, Robert Muller, Franklyn A. Turbak, J...
COLING
2008
15 years 2 months ago
Modeling the Structure and Dynamics of the Consonant Inventories: A Complex Network Approach
We study the self-organization of the consonant inventories through a complex network approach. We observe that the distribution of occurrence as well as cooccurrence of the conso...
Animesh Mukherjee, Monojit Choudhury, Anupam Basu,...