Sciweavers

94 search results - page 11 / 19
» Boolean Function Representation Based on Disjoint-Support De...
Sort
View
ICIP
2003
IEEE
15 years 2 months 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
15 years 10 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»
14 years 9 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»
15 years 1 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
15 years 2 months 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