Sciweavers

5608 search results - page 392 / 1122
» On the Theory of Matchgate Computations
Sort
View
189
Voted
JCST
2010
189views more  JCST 2010»
15 years 1 months ago
Formally Analyzing Expected Time Complexity of Algorithms Using Theorem Proving
Probabilistic techniques are widely used in the analysis of algorithms to estimate the computational complexity of algorithms or a computational problem. Traditionally, such analys...
Osman Hasan, Sofiène Tahar
189
Voted
MIA
2010
104views more  MIA 2010»
15 years 1 months ago
Combining atlas based segmentation and intensity classification with nearest neighbor transform and accuracy weighted vote
In this paper, different methods to improve atlas based segmentation are presented. The first technique is a new mapping of the labels of an atlas consistent with a given intensit...
Michaël Sdika
176
Voted
SIAMNUM
2010
129views more  SIAMNUM 2010»
15 years 1 months ago
Convergence of an Adaptive Finite Element Method for Controlling Local Energy Errors
A number of works concerning rigorous convergence theory for adaptive finite element methods (AFEM) for controlling global energy errors have appeared in recent years. However, man...
Alan Demlow
182
Voted
TCIAIG
2010
15 years 1 months ago
The Parametrized Probabilistic Finite-State Transducer Probe Game Player Fingerprint Model
Abstract--Fingerprinting operators generate functional signatures of game players and are useful for their automated analysis independent of representation or encoding. The theory ...
Jeffrey Tsang
163
Voted
TCSV
2010
15 years 1 months ago
Motion Refinement Based Progressive Side-Information Estimation for Wyner-Ziv Video Coding
During the past ten years, Wyner-Ziv video coding (WZVC) has gained a lot of research interests because of its unique characteristics of "simple encoding, complex decoding&quo...
Wei Liu, Lina Dong, Wenjun Zeng