11797 search results - page 277 / 2360 » Recent Developments in the Experimental |
156
click to vote
ICCS
2007
Springer
16 years 26 days ago
2007
Springer
After decades of concurrent development of symbolic and connectionist methods, recent years have shown intensifying efforts of integrating those two paradigms. This paper contribu...
169
click to vote
TIME
2005
IEEE
16 years 8 days ago
2005
IEEE
A clausal resolution approach originally developed for the branching logic CTL has recently been extended to the logics ECTL and ECTL+ . In the application of the resolution rules...
165
click to vote
ICA
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Denoising source separation is a recently introduced framework for building source separation algorithms around denoising procedures. Two developments are reported here. ...
206
click to vote
GCC
2003
Springer
15 years 12 months ago
2003
Springer
Recently, emerging high performance applications require the ability to exploit diverse, geographically distributed resources, specifically, in a Grid environment. A collection of ...
159
click to vote
METRICS
1997
IEEE
15 years 11 months ago
1997
IEEE
The process of E-type software development andevolution has proven most difficult to improve, possibly due to the fact that the processis a multi-input, multi-output system involv...