Sciweavers

8177 search results - page 1191 / 1636
» Detecting System Emulators
Sort
View
ICASSP
2009
IEEE
16 years 1 months ago
Unsupervised pronunciation validation
This paper addresses selecting between candidate pronunciations for out-of-vocabulary words in speech processing tasks. We introduce a simple, unsupervised method that outperforms...
Christopher M. White, Abhinav Sethy, Bhuvana Ramab...
ICASSP
2009
IEEE
16 years 1 months ago
Joint MIMO radar waveform and receiving filter optimization
Abstract—The concept of MIMO (multiple-input multipleoutput) radar allows each transmitting antenna element to transmit an arbitrary waveform. This provides extra degrees of free...
Chun-Yang Chen, P. P. Vaidyanathan
ICDAR
2009
IEEE
16 years 1 months ago
Document Analysis Support for the Manual Auditing of Elections
Recent developments have resulted in dramatic changes in the way elections are conducted, both in the United States and around the world. Well-publicized flaws in the security of...
Daniel P. Lopresti, Xiang Zhou, Xiaolei Huang, Gan...
TASE
2009
IEEE
16 years 1 months ago
Semantics of Metamodels in UML
A modelling language can be defined by a metamodel in UML class diagram. This paper defines the semantics of such metamodels through two mappings: a signature mapping from metamod...
Lijun Shan, Hong Zhu
QEST
2009
IEEE
16 years 1 months ago
The Ins and Outs of the Probabilistic Model Checker MRMC
The Markov Reward Model Checker (MRMC) is a software tool for verifying properties over probabilistic models. It supports PCTL and CSL model checking, and their reward extensions....
Joost-Pieter Katoen, Ivan S. Zapreev, Ernst Moritz...
« Prev « First page 1191 / 1636 Last » Next »