11397 search results - page 269 / 2280 » A Relational Abstraction for Functions |
182
click to vote
IANDC
2006
15 years 7 months ago
2006
We characterise the aperiodic autocorrelation for a Boolean function, f, and define the Aperiodic Propagation Criteria (APC) of degree l and order q. We establish the strong simil...
218
click to vote
ENTCS
2002
15 years 7 months ago
2002
In this work we provide a semantic description of functional logic languages covering notions like laziness, sharing, and non-determinism. Such a semantic description is essential...
189
click to vote
RC
2002
15 years 7 months ago
2002
A new method to decide the invertibility of a given high-dimensional function over a domain is presented. The problem arises in the field of verified solution of differential algeb...
172
click to vote
VIS
2006
IEEE
16 years 8 months ago
2006
IEEE
Based on the observation that it is relatively easier for users to generate several good transfer functions (TFs) for different features of volumetric data, we propose TF fusing, ...
212
click to vote
ICPR
2006
IEEE
16 years 8 months ago
2006
IEEE
Traditionally, the Universal Background Model (UBM) is viewed as the background model of the entire acoustic feature space. We propose a novel interpretation of the UBM model, and...