Sciweavers

10874 search results - page 42 / 2175
» An Improvement in Sugeno-Yasukawa Modeler
Sort
View
SPIN
2005
Springer
15 years 5 months ago
Improving Spin's Partial-Order Reduction for Breadth-First Search
We describe an improvement of the partial-order reduction algorithm for breadth-first search which was introduced in Spin version 4.0. Our improvement is based on the algorithm by...
Dragan Bosnacki, Gerard J. Holzmann
QRE
2010
129views more  QRE 2010»
14 years 10 months ago
Improving quality of prediction in highly dynamic environments using approximate dynamic programming
In many applications, decision making under uncertainty often involves two steps- prediction of a certain quality parameter or indicator of the system under study and the subseque...
Rajesh Ganesan, Poornima Balakrishna, Lance Sherry
PKC
2012
Springer
235views Cryptology» more  PKC 2012»
13 years 2 months ago
Improved Security for Linearly Homomorphic Signatures: A Generic Framework
ded abstract of this work will appear in Public Key Cryptography — PKC 2012. This is the full version. We propose a general framework that converts (ordinary) signature schemes ...
David Mandell Freeman
INTERSPEECH
2010
14 years 6 months ago
An improved wavelet-based dereverberation for robust automatic speech recognition
This paper presents an improved wavelet-based dereverberation method for automatic speech recognition (ASR). Dereverberation is based on filtering reverberant wavelet coefficients...
Randy Gomez, Tatsuya Kawahara
ICIP
2000
IEEE
16 years 1 months ago
An Improved Video Object Tracking Algorithm Based on Motion Re-Estimation
In this paper, we try to improve a video object-tracking algorithm using a motion re-estimation scheme. The usual object tracking algorithm is composed of two steps: object projec...
Jungeun Lim, Hong K. Cho, Jong Beom Ra