77016 search results - page 184 / 15404 » Modeling Modeling |
174
click to vote
ASM
2008
ASM
15 years 8 months ago
2008
ASM
Abstract. In this paper we examine the difference between model checking high-level and low-level models. In particular, we compare the ProB model checker for the B-method and the ...
148
click to vote
JACIII
2007
15 years 6 months ago
2007
Abstract— A common framework for formalization of statetransition computation models is presented based on a general theory for studying the interrelationships between specifica...
151
click to vote
WSC
2008
15 years 8 months ago
2008
This paper proposes an analytical model useful in the design of conveyor-based Automated Material Handling Systems (AMHS) to support semiconductor manufacturing. The objective is ...
192
click to vote
JMIV
2007
15 years 6 months ago
2007
We propose a new variational model to denoise an image corrupted by Poisson noise. Like the ROF model described in [1] and [2], the new model uses total-variation regularization, w...
168
click to vote
ENTCS
2008
15 years 6 months ago
2008
When thinking of MDE, the immediate understanding is that models drive software development, in the at the software is constructed by transforming models from higher levels of abs...