950 search results - page 45 / 190 » Type Specialization in Aldor |
LREC
2008
13 years 10 months ago
2008
In this paper, we present a database with speech in different types of background noises. The speech and noise were recorded with a set of different microphones and including some...
WICSA
2001
13 years 10 months ago
2001
Increasingly, systems are composed from independently developed parts, and mechanisms that allow those parts to interact (connectors). In many situations, specialized forms of int...
IJCAI
1997
13 years 10 months ago
1997
Recently researchers working in the LFG framework have proposed algorithms for taking advantage of the implicit context-free components of a unification grammar [Maxwell and Kapla...
ENGL
2006
13 years 8 months ago
2006
Intelligent Agents have originated a lot of discussion about what they are, and how they are different from general programs. We describe in this paper a new paradigm for intellige...
JFP
2010
13 years 7 months ago
2010
The aim of our work is to be able to do fully formal, machine verified proofs over Generic Haskellstyle polytypic programs. In order to achieve this goal, we embed polytypic prog...