5525 search results - page 277 / 1105 » Verification of Model Transformations |
114
Voted
ENTCS
2006
15 years 5 months ago
2006
The standard translation of a Bounded Model Checking (BMC) instance into a satisfiability problem, (a.k.a SAT), might produce misleading results in the case when the model under v...
119
Voted
ICIP
2007
IEEE
16 years 6 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...
92
Voted
ISCAS
2002
IEEE
15 years 10 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. ...
198
click to vote
APLAS
2001
ACM
15 years 8 months 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...
132
click to vote
DAC
2005
ACM
16 years 6 months ago
2005
ACM
Recent study shows that the existing first order canonical timing model is not sufficient to represent the dependency of the gate delay on the variation sources when processing an...