6045 search results - page 354 / 1209 » Computable Linearizations of Well-partial-orderings |
251
click to vote
DAC
2011
ACM
14 years 7 months ago
2011
ACM
In this work, we propose an efficient and accurate full-chip thermomechanical stress and reliability analysis tool and design optimization methodology to alleviate mechanical rel...
232
click to vote
POPL
2012
ACM
14 years 3 months ago
2012
ACM
Functional reactive programming (FRP) is an elegant and successful approach to programming reactive systems declaratively. The high levels of abstraction and expressivity that mak...
260
click to vote
JMLR
2012
13 years 10 months ago
2012
We present an algorithm for fast posterior inference in penalized high-dimensional state-space models, suitable in the case where a few measurements are taken in each time step. W...
231
click to vote
CVPR
2012
IEEE
13 years 10 months ago
2012
IEEE
This paper presents a cross-based framework of performing local multipoint filtering efficiently. We formulate the filtering process as a local multipoint regression problem, c...
219
click to vote
CVPR
2012
IEEE
13 years 10 months ago
2012
IEEE
This paper proposes a simple “prior-free” method for solving non-rigid structure-from-motion factorization problems. Other than using the basic low-rank condition, our method ...