Sciweavers

5578 search results - page 396 / 1116
» Base Class Injection
Sort
View
CSL
2004
Springer
16 years 6 days ago
Automated Generation of Analytic Calculi for Logics with Linearity
Abstract. We show how to automatically generate analytic hypersequent calculi for a large class of logics containing the linearity axiom (lin) (A ⊃ B) ∨ (B ⊃ A) starting from...
Agata Ciabattoni
ICIAR
2004
Springer
16 years 5 days ago
Nonparametric Impulsive Noise Removal
In this paper the problem of nonparametric impulsive noise removal in multichannel images is addressed. The proposed filter class is based on the nonparametric estimation of the d...
Bogdan Smolka, Rastislav Lukac
ICIP
2003
IEEE
16 years 2 days ago
Parameter estimation for spatial random trees using the EM algorithm
A new class of multiscale multidimensional stochastic processes called spatial random trees was recently introduced in [9]. The model is based on multiscale stochastic trees with ...
Ilya Pollak, Jeffrey Mark Siskind, Mary P. Harper,...
IEAAIE
2001
Springer
15 years 11 months ago
Why Use a Unified Knowledge Representation?
In a unified knowledge representation, data, information and knowledge are all represented in a single formalism. A unified knowledge representation based on “items” is describ...
John K. Debenham
ICECCS
1997
IEEE
102views Hardware» more  ICECCS 1997»
15 years 11 months ago
Problem complexity
An approach to problem analysis is described, based on the notion of a problem frame. Problem frames are intended to capture classes of recognisable and soluble problems. Because ...
Michael Jackson