Sciweavers

142 search results - page 16 / 29
» Basic Syntactic Mutation
Sort
View
COORDINATION
2008
Springer
13 years 10 months ago
How to Infer Finite Session Types in a Calculus of Services and Sessions
Abstract. The notion of session is fundamental in service oriented applications, as it separates interactions between different instances of the same service, and it groups togethe...
Leonardo Gaetano Mezzina
CSREAEEE
2008
199views Business» more  CSREAEEE 2008»
13 years 10 months ago
Progranimate - A Web Enabled Algorithmic Problem Solving Application
- This paper proposes the use of an interactive web based problem solving application that utilises flowchart based programming and code generation to address the issues faced by n...
Andrew Scott, Mike Watkins, Duncan McPhee
LREC
2010
171views Education» more  LREC 2010»
13 years 10 months ago
The English-Swedish-Turkish Parallel Treebank
We describe a syntactically annotated parallel corpus containing English, Swedish and Turkish. The corpus consists of approximately 300 000 tokens in Swedish, 160 000 in Turkish a...
Beáta Megyesi, Bengt Dahlqvist, Éva ...
AIML
2006
13 years 10 months ago
Deep Sequent Systems for Modal Logic
We see a systematic set of cut-free axiomatisations for all the basic normal modal logics formed by some combination the axioms d, t, b, 4, 5. They employ a form of deep inference ...
Kai Brünnler
CLIN
2004
13 years 10 months ago
Extended Lexical Units in Dutch
The paper describes ongoing empirical research into a fundamental problem of linguistics, viz. the architecture of grammar, or the division of labor between lexicon and grammar. W...
Michaela Poß, Ton van der Wouden