Sciweavers

10874 search results - page 42 / 2175
» An Improvement in Sugeno-Yasukawa Modeler
Sort
View
SPIN
2005
Springer
15 years 11 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»
15 years 4 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 8 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
15 years 28 days 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 7 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