Sciweavers

4743 search results - page 9 / 949
» The PlusCal Algorithm Language
Sort
View
SCP
2002
59views more  SCP 2002»
13 years 9 months ago
The universal resolving algorithm and its correctness: inverse computation in a functional language
We present an algorithm for inverse computation in a
Sergei M. Abramov, Robert Glück
WADS
1995
Springer
67views Algorithms» more  WADS 1995»
14 years 1 months ago
Dynamic Algorithms for the Dyck Languages
Gudmund Skovbjerg Frandsen, Thore Husfeldt, Peter ...
EMNLP
2008
13 years 11 months ago
Scalable Language Processing Algorithms for the Masses: A Case Study in Computing Word Co-occurrence Matrices with MapReduce
This paper explores the challenge of scaling up language processing algorithms to increasingly large datasets. While cluster computing has been available in commercial environment...
Jimmy J. Lin
CORR
2008
Springer
88views Education» more  CORR 2008»
13 years 10 months ago
Efficient Algorithms for Membership in Boolean Hierarchies of Regular Languages
Abstract. The purpose of this paper is to provide efficient algorithms that decide membership for classes of several Boolean hierarchies for which efficiency (or even decidability)...
Christian Glasser, Heinz Schmitz, Victor L. Seliva...
PLILP
1992
Springer
14 years 1 months ago
Algorithmic Debugging for Lazy Functional Languages
Henrik Nilsson, Peter Fritzson