Sciweavers

1404 search results - page 70 / 281
» Dynamic Scale-Space Theories
Sort
View
DIALM
2005
ACM
104views Algorithms» more  DIALM 2005»
14 years 28 days ago
Information dissemination in highly dynamic graphs
We investigate to what extent flooding and routing is possible if the graph is allowed to change unpredictably at each time step. We study what minimal requirements are necessary...
Regina O'Dell, Roger Wattenhofer
BIRTHDAY
2010
Springer
13 years 11 months ago
Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery
Abstract. We present a succinct account of dynamic rippling, a technique used to guide the automation of inductive proofs. This simplifies termination proofs for rippling and hence...
Moa Johansson, Lucas Dixon, Alan Bundy
BC
2006
63views more  BC 2006»
13 years 11 months ago
Dynamic neural field with local inhibition
Abstract A lateral-inhibition type neural field model with restricted connections is presented here and represents an experimental extension of the Continuum Neural Field Theory (C...
Nicolas P. Rougier
ENTCS
2006
129views more  ENTCS 2006»
13 years 11 months ago
The Algebra of Multi-Agent Dynamic Belief Revision
We refine our algebraic axiomatization in [8,9] of epistemic actions and epistemic update (notions defined in [5,6] using Kripke-style semantics), to incorporate a mechanism for d...
Alexandru Baltag, Mehrnoosh Sadrzadeh
IJON
2006
99views more  IJON 2006»
13 years 11 months ago
Learning vector quantization: The dynamics of winner-takes-all algorithms
Winner-Takes-All (WTA) prescriptions for Learning Vector Quantization (LVQ) are studied in the framework of a model situation: Two competing prototype vectors are updated accordin...
Michael Biehl, Anarta Ghosh, Barbara Hammer