Sciweavers

4272 search results - page 554 / 855
» A Case for Automatic System Evaluation
Sort
View
ICMLC
2010
Springer
15 years 4 months ago
Dangerous driving event prediction on expressways using fuzzy attributed map matching
: This paper presents a system for predicting dangerous driving events while driving on an expressway. There are three major tasks involved in the prediction system: (1) how to per...
Chiung-Yao Fang, Bo-Yan Wu, Jung Ming Wang, Sei-Wa...
ICASSP
2011
IEEE
14 years 10 months ago
Cross-language bootstrapping based on completely unsupervised training using multilingual A-stabil
This paper presents our work on rapid language adaptation of acoustic models based on multilingual cross-language bootstrapping and unsupervised training. We used Automatic Speech...
Ngoc Thang Vu, Franziska Kraus, Tanja Schultz
ASWEC
2009
IEEE
16 years 1 months ago
Change Propagation Analysis Using Domain Information
We propose a novel methodology for analysing change propagation in software using the domain-level behavioural model of a system. We hypothesize that change propagation analysis i...
Amir Aryani, Ian D. Peake, Margaret Hamilton, Hein...
QEST
2009
IEEE
16 years 1 months ago
Language-Level Symmetry Reduction for Probabilistic Model Checking
—Symmetry reduction is a technique for combating state-space explosion in model checking. The generic representatives approach to symmetry reduction uses a language-level transla...
Alastair F. Donaldson, Alice Miller, David Parker
ER
2009
Springer
130views Database» more  ER 2009»
16 years 1 months ago
Designing Law-Compliant Software Requirements
New laws, such as HIPAA and SOX, are increasingly impacting the design of software systems, as business organisations strive to comply. This paper studies the problem of generating...
Alberto Siena, John Mylopoulos, Anna Perini, Angel...