Sciweavers

816 search results - page 82 / 164
» Practical Multi-level Modeling on MOF-compliant Modeling Fra...
Sort
View
APN
1992
Springer
15 years 2 months ago
Towards a Modular Analysis of Coloured Petri Nets
The use of different High-level Petri net formalisms has made it possible to create Petri net models of large systems. Even though the use of such models allows the modeller to cr...
Søren Christensen, Laure Petrucci
PAMI
2008
145views more  PAMI 2008»
14 years 10 months ago
Latent-Space Variational Bayes
Variational Bayesian Expectation-Maximization (VBEM), an approximate inference method for probabilistic models based on factorizing over latent variables and model parameters, has ...
JaeMo Sung, Zoubin Ghahramani, Sung Yang Bang
APSEC
2004
IEEE
15 years 1 months ago
A Systematic Method to Instantiate Core Assets in Product Line Engineering
Product line engineering (PLE) is one of the recent and effective reuse approaches, and it consists of two processes; framework engineering and application engineering. Framework ...
Soo Dong Kim, Soo Ho Chang, Chee Won Chang
CHARME
2005
Springer
120views Hardware» more  CHARME 2005»
15 years 3 months ago
How Thorough Is Thorough Enough?
Abstraction is the key for effectively dealing with the state explosion in model-checking. Unfortunately, finding abstractions which are small and yet enable us to get conclusive ...
Arie Gurfinkel, Marsha Chechik
ACCV
2007
Springer
15 years 4 months ago
Color Constancy Via Convex Kernel Optimization
This paper introduces a novel convex kernel based method for color constancy computation with explicit illuminant parameter estimation. A simple linear render model is adopted and ...
Xiaotong Yuan, Stan Z. Li, Ran He