Sciweavers

877 search results - page 96 / 176
» Model Based Development of Safety-Critical Systems Using Tem...
Sort
View
ICOIN
2001
Springer
14 years 1 months ago
A 3D Modeling System for Creative Design
We propose a new approach to easily creating 3 0 geometric models. A technique called interactive evolutionary computation (IEC) is introduced to accelerate user’s invention and...
Hiroaki Nishino, Hideyuki Takagi, Sung-Bae Cho, Ko...
QEST
2006
IEEE
14 years 3 months ago
Bound-Preserving Composition for Markov Reward Models
Stochastic orders can be applied to Markov reward models and used to aggregate models, while introducing a bounded error. Aggregation reduces the number of states in a model, miti...
David Daly, Peter Buchholz, William H. Sanders
ISPASS
2009
IEEE
14 years 3 months ago
Machine learning based online performance prediction for runtime parallelization and task scheduling
—With the emerging many-core paradigm, parallel programming must extend beyond its traditional realm of scientific applications. Converting existing sequential applications as w...
Jiangtian Li, Xiaosong Ma, Karan Singh, Martin Sch...
CDC
2009
IEEE
131views Control Systems» more  CDC 2009»
14 years 1 months ago
Further results on plant parameter identification using continuous-time multiple-model adaptive estimators
This paper describes a deterministic approach to adaptive state and parameter estimation using a multiple model structure. In the set-up adopted, the plant of interest is described...
Vahid Hassani, A. Pedro Aguiar, António Man...
AVSS
2008
IEEE
14 years 3 months ago
Person Tracking with Audio-Visual Cues Using the Iterative Decoding Framework
Tracking humans in an indoor environment is an essential part of surveillance systems. Vision based and microphone array based trackers have been extensively researched in the pas...
Shankar T. Shivappa, Mohan M. Trivedi, Bhaskar D. ...