1557 search results - page 246 / 312 » Programming up to Congruence |
130
click to vote
CCIA
2010
Springer
14 years 6 months ago
2010
Springer
Locally weighted as well as Gaussian mixtures learning algorithms are suitable strategies for trajectory learning and skill acquisition, in the context of programming by demonstrat...
107
click to vote
SIMPRA
2011
14 years 6 months ago
2011
In this paper we present a GPU-based multigrid approach for simulating elastic deformable objects in real time. Our method is based on a finite element discretization of the defo...
TCBB
2010
14 years 5 months ago
2010
Abstract-The discovery of motifs in biosequences is frequently torn between the rigidity of the model on the one hand and the abundance of candidates on the other. In particular, m...
124
click to vote
HPCA
2011
IEEE
14 years 2 months ago
2011
IEEE
Contention management is an important design component to a transactional memory system. Without effective contention management to ensure forward progress, a transactional memory...
EUROSYS
2011
ACM
14 years 2 months ago
2011
ACM
We present an effective technique for crosschecking an IEEE 754 floating-point program and its SIMD-vectorized version, implemented in KLEE-FP, an extension to the KLEE symbolic ...