68 search results - page 9 / 14 » Tractability Results for Automatic Contracting |
MVA
2007
13 years 8 months ago
2007
In this paper we address automated visual inspection of tablets that may, in contrast to manual tablet sorting, provide objective and reproducible tablet quality assurance. Visual...
PR
2006
13 years 7 months ago
2006
In the past few years, some nonlinear dimensionality reduction (NLDR) or nonlinear manifold learning methods have aroused a great deal of interest in the machine learning communit...
PAMI
2010
13 years 5 months ago
2010
—This paper addresses the problem of self-validated labeling of Markov random fields (MRFs), namely to optimize an MRF with unknown number of labels. We present graduated graph c...
RSS
2007
13 years 8 months ago
2007
— A modeling method for representing belt object deformation is proposed. Deformation of belt objects such as film circuit boards or flexible circuit boards must be estimated f...
ICCAD
2004
IEEE
14 years 4 months ago
2004
IEEE
edicate Abstraction and Induction Edmund Clarke Daniel Kroening June 25, 2004 CMU-CS-04-131 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 It is common...