11066 search results - page 256 / 2214 » Linearity in Process Languages |
121
click to vote
FSMNLP
2005
Springer
15 years 10 months ago
2005
Springer
This paper presents SFST-PL, a programming language for finite state transducers which is based on extended regular expressions with variables. The programming language is both si...
131
click to vote
ICLP
2005
Springer
15 years 10 months ago
2005
Springer
Abduction is usually carried out on partially-defined predicates. In this paper we investigate abduction applied to fully-defined predicates, specifically linear arithmetic cons...
135
click to vote
AMAST
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We present a static analysis technique for modeling and approximating the long-run resource usage of programs. The approach is based on a quantitative semantic framework ...
151
click to vote
ACL
2009
15 years 2 months ago
2009
We formulate the problem of nonprojective dependency parsing as a polynomial-sized integer linear program. Our formulation is able to handle non-local output features in an effici...
132
click to vote
LREC
2010
15 years 6 months ago
2010
We present a limited prototype of the CLARIN Language Technology Infrastructure (LTI) node, which provides several types of web services for Polish. The functionality encompasses ...