8828 search results - page 403 / 1766 » Formal methods in practice |
169
click to vote
TCSV
2008
15 years 6 months ago
2008
Look-up table (LUT)-based data hiding is a simple and efficient technique to hide secondary information (watermark) into multimedia work for various applications such as copyright ...
164
Voted
CCE
2005
15 years 6 months ago
2005
A method to select appropriate green solvents for the promotion of a class of organic reactions has been developed. The method combines knowledge from industrial practice and phys...
202
click to vote
SIAMJO
2000
15 years 6 months ago
2000
Mathematical programs with nonlinear complementarity constraints are reformulated using better-posed but nonsmooth constraints. We introduce a class of functions, parameterized by...
206
click to vote
CVPR
2011
IEEE
15 years 2 months ago
2011
IEEE
Kernel methods have been popular over the last decade to solve many computer vision, statistics and machine learning problems. An important, both theoretically and practically, op...
131
click to vote
SIAMNUM
2010
15 years 1 months ago
2010
We consider the convergence of a volume corrected characteristics-mixed method (VCCMM) for advection-diffusion systems. It is known that, without volume correction, the method is f...