4592 search results - page 544 / 919 » Framework for Studying Substitution |
210
click to vote
MSCS
2008
15 years 7 months ago
2008
Abstract. Software security can be ensured by specifying and verifying security properties of software using formal methods with strong theoretical bases. In particular, programs c...
205
click to vote
MST
2008
15 years 7 months ago
2008
This paper studies coinductive representations of real numbers by signed digit streams and fast Cauchy sequences. It is shown how the associated coinductive principle can be used ...
142
click to vote
NA
2008
15 years 7 months ago
2008
We extend Clenshaw-Curtis quadrature to the square in a nontensorial way, by using Sloan's hyperinterpolation theory and two families of points recently studied in the framew...
173
click to vote
FSS
2007
15 years 7 months ago
2007
This paper presents a new fuzzy framework for main motion estimation in video sequences. The estimation is performed using a fuzzy representation of pixel gray levels. The motion ...
153
click to vote
MST
2006
15 years 7 months ago
2006
The "regularity" of a Boolean function can be exploited for decreasing its minimization time. It has already been shown that the notion of autosymmetry is a valid measure...