Sciweavers

392 search results - page 41 / 79
» Conversion by Evaluation
Sort
View
IFL
2004
Springer
138views Formal Methods» more  IFL 2004»
15 years 5 months ago
A Rational Deconstruction of Landin's SECD Machine
Landin’s SECD machine was the first abstract machine for the λ-calculus viewed as a programming language. Both theoretically as a model of computation and practically as an ide...
Olivier Danvy
ACE
2003
86views Education» more  ACE 2003»
15 years 1 months ago
A New Approach to a First Year Undergraduate Information Systems Course
This paper describes the development, implementation and evaluation of a new teaching approach for a large first year undergraduate course in information systems at the University...
Denise Tolhurst, Bob Baker
CHI
2007
ACM
16 years 8 days ago
Authorable virtual peers for children with autism
For my dissertation, I am designing, implementing and evaluating the use of a new kind of "authorable" virtual peer that allows children with autism to learn about recip...
Andrea Tartaro
WSCG
2003
136views more  WSCG 2003»
15 years 1 months ago
Piecewise Circular Approximation of Spirals and Polar Polynomials
Spirals are surprisingly common in science, nature, physics, astronomy, flora and fauna, and the arts. In Cartesian coordinates they are typically transcendental functions, which ...
Francesca Taponecco, Marc Alexa
COLING
1996
15 years 1 months ago
Multi-lingual Translation of Spontaneously Spoken Language in a Limited Domain
JANUS is a multi-lingual speech-tospeech translation system designed to facilitate communication between two parties engaged in a spontaneous conversation in a limited domain. In ...
Alon Lavie, Donna Gates, Marsal Gavaldà, La...