5054 search results - page 649 / 1011 » How designers design and program interactive behaviors |
180
click to vote
HASKELL
2006
ACM
16 years 24 days ago
2006
ACM
In this article we present GenI, a chart based surface realisation tool implemented in Haskell. GenI takes as input a set of first order terms (the input semantics) and a grammar...
135
click to vote
HICSS
2005
IEEE
16 years 13 days ago
2005
IEEE
In our paper last year [1], we described our languagetraining program, which utilizes Baldi as a tutor, who guides students through a variety of exercises designed to teach vocabu...
170
click to vote
CAISE
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Dynamic Aspect-Oriented Programming (d-AOP) is an important tool to implement adaptation in a wide variety of applications. In particular, large distributed infrastructur...
158
click to vote
SAC
2004
ACM
16 years 7 days ago
2004
ACM
Field-based coordination is a very promising approach for a wide range of application scenarios in modern dynamic networks. To implement such an approach, one can rely on distribu...
200
click to vote
LPAR
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...