325 search results - page 43 / 65 » MIX Is Not a Tree-Adjoining Language |
TPHOL
1998
IEEE
15 years 1 months ago
1998
IEEE
Abstraction in a Higher-Order Logic Framework Marco Benini Sara Kalvala Dirk Nowotka Department of Computer Science University of Warwick, Coventry, CV4 7AL, United Kingdom We pres...
FLOPS
2008
Springer
14 years 11 months ago
2008
Springer
We study various shortcut fusion rules for languages like Haskell. Following a careful semantic account of a recently proposed rule for circular program transformation, we propose ...
55
Voted
FLAIRS
2006
14 years 11 months ago
2006
Music has structure at many levels, from grand arrangements of verses and choruses down to patterns in small riffs and themes. A bracketed L-system -- the SARAH language -- is use...
ICONIP
2004
14 years 11 months ago
2004
In-Car speech recognition will be pervasive over the coming years. The goal of speech enhancement is to increase the quality and intelligibility of speech in a noisy environment. T...
77
Voted
SBBD
2004
14 years 11 months ago
2004
XML and Web services are revolutioning the automatic management of distributed information, somewhat in the same way that HTML, Web browsers and search engines modified human acce...