Sciweavers

15792 search results - page 101 / 3159
» Computational Abstraction Steps
Sort
View
SCALESPACE
2009
Springer
14 years 3 months ago
Image Denoising Using TV-Stokes Equation with an Orientation-Matching Minimization
Abstract. In this paper, we propose an orientation-matching minimization for denoising digital images with an additive noise. Inspired by the two-step algorithm in the TV-Stokes de...
Xue-Cheng Tai, Sofia Borok, Jooyoung Hahn
ACSD
2004
IEEE
124views Hardware» more  ACSD 2004»
14 years 1 months ago
A Behavioral Type Inference System for Compositional System-on-Chip Design
The design productivity gap has been recognized by the semiconductor industry as one of the major threats to the continued growth of system-on-chips and embedded systems. Ad-hoc s...
Jean-Pierre Talpin, David Berner, Sandeep K. Shukl...
SACRYPT
2009
Springer
176views Cryptology» more  SACRYPT 2009»
14 years 3 months ago
Optimization Strategies for Hardware-Based Cofactorization
Abstract. We use the specific structure of the inputs to the cofactorization step in the general number field sieve (GNFS) in order to optimize the runtime for the cofactorizatio...
Daniel Loebenberger, Jens Putzka
ENTCS
2002
152views more  ENTCS 2002»
13 years 9 months ago
Abstract Logics as Dialgebras
Logics as Dialgebras Alessandra Palmigiano Departament de L`ogica, Hist`oria i Filosofia de la Ci`encia, Universitat de Barcelona The aim of this report is to propose a line of re...
Alessandra Palmigiano
IV
1998
IEEE
145views Visualization» more  IV 1998»
14 years 1 months ago
An Approach to Visualizing Transparency in Computer-Generated Line Drawings
This paper builds on principles of depicting transparency in hand-made line drawings, and develops a method to generate similar, but computer-generated, line drawings in a two-ste...
Jörg Hamel, Stefan Schlechtweg, Thomas Stroth...