996 search results - page 22 / 200 » A general method to speed up fixed-parameter-tractable algor... |
SIGGRAPH
2010
ACM
13 years 11 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
14 years 4 days 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
14 years 9 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
13 years 5 days 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
14 years 21 days 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...