Sciweavers

3984 search results - page 436 / 797
» A Model-Driven Transformation Method
Sort
View
CORR
2010
Springer
59views Education» more  CORR 2010»
15 years 5 months ago
Noise Invalidation Denoising
—A denoising technique based on noise invalidation is proposed. The adaptive approach derives a noise signature from the noise order statistics and utilizes the signature to deno...
Soosan Beheshti, Masoud Hashemi, Xiao-Ping Zhang, ...
IJON
2010
120views more  IJON 2010»
15 years 5 months ago
Semi-supervised learning with varifold Laplacians
This paper presents varifold learning, a learning framework based on the mathematical concept of varifolds. Different from manifold based methods, our varifold learning framework ...
Lei Ding, Peibiao Zhao
PR
2008
200views more  PR 2008»
15 years 5 months ago
Text line detection in handwritten documents
In this paper, we present a new text line detection method for unconstrained handwritten documents. The proposed technique is based on a strategy that consists of three distinct s...
Georgios Louloudis, Basilios Gatos, Ioannis Pratik...
SAS
2010
Springer
262views Formal Methods» more  SAS 2010»
15 years 5 months ago
Concurrent Separation Logic for Pipelined Parallelization
Recent innovations in automatic parallelizing compilers are showing impressive speedups on multicore processors using shared memory with asynchronous channels. We have formulated a...
Christian J. Bell, Andrew W. Appel, David Walker
IFM
2010
Springer
133views Formal Methods» more  IFM 2010»
15 years 4 months ago
Towards Probabilistic Modelling in Event-B
Abstract. Event-B provides us with a powerful framework for correctby-construction system development. However, while developing dependable systems we should not only guarantee the...
Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis