7988 search results - page 1567 / 1598 » A Useful Undecidable Theory |
ATAL
2010
Springer
13 years 10 months ago
2010
Springer
Successful interaction between autonomous agents is contingent on those agents making decisions consistent with the expectations of their peers -- these expectations are based on ...
CONEXT
2009
ACM
13 years 10 months ago
2009
ACM
The behavior of routing protocols during convergence is critical as it impacts end-to-end performance. Network convergence is particularly important in BGP, the current interdomai...
ICA
2010
Springer
13 years 10 months ago
2010
Springer
Two-photon calcium imaging is an emerging experimental technique that enables the study of information processing within neural circuits in vivo. While the spatial resolution of th...
GECCO
2008
Springer
13 years 10 months ago
2008
Springer
In this work an improvement of an initial approach to design Artificial Neural Networks to forecast Time Series is tackled, and the automatic process to design Artificial Neural N...
ICFP
2010
ACM
13 years 10 months ago
2010
ACM
Modern proof assistants such as Coq and Isabelle provide high degrees of expressiveness and assurance because they support formal reasoning in higher-order logic and supply explic...