2062 search results - page 311 / 413 » Derivatives of Logical Formulas |
160
click to vote
VIROLOGY
2010
15 years 4 months ago
2010
We propose a general, formal definition of the concept of malware (malicious software) as a single sentence in the language of a certain modal logic. Our definition al thanks to it...
148
click to vote
ICIP
2010
IEEE
15 years 3 months ago
2010
IEEE
This work presents a novel parallel technique to implement stack morphological filters for image processing. The method relies on applying the image bitwise decomposition to manip...
339
click to vote
Book
This is a great draft book about stochastic calculus and finance. It covers large number of topics such as Introduction to Probability Theory, Conditional Expectation, Arbitrage Pr...
142
click to vote
ICCV
2009
IEEE
16 years 11 months ago
2009
IEEE
The concept of graph cuts is by now a standard method
for all sorts of low level vision problems. Its popularity is
largely due to the fact that globally or near globally optimal...
153
click to vote
ECCV
2000
Springer
16 years 7 months ago
2000
Springer
The quadrifocal tensor which connects image measurements along 4 views is not yet well understood as its counterparts the fundamental matrix and the trifocal tensor. This paper es...