996 search results - page 22 / 200 » A general method to speed up fixed-parameter-tractable algor... |
SIGGRAPH
2010
ACM
15 years 1 months ago
2010
ACM
We present a control strategy for physically-simulated walking motions that generalizes well across gait parameters, motion styles, character proportions, and a variety of skills....
EUROPAR
2006
Springer
15 years 1 months ago
2006
Springer
We discuss a parallel algorithm for the solution of large-scale generalized algebraic Riccati equations with dimension up to O(105 ). We survey the numerical algorithms underlying ...
DAC
2006
ACM
15 years 10 months ago
2006
ACM
In this paper, we present a method that helps improve the performance of Bounded Model Checking by automatically strengthening invariants so that the termination proof may be obta...
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
We propose blind equalization algorithms that perform similarly to supervised ones, independently of the QAM order. They converge approximately to the Wiener solution, which gener...
IEEEPACT
1998
IEEE
15 years 2 months ago
1998
IEEE
Method speculation of object-oriented programs attempts to exploit method-level parallelism (MLP) by executing sequential method invocations in parallel, while still maintaining c...