4743 search results - page 263 / 949 » The PlusCal Algorithm Language |
97
Voted
STOC
1987
ACM
15 years 7 months ago
1987
ACM
The Boolean formula value problem is in alternating log time and, more generally, parenthesis context-free languages are in alternating log time. The evaluation of reverse Polish ...
133
Voted
EDOC
2008
IEEE
15 years 5 months ago
2008
IEEE
We present an algorithm for the runtime monitoring of business process properties with data parameterization. The properties are expressed in LTL-FO+ , an extension to traditional...
122
Voted
LREC
2010
15 years 5 months ago
2010
Parallel corpora are indispensable resources for a variety of multilingual natural language processing tasks. This paper presents a technique for fully automatic construction of c...
116
Voted
FMOODS
2007
15 years 5 months ago
2007
Abstract. Algorithmic skeletons are a well-known approach for implementing parallel and distributed applications. Declarative versions typically use higher-order functions in funct...
132
Voted
JFPLC
2001
15 years 5 months ago
2001
We propose an environment for musical constraint solving, in the visual programming language OpenMusic. We describe an implementation of a local search algorithm, called adaptive s...