Sciweavers

2060 search results - page 211 / 412
» The Composition of Event-B Models
Sort
View
ICASSP
2011
IEEE
14 years 10 months ago
Accurate non-iterative depth layer extraction algorithm for image based rendering
Image based rendering is an attractive alternative for generating novel views compared to model based rendering due to its lower complexity and potential for photo-realistic resul...
James Pearson, Pier Luigi Dragotti, Mike Brookes
EMSOFT
2009
Springer
16 years 1 months ago
Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...
Kai Lampka, Simon Perathoner, Lothar Thiele
WSC
2000
15 years 8 months ago
Low cost response surface methods for and from simulation optimization
We propose "low cost response surface methods" (LCRSM) that typically require half the experimental runs of standard response surface methods based on central composite ...
Theodore Allen, Liyang Yu
WSC
2007
15 years 9 months ago
A metamodel-based representation method for reusable simulation model
The composition and reuse of simulation model is currently a hot research topic in the area of complex system modeling and simulation. A unified simulation model representation is...
Yonglin Lei, Lili Song, Weiping Wang 0002, Caiyun ...
BMCBI
2008
77views more  BMCBI 2008»
15 years 6 months ago
Stochastic models for the in silico simulation of synaptic processes
Background: Research in life sciences is benefiting from a large availability of formal description techniques and analysis methodologies. These allow both the phenomena investiga...
Andrea Bracciali, Marcello Brunelli, Enrico Catald...