4743 search results - page 212 / 949 » The PlusCal Algorithm Language |
151
click to vote
ECOOP
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Generic types in C behave invariantly with respect to subtyping. We propose a system of type-safe variance for C that supports the declaration of covariant and contravari...
112
click to vote
ASSETS
2008
ACM
15 years 5 months ago
2008
ACM
Word prediction helps to increase communication rate when using Augmentative and Alternative Communication devices. Basic prediction systems offer topically inappropriate predicti...
127
click to vote
COORDINATION
2008
Springer
15 years 5 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...
134
click to vote
CLA
2007
15 years 4 months ago
2007
The generalization of policies in reinforcement learning is a main issue, both from the theoretical model point of view and for their applicability. However, generalizing from a se...
108
click to vote
LREC
2008
15 years 4 months ago
2008
For compounding languages, a great part of the topical semantics is conveyed via nominal compounds. Various applications of natural language processing can profit from explicit ac...