6045 search results - page 371 / 1209 » Computable Linearizations of Well-partial-orderings |
231
click to vote
MICCAI
2004
Springer
16 years 8 months ago
2004
Springer
Mass-spring systems are of special interest for soft tissue modeling in surgical simulation due to their ease of implementation and real-time behavior. However, the parameter ident...
248
click to vote
ICML
2006
IEEE
16 years 8 months ago
2006
IEEE
Quadratic program relaxations are proposed as an alternative to linear program relaxations and tree reweighted belief propagation for the metric labeling or MAP estimation problem...
187
click to vote
WWW
2009
ACM
16 years 8 months ago
2009
ACM
We describe an optimize-and-dispatch approach for delivering pay-per-impression advertisements in online advertising. The platform provider for an advertising network commits to s...
183
click to vote
VLSID
2008
IEEE
16 years 8 months ago
2008
IEEE
Compared to subthreshold leakage, dynamic power is normally much less sensitive to the process variation due to its approximately linear relation to the process parameters. Howeve...
339
click to vote
POPL
2008
ACM
16 years 8 months ago
2008
ACM
We propose a characterization of PSPACE by means of a type assignment for an extension of lambda calculus with a conditional construction. The type assignment STAB is an extension...