4743 search results - page 31 / 949 » The PlusCal Algorithm Language |
TACAS
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Intermediate languages are a paradigm to separate concerns in software verification systems when bridging the gap between programming languages and the logics understood ...
IJCAI
2007
13 years 11 months ago
2007
We evaluate a new hybrid language processing approach designed for interactive applications that maintain an interaction with users over multiple turns. Specifically, we describe ...
POPL
1994
ACM
14 years 1 months ago
1994
ACM
This paper discusses call forwarding, a simple interprocedural optimization technique for dynamically typed languages. The basic idea behind the optimization is straightforward: n...
ASSETS
2008
ACM
2008
ACM
Evaluation of a psycholinguistically motivated timing model for animations of american sign language
13 years 12 months ago
Using results in the psycholinguistics literature on the speed and timing of American Sign Language (ASL), we built algorithms to calculate the time-duration of signs and the loca...
ACL
2008
13 years 11 months ago
2008
In statistical language modeling, one technique to reduce the problematic effects of data sparsity is to partition the vocabulary into equivalence classes. In this paper we invest...