Sciweavers

1190 search results - page 12 / 238
» The Continuing Quest for Abstraction
Sort
View
TNN
2008
87views more  TNN 2008»
13 years 9 months ago
Stochastic Resonance in Continuous and Spiking Neuron Models With Levy Noise
Abstract--Levy noise can help neurons detect faint or subthreshold signals. Levy noise extends standard Brownian noise to many types of impulsive jump-noise processes found in real...
Ashok Patel, Bart Kosko
SIGSOFT
2010
ACM
13 years 7 months ago
Program fields for continuous software
We propose program fields, a formal representation for groups of related programs, as a new abstraction to support future software engineering research in several areas. We will d...
Martin Erwig, Eric Walkingshaw
ICONIP
2009
13 years 7 months ago
A Markov Model for Multiagent Patrolling in Continuous Time
Abstract. We present a model for the multiagent patrolling problem with continuous-time. An anytime and online algorithm is then described and extended to asynchronous multiagent d...
Jean-Samuel Marier, Camille Besse, Brahim Chaib-dr...
CCA
2005
Springer
14 years 3 months ago
A Lambda Calculus for Real Analysis
Abstract Stone Duality is a revolutionary theory that works directly with computable continuous functions, without using set theory, infinitary lattice theory or a prior theory o...
Paul Taylor 0002
TCS
2008
13 years 9 months ago
Information systems revisited - the general continuous case
In this paper a new notion of continuous information system is introduced. It is shown that the information systems of this kind generate exactly the continuous domains. The new i...
Dieter Spreen, Luoshan Xu, Xuxin Mao