5900 search results - page 93 / 1180 » Dependable Systems |
ICASSP
2011
IEEE
13 years 1 months ago
2011
IEEE
The acceleration of acoustic likelihood calculation has been an important research issue for developing practical speech recognition systems. And there are various specification ...
EMNLP
2011
12 years 9 months ago
2011
We present a simple method for transferring dependency parsers from source languages with labeled training data to target languages without labeled training data. We first demons...
CADE
2009
Springer
14 years 10 months ago
2009
Springer
Current techniques and tools for automated termination analysis of term rewrite systems (TRSs) are already very powerful. However, they fail for algorithms whose termination is ess...
ESOP
2004
Springer
14 years 3 months ago
2004
Springer
The Ambient calculus is a successful model of distributed, mobile computation, and has been the vehicle of new ideas for resource access control. Mobility types have been used to e...
GECCO
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. This article presents experiments that integrate competitive coevolution of neural robot controllers with ‘co-evolution’ of robot morphologies and control systems. Mo...