5900 search results - page 93 / 1180 » Dependable Systems |
129
click to vote
ICASSP
2011
IEEE
14 years 6 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 ...
132
click to vote
EMNLP
2011
14 years 2 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...
104
click to vote
CADE
2009
Springer
16 years 3 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...
229
click to vote
ESOP
2004
Springer
15 years 8 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...
90
Voted
GECCO
2003
Springer
15 years 8 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...