Sciweavers

982 search results - page 138 / 197
» Model Based Multi-Level Prototyping
Sort
View
FORMATS
2007
Springer
14 years 1 months ago
Partial Order Reduction for Verification of Real-Time Components
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
John Håkansson, Paul Pettersson
IJCAI
2007
13 years 11 months ago
A General Framework for Scheduling in a Stochastic Environment
There are many systems and techniques that address stochastic scheduling problems, based on distinct and sometimes opposite approaches, especially in terms of how scheduling and s...
Julien Bidot, Thierry Vidal, Philippe Laborie, J. ...
CORR
2008
Springer
129views Education» more  CORR 2008»
13 years 10 months ago
Hierarchical Bayesian sparse image reconstruction with application to MRFM
This paper presents a hierarchical Bayesian model to reconstruct sparse images when the observations are obtained from linear transformations and corrupted by an additive white Gau...
Nicolas Dobigeon, Alfred O. Hero, Jean-Yves Tourne...
CGF
1998
121views more  CGF 1998»
13 years 9 months ago
Emotion Editing using Finite Elements
This paper describes the prototype of a facial expression editor. In contrast to existing systems the presented editor takes advantage of both medical data for the simulation and ...
Rolf M. Koch, Markus H. Gross, Albert Bosshard
GCC
2009
Springer
13 years 7 months ago
On HLA-Based Collaborative Simulation Techniques
The design and development of a complex system as well as the simulation of its dynamic behavior are usually involved in multidisciplinary field knowledge. HLA-based collaborative ...
Fan Miao Miao, Fan Yu Shun