Sciweavers

2312 search results - page 331 / 463
» Invariance in Property Testing
Sort
View
IWANN
2001
Springer
14 years 2 months ago
A Realistic Computational Model of the Local Circuitry of the Cuneate Nucleus
Abstract. Intracellular recordings obtained under cutaneous and lemniscal stimulation show that the afferent fibers can establish excitatory and inhibitory synaptic connections w...
Eduardo Sánchez Vila, Senén Barro, J...
SCALESPACE
2001
Springer
14 years 2 months ago
Selection of Optimal Stopping Time for Nonlinear Diffusion Filtering
We develop a novel time-selection strategy for iterative image restoration techniques: the stopping time is chosen so that the correlation of signal and noise in the filtered imag...
Pavel Mrázek
DEXAW
2000
IEEE
74views Database» more  DEXAW 2000»
14 years 2 months ago
Retrieval Situations and Belief Change
Situational aspects are very helpful to decide relevance but they have often been left aside by Information Retrieval models. The standard logical approach to Information Retrieva...
David E. Losada, Alvaro Barreiro
ICIP
2000
IEEE
14 years 2 months ago
Open-Ended Texture Classification for Terrain Mapping
This paper introduces a new classification scheme called “open-ended texture classification.” The standard approach for texture classification is to use a closed n-class cl...
Rupert Paget, I. Dennis Longstaff
IWSSD
2000
IEEE
14 years 2 months ago
Model Checking Implicit-Invocation Systems
While implicit invocation (publish-subscribe) systems have goodengineering properties, they are difficult toreason about and to test. Model checking such systems is an attractive...
David Garlan, Serge Khersonsky