Sciweavers

376 search results - page 14 / 76
» Improved Simulation of Stabilizer Circuits
Sort
View
AAAI
1994
14 years 11 months ago
Noise Strategies for Improving Local Search
It has recently been shown that local search is surprisingly good at nding satisfying assignments for certain computationally hard classes of CNF formulas. The performance of basi...
Bart Selman, Henry A. Kautz, Bram Cohen
VTS
2007
IEEE
100views Hardware» more  VTS 2007»
15 years 4 months ago
Using Scan-Dump Values to Improve Functional-Diagnosis Methodology
In this paper, we identify two main bottlenecks in the functional diagnosis flow and propose new ways to overcome these. Our approach completely eliminates the “Primary Input (P...
Vishnu C. Vimjam, Enamul Amyeen, Ruifeng Guo, Srik...
ICASSP
2011
IEEE
14 years 1 months ago
Stability analysis of multiplicative update algorithms for non-negative matrix factorization
Multiplicative update algorithms have encountered a great success to solve optimization problems with non-negativity constraints, such as the famous non-negative matrix factorizat...
Roland Badeau, Nancy Bertin, Emmanuel Vincent
MUE
2009
IEEE
144views Multimedia» more  MUE 2009»
15 years 4 months ago
Maxtream: Stabilizing P2P Streaming by Active Prediction of Behavior Patterns
In theory, peer-to-peer (P2P) based streaming designs and simulations provide a promising alternative to serverbased streaming systems both in cost and scalability. In practice ho...
Shay Horovitz, Danny Dolev
ICRA
2003
IEEE
149views Robotics» more  ICRA 2003»
15 years 3 months ago
Curvature Based Point Stabilization for Compliant Framed Wheeled Modular Mobile Robots
- Posture stabilization of a compliant framed modular mobile robot is the subject of this paper. This is a new type of wheeled mobile robot that has advantages of a simple modular ...
Brian W. Albiston, Mark A. Minor