749 search results - page 103 / 150 » Combinatory Models and Symbolic Computation |
RTA
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. For narrowing to be an efficient evaluation mechanism, several lazy narrowing strategies have been proposed, although typically for the restricted case of left-linear con...
GPCE
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. We define a basic calculus for name management, which is obtained by an appropriate combination of three ingredients: extensible records (in a simplified form), names (...
ICCHP
2004
Springer
14 years 3 months ago
2004
Springer
In this paper we describe Bliss2003, an Information and Communication Technology (ICT) aid for verbal impaired people supporting the use of Augmentative and Alternative Communicati...
SSPR
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. In the field of computer music, pattern recognition algorithms are very relevant for music information retrieval (MIR). One challenging task within this area is the auto...
DAC
1996
ACM
14 years 2 months ago
1996
ACM
PPP is a Web-based simulation and synthesis environment for low-power design. In this paper we describe the gate-level simulation engine of PPP, that achieves accuracy always with...