3116 search results - page 119 / 624 » Positively dependent types |
122
click to vote
BPM
2006
Springer
15 years 8 months ago
2006
Springer
Composition languages like BPEL and many enactment tools only support structured process models, while most composition approaches only consider unstructured models. In this paper,...
154
click to vote
POPL
2010
ACM
16 years 1 months ago
2010
ACM
This paper introduces a new approach to type theory called pure subtype systems. Pure subtype systems differ from traditional approaches to type theory (such as pure type systems)...
AMC
2005
15 years 4 months ago
2005
Steady non-isothermal parallel-plate flow of a Newtonian fluid with a temperature dependent viscosity is considered. The viscosity is modelled by a Nahme type law. We apply axisym...
121
click to vote
COLING
1996
15 years 5 months ago
1996
In this paper, we describe a new model for word alignment in statistical translation and present experimental results. The idea of the model is to make the alignment probabilities...
115
click to vote
ICGA
2007
15 years 4 months ago
2007
The phenomenon of diminishing returns for additional search effort has been observed by several researchers. We study experimentally additional factors which influence the behavio...