Sciweavers

94 search results - page 11 / 19
» Boolean Function Representation Based on Disjoint-Support De...
Sort
View
ICIP
2003
IEEE
14 years 20 days ago
Effective detection and elimination of impulsive noise with a minimal image smoothing
Impulsive noise filtering is an important problem of image processing. The problem of noise elimination in an image has a companion problem, the problem of maximal preservation of...
Igor N. Aizenberg, Jaakko Astola, Constantine Buta...
ICML
2005
IEEE
14 years 8 months ago
Proto-value functions: developmental reinforcement learning
This paper presents a novel framework called proto-reinforcement learning (PRL), based on a mathematical model of a proto-value function: these are task-independent basis function...
Sridhar Mahadevan
CGF
2010
174views more  CGF 2010»
13 years 7 months ago
Bidirectional Texture Function Compression Based on Multi-Level Vector Quantization
The Bidirectional Texture Function (BTF) is becoming widely used for accurate representation of real-world material appearance. In this paper a novel BTF compression model is prop...
Vlastimil Havran, J. Filip, Karol Myszkowski
ICCAD
1993
IEEE
134views Hardware» more  ICCAD 1993»
13 years 11 months ago
Beyond the combinatorial limit in depth minimization for LUT-based FPGA designs
In this paper, we present an integrated approach to synthesis and mapping to go beyond the combinatorial limit set up by the depth-optimal FlowMap algorithm. The new algorithm, na...
Jason Cong, Yuzheng Ding
IAW
2003
IEEE
14 years 20 days ago
Static Verification of Worm and virus Behavior in binary Executables using Model Checking
- Use offormal methods in any application scenario requires a precise characterization and representation of the properties that need to be verified The target, which is desired ri...
Prabhat K. Singh, Arun Lakhotia