7988 search results - page 356 / 1598 » A Useful Undecidable Theory |
167
click to vote
ECCV
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. A novel method is proposed for performing multi-label, semi-automated image segmentation. Given a small number of pixels with user-defined labels, one can analytically (...
211
click to vote
RTAS
2003
IEEE
16 years 17 hour ago
2003
IEEE
The use of feedback control theory for performance guarantees in QoS-aware systems has gained much attention in recent years. In this paper, we investigate merging, within a singl...
159
click to vote
ISCAS
2002
IEEE
15 years 11 months ago
2002
IEEE
With single-electron tunneling (SET) technology it is possible to build electronic circuits with extreme low power properties. These SET circuits must therefore operate in the sin...
170
click to vote
ATAL
2001
Springer
15 years 11 months ago
2001
Springer
In the last few years the use of coalition formation algorithms in multi-agent systems has been proposed as a possible way of modelling autonomous agent cooperation. Game theory pr...
170
click to vote
IWANN
2001
Springer
15 years 11 months ago
2001
Springer
In the beginning of nineties, Hava Siegelmann proposed a new computational model, the Artificial Recurrent Neural Network (ARNN), and proved that it could perform hypercomputation....