2957 search results - page 12 / 592 » Processing Self Corrections |
AUSAI
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. It is known from psychology and neuroscience that multimodal integration of sensory information enhances the perception of stimuli that are corrupted in one or more modal...
GI
2001
Springer
14 years 3 days ago
2001
Springer
We present the verification of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of refinements; it is mechanized base...
PDP
2009
IEEE
14 years 2 months ago
2009
IEEE
PsycoTrace is a set of tools to protect a process P from attacks that alter P self as specified by its source code. P self is specified in terms of legal traces of system calls ...
EUSFLAT
2009
13 years 5 months ago
2009
Herding is the process of bringing individuals (e.g. animals) together into a group. More specifically, we consider self
SIAMCO
2010
13 years 2 months ago
2010
Abstract. This paper studies a class of non-Markovian and nonhomogeneous stochastic processes on a finite state space. Relying on a recent paper by Bena