3885 search results - page 107 / 777 » Transformations for Write-All-with-Collision Model |
ICIP
2007
IEEE
14 years 10 months ago
2007
IEEE
This paper shows that the basic Hough transform is implicitly a Bayesian process--that it computes an unnormalized posterior distribution over the parameters of a single shape giv...
ISCAS
2002
IEEE
14 years 2 months ago
2002
IEEE
So far, there have been introduced many front-end studies, but most of them fail to present, in a consistent way, how the signals are transformed throughout the front-end itself. ...
APLAS
2001
ACM
14 years 22 days ago
2001
ACM
Abstract. We propose a semantic and syntactic framework for modelling linearly used effects, by giving the monadic transforms of the computational lambda calculus (considered as th...
SAS
2007
Springer
14 years 3 months ago
2007
Springer
Denotational static analysis of Java bytecode has a nice and clean compositional definition and an efficient implementation with binary decision diagrams. But it models only the f...
NMELP
1994
14 years 1 months ago
1994
In this paper, we propose a new constructive characterization of those semantics for disjunctive logic programs which are extensions of the well-founded semantics for normal progra...