2944 search results - page 114 / 589 » On Well Quasi-orders on Languages |
101
click to vote
TCS
2010
14 years 11 months ago
2010
We present some decidability and undecidability results for subsets of the BlenX Language, a process-calculi-based programming language developed for modelling biological processe...
142
Voted
ICDT
2011
ACM
14 years 4 months ago
2011
ACM
The goal of Knowledge Compilation is to represent a Boolean expression in a format in which it can answer a range of online-queries in PTIME. The online-query of main interest to ...
137
Voted
POPL
2012
ACM
13 years 8 months ago
2012
ACM
Gradual typing lets programmers evolve their dynamically typed programs by gradually adding explicit type annotations, which confer benefits like improved performance and fewer r...
106
click to vote
COORDINATION
2008
Springer
15 years 2 months ago
2008
Springer
We present a novel approach for the sound orchestration of services. It is based on Orcharts and Typecharts: a service orchestration language and an associated behavioural typing l...
94
Voted
ACL
2009
14 years 10 months ago
2009
We report in this paper our work on accurately generating case markers and suffixes in English-to-Hindi SMT. Hindi is a relatively free word-order language, and makes use of a com...