1195 search results - page 115 / 239 » An Inventory-Location Model: Formulation, Solution Algorithm... |
CVPR
2006
IEEE
14 years 11 months ago
2006
IEEE
We present a new method for training deformable models. Assume that we have training images where part locations have been labeled. Typically, one fits a model by maximizing the l...
COMPGEOM
2004
ACM
14 years 2 months ago
2004
ACM
Robustness problems due to the substitution of the exact computation on real numbers by the rounded floating point arithmetic are often an obstacle to obtain practical implementa...
NIPS
2007
13 years 10 months ago
2007
Stability is a desirable characteristic for linear dynamical systems, but it is often ignored by algorithms that learn these systems from data. We propose a novel method for learn...
CORR
2011
Springer
13 years 22 days ago
2011
Springer
Consider the problem of verifying security properties of a cryptographic protocol coded in C. We propose an automatic solution that needs neither a pre-existing protocol descripti...
DAC
2006
ACM
14 years 3 months ago
2006
ACM
This paper investigates methods for clock skew minimization using buffer and wire sizing. First, a technique that significantly improves solution quality and stability of sequent...