Sciweavers

28445 search results - page 404 / 5689
» Anatomically based modeling
Sort
View
149
Voted
SPIN
2000
Springer
15 years 6 months ago
Model Checking Based on Simultaneous Reachability Analysis
Abstract. Simultaneous reachability analysis SRA is a recently proposed approach to alleviating the state space explosion problem in reachability analysis of concurrent systems. Th...
Bengi Karaçali, Kuo-Chung Tai
106
Voted
ICPR
2010
IEEE
15 years 5 months ago
Noise-Robust Voice Activity Detector Based on Hidden Semi-Markov Models
This paper concentrates on speech duration distributions that are usually invariant to noises and proposes a noise-robust and real-time voice activity detector (VAD) using the hid...
Xianglong Liu, Yuan Liang, Yihua Lou, He Li, Baoso...
133
Voted
IICAI
2007
15 years 4 months ago
Automated Test Generation from Models Based on Functional Software Specifications
The paper presents first results of a project that aims at building a model-based tool for functional testing of control software for passenger vehicles. The objective is that this...
Michael Esser, Peter Struss
SIGSAND
2008
15 years 4 months ago
Design of Fractal-Based Systems Within MDA: Platform Independent Modelling
: Today's businesses must continuously adapt to changing external environment in accelerated time frames. This requires businesses to decrease costs and time of the very proce...
Erika Asnina, Janis Osis, Marite Kirikova
NIPS
2007
15 years 4 months ago
Convex Clustering with Exemplar-Based Models
Clustering is often formulated as the maximum likelihood estimation of a mixture model that explains the data. The EM algorithm widely used to solve the resulting optimization pro...
Danial Lashkari, Polina Golland