4814 search results - page 652 / 963 » Combining abstract interpreters |
163
click to vote
ICONIP
2010
15 years 2 months ago
2010
Abstract. We investigated the network topology organized through spike-timingdependent plasticity (STDP) using pair- and triad-connectivity patterns, considering di erence of excit...
182
click to vote
AMAST
2010
Springer
15 years 12 days ago
2010
Springer
Abstract. We develop an algebraic modal logic that combines epistemic and dynamic modalities with a view to modelling information acquisition (learning) by automated agents in a ch...
198
click to vote
JUCS
2010
15 years 4 days ago
2010
Abstract: Authoring of Adaptive Educational Hypermedia is a complex activity requiring the combination of a range of design and validation techniques. We demonstrate how Adaptive E...
239
Voted
SMA
2010
ACM
15 years 2 days ago
2010
ACM
Abstract Nonparametric correlation estimators as the Kendall and Spearman correlation are widely used in the applied sciences. They are often said to be robust, in the sense of bei...
176
Voted
TMI
2010
15 years 2 days ago
2010
Abstract--Reconstruction algorithms for fluorescence tomography have to address two crucial issues : (i) the ill-posedness of the reconstruction problem, (ii) the large scale of nu...