4743 search results - page 130 / 949 » The PlusCal Algorithm Language |
113
Voted
DLS
2008
15 years 4 months ago
2008
Parsing Expression Grammar (PEG) is a recognition-based foundation for describing syntax that renewed interest in top-down parsing approaches. Generally, the implementation of PEG...
137
Voted
MICAI
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Conventional artificial neural network models lack many physiological properties of the neuron. Current learning algorithms are more concerned to computational performanc...
129
Voted
PLDI
1989
ACM
15 years 6 months ago
1989
ACM
We present the rst type reconstruction system which combines the implicit typing of ML with the full power of the explicitly typed second-order polymorphic lambda calculus. The sy...
115
click to vote
APLAS
2004
ACM
15 years 6 months ago
2004
ACM
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher-order programs. The ...
105
Voted
COLING
2008
15 years 4 months ago
2008
This paper presents an approach for substantially reducing the time needed to calculate the shortest paths between all concepts in a wordnet. The algorithm exploits the unique &qu...