Sciweavers

4629 search results - page 204 / 926
» Space Kernel Analysis
Sort
View
ICIAR
2005
Springer
16 years 21 days ago
Soft-Switching Adaptive Technique of Impulsive Noise Removal in Color Images
In this paper a novel class of filters designed for the removal of impulsive noise in color images is presented. The proposed filter family is based on the kernel function which ...
Bogdan Smolka, Konstantinos N. Plataniotis
FLAIRS
2000
15 years 8 months ago
The SH-Verification Tool
r Abstractions + Enduser Interface Analysis Kernel Tools for System Specification Enduser Interface Temporal Logic Homomorphism Editor Preamble Editor Hierarchy Editor APA EditorNe...
Peter Ochsenschläger, Jürgen Repp, Rolan...
CAV
2010
Springer
201views Hardware» more  CAV 2010»
15 years 11 months ago
Contessa: Concurrency Testing Augmented with Symbolic Analysis
Testing of multi-threaded programs poses enormous challenges. To improve the coverage of testing, we present a framework named CONTESSA that augments conventional testing (concrete...
Sudipta Kundu, Malay K. Ganai, Chao Wang
ECIR
2008
Springer
15 years 8 months ago
Filaments of Meaning in Word Space
Word space models, in the sense of vector space models built on distributional data taken from texts, are used to model semantic relations between words. We argue that the high dim...
Jussi Karlgren, Anders Holst, Magnus Sahlgren
ICEIS
2008
IEEE
16 years 1 months ago
A Metadata-Driven Approach for Aspect-Oriented Requirements Analysis
This paper presents a metadata-driven approach based on aspect-oriented requirements analysis. This approach has been defined in cooperation with the European Space Agency in the ...
Sérgio Agostinho, Ana Moreira, André...