Sciweavers

253 search results - page 40 / 51
» Metrics, techniques and recent developments in mixed-signal ...
Sort
View
ECAI
2004
Springer
15 years 1 months ago
Encoding Quantified CSPs as Quantified Boolean Formulae
Quantified Constraint Satisfaction Problems (QCSPs) are CSPs in which some variables are universally quantified. For each possible value of such variables, we have to find ways to ...
Ian P. Gent, Peter Nightingale, Andrew G. D. Rowle...
VMV
2003
173views Visualization» more  VMV 2003»
14 years 11 months ago
Improved Hardware-Accelerated Visual Hull Rendering
The visual hull is an efficient shape approximation for the purpose of reconstructing and visualizing dynamic objects. Recently, rapid progress in graphics hardware development h...
Ming Li, Marcus A. Magnor, Hans-Peter Seidel
69
Voted
IVC
2006
156views more  IVC 2006»
14 years 9 months ago
Image encryption using chaotic logistic map
In recent years, the chaos based cryptographic algorithms have suggested some new and efficient ways to develop secure image encryption techniques.Inthis communication,weproposea ...
Narendra K. Pareek, Vinod Patidar, Krishan K. Sud
78
Voted
JMIV
2006
124views more  JMIV 2006»
14 years 9 months ago
Iterative Total Variation Regularization with Non-Quadratic Fidelity
Abstract. A generalized iterative regularization procedure based on the total variation penalization is introduced for image denoising models with non-quadratic convex fidelity ter...
Lin He, Martin Burger, Stanley Osher
CORR
2011
Springer
197views Education» more  CORR 2011»
14 years 1 months ago
Securing The Kernel via Static Binary Rewriting and Program Shepherding
Recent Microsoft security bulletins show that kernel vulnerabilities are becoming more and more important security threats. Despite the pretty extensive security mitigations many ...
Piotr Bania