Sciweavers

4276 search results - page 325 / 856
» Techniques for Empirical Validation
Sort
View
ICST
2009
IEEE
15 years 4 months ago
Penetration Testing with Improved Input Vector Identification
Penetration testing is widely used to help ensure the security of web applications. It discovers vulnerabilities by simulating attacks from malicious users on a target application...
William G. J. Halfond, Shauvik Roy Choudhary, Ales...
266
Voted
TCAD
2010
154views more  TCAD 2010»
15 years 1 months ago
Automated Design Debugging With Maximum Satisfiability
As contemporary VLSI designs grow in complexity, design debugging has rapidly established itself as one of the largest bottlenecks in the design cycle today. Automated debug soluti...
Yibin Chen, Sean Safarpour, João Marques-Si...
ICCV
2009
IEEE
16 years 11 months ago
Higher-Order Gradient Descent by Fusion-Move Graph Cut
Markov Random Field is now ubiquitous in many formulations of various vision problems. Recently, optimization of higher-order potentials became practical using higherorder graph...
Hiroshi Ishikawa
ICIP
2008
IEEE
16 years 8 months ago
A model for image patch-based algorithms
An empirical study of the domain of patch-based learning algorithms for image and video processing is conducted. As patch-based algorithms are commonly used, knowledge of the prop...
Karl S. Ni, Truong Q. Nguyen
ICIP
2005
IEEE
16 years 8 months ago
Large scale performance measurement of content-based automated image-orientation detection
? With the proliferation of digital cameras and self-publishing of photos, automatic detection of image orientation will become an important part of photo management systems. In th...
Shumeet Baluja, Henry A. Rowley