Sciweavers

5718 search results - page 393 / 1144
» Modeling Rule Precision
Sort
View
DAGSTUHL
2004
15 years 8 months ago
Language Engineering in Practice
ns to define the abstract modelling language that determines the structure of the models that are to be used a two-step meta-modelling approach turned out as most adequate. In the ...
Martin Große-Rhode
AAAI
1992
15 years 8 months ago
Causal Approximations
models require the identi cation of abstractions and approximations that are well suited to the task at hand. In this paper we analyze the problem of automatically selecting adequ...
P. Pandurang Nayak

Publication
443views
17 years 1 months ago
Luminance Distribution Control based on the Separation of Direct and Indirect Components
We propose a method to control the luminance distribution on a scene by modeling the light propagation with direct and indirect components separately. To reduce the measurement tim...
Osamu Nasu, Shinsaku Hiura, Kosuke Sato
VMCAI
2010
Springer
16 years 4 months ago
Best Probabilistic Transformers
This paper investigates relative precision and optimality of analyses for concurrent probabilistic systems. Aiming at the problem at the heart of probabilistic model checking ? com...
Björn Wachter, Lijun Zhang
DATE
2006
IEEE
124views Hardware» more  DATE 2006»
16 years 26 days ago
Cell delay analysis based on rate-of-current change
Abstract - A cell delay model based on rate-of-currentchange is presented, which accounts for the impact of the shape of the noisy waveform on the output voltage waveform. More pre...
Shahin Nazarian, Massoud Pedram