4743 search results - page 191 / 949 » The PlusCal Algorithm Language |
118
click to vote
ICMI
2004
Springer
15 years 8 months ago
2004
Springer
When talking about spatial domains, humans frequently accompany their explanations with iconic gestures to depict what they are referring to. For example, when giving directions, ...
110
click to vote
GW
2005
Springer
15 years 8 months ago
2005
Springer
In Sign Language recognition, one of the problems is to collect enough data. Data collection for both training and testing is a laborious but necessary step. Almost all of the stat...
120
click to vote
VL
2003
IEEE
15 years 8 months ago
2003
IEEE
ct How can rigorous forms of testing be supported in a way that is both compatible with the visual aspect of visual programming languages, and usable by the audiences using those l...
121
click to vote
TACS
2001
Springer
15 years 7 months ago
2001
Springer
We give a logic programming language based on Fiore, Plotkin and Turi’s binding algebras. In this language, we can use not only first-order terms but also terms involving variab...
131
click to vote
APLAS
2000
ACM
15 years 7 months ago
2000
ACM
We present a generalized let-polymorphic type inference algorithm, prove that any of its instances is sound and complete with respect to the Hindley/Milner let-polymorphic type sy...