9186 search results - page 220 / 1838 » A Module System for Scheme |
152
click to vote
ITC
1998
IEEE
15 years 10 months ago
1998
IEEE
Advances in semiconductor process and design technology enable the design of complex system chips. Traditional IC design, in which every circuit is designed from scratch and reuse...
154
click to vote
ISER
2000
Springer
15 years 10 months ago
2000
Springer
: In the future, we propose that there will be largely self-sufficient robot colonies operating on distant planets and in harsh environments here on earth. A highly desirable quali...
161
click to vote
ENTCS
2006
15 years 6 months ago
2006
We introduce a rewrite-based specification language for modelling probabilistic concurrent and distributed systems. The language, based on PMaude, has both a rigorous formal basis...
161
click to vote
ICASSP
2010
IEEE
15 years 5 months ago
2010
IEEE
This paper introduces a HMM-based speech synthesis system which uses a new method for the Separation of Vocal-tract and LiljencrantsFant model plus Noise (SVLN). The glottal sourc...
174
click to vote
ICSM
2005
IEEE
16 years 5 days ago
2005
IEEE
In order to build predictors of the maintainability of evolving software, we first need a means for measuring maintainability as well as a training set of software modules for whi...