Sciweavers

10891 search results - page 412 / 2179
» Combining Model Reductions
Sort
View
ATVA
2009
Springer
172views Hardware» more  ATVA 2009»
15 years 11 months ago
Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation
Abstract. The saturation state-space generation algorithm has demonstrated clear improvements over state-of-the-art symbolic methods for asynchronous systems. This work is motivate...
Yang Zhao, Gianfranco Ciardo
ICASSP
2008
IEEE
15 years 11 months ago
Discriminative feature selection for hidden Markov models using Segmental Boosting
We address the feature selection problem for hidden Markov models (HMMs) in sequence classification. Temporal correlation in sequences often causes difficulty in applying featur...
Pei Yin, Irfan A. Essa, Thad Starner, James M. Reh...
SEMCO
2007
IEEE
15 years 11 months ago
Large-Margin Discriminative Training of Hidden Markov Models for Speech Recognition
Discriminative training has been a leading factor for improving automatic speech recognition (ASR) performance over the last decade. The traditional discriminative training, howev...
Dong Yu, Li Deng
ER
2007
Springer
108views Database» more  ER 2007»
15 years 11 months ago
Reasoning over Extended ER Models
Abstract. We investigate the computational complexity of reasoning over various fragments of the Extended Entity-Relationship (EER) language, which includes a number of constructs:...
Alessandro Artale, Diego Calvanese, Roman Kontchak...
ACMACE
2006
ACM
15 years 11 months ago
3D object modelling for entertainment applications
Recent advances in three-dimensional (3D) data acquisition techniques have offered an alternative to the traditional 2D metamorphosis (or morphing) approaches, which gradually cha...
Yi Song, Li Bai, Yangsheng Wang