Sciweavers

4629 search results - page 204 / 926
» Space Kernel Analysis
Sort
View
ICIAR
2005
Springer
15 years 12 months 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 7 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 10 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 7 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 26 days 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é...