961 search results - page 151 / 193 » Automatic design synthesis with artificial intelligence tech... |
130
click to vote
IJCNN
2008
IEEE
15 years 7 months ago
2008
IEEE
— We consider a fully complex-valued radial basis function (RBF) network for regression application. The locally regularised orthogonal least squares (LROLS) algorithm with the D...
215
click to vote
ACL2
2006
ACM
15 years 5 months ago
2006
ACM
We have extended the ACL2 theorem prover to automatically prove properties of VHDL circuits with IBM's Internal SixthSense verification system. We have used this extension to...
103
click to vote
SAC
2008
ACM
15 years 25 days ago
2008
ACM
The emergence of the Web has made more and more news items available, however only a small subset of these news items are relevant in a decision making process. Therefore decision...
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
In this paper we incorporate autonomous agents' capability to perform parallel interactions into the cooperative search model, resulting in a new method which outperforms the...
104
click to vote
ATAL
2010
Springer
15 years 2 months ago
2010
Springer
The primary target of this work is human-robot collaboration, especially for service robots in complicated application scenarios. Three assumptions and four requirements are ident...