Sciweavers

5169 search results - page 421 / 1034
» Locality approximation using time
Sort
View
TCS
2010
15 years 6 months ago
Canonical finite state machines for distributed systems
There has been much interest in testing from finite state machines (FSMs) as a result of their suitability for modelling or specifying state-based systems. Where there are multip...
Robert M. Hierons
JAIR
1998
81views more  JAIR 1998»
15 years 7 months ago
Computational Aspects of Reordering Plans
This article studies the problem of modifying the action ordering of a plan in order to optimise the plan according to various criteria. One of these criteria is to make a plan le...
Christer Bäckström
ICPR
2000
IEEE
16 years 8 months ago
Estimation of Adaptive Parameters for Satellite Image Deconvolution
The deconvolution of blurred and noisy satellite images is an ill-posed inverse problem, which can be regularized within a Bayesian context by using an a priori model of the recon...
André Jalobeanu, Josiane Zerubia, Laure Bla...
CORR
2007
Springer
105views Education» more  CORR 2007»
15 years 7 months ago
Relative-Error CUR Matrix Decompositions
Many data analysis applications deal with large matrices and involve approximating the matrix using a small number of “components.” Typically, these components are linear combi...
Petros Drineas, Michael W. Mahoney, S. Muthukrishn...
SCIA
2009
Springer
140views Image Analysis» more  SCIA 2009»
16 years 2 months ago
Fast Prototype Based Noise Reduction
This paper introduces a novel method for noise reduction in medical images based on concepts of the Non-Local Means algorithm. The main objective has been to develop a method that ...
Kajsa Tibell, Hagen Spies, Magnus Borga