4502 search results - page 778 / 901 » Regular Model Checking |
141
click to vote
ICCV
2011
IEEE
14 years 4 months ago
2011
IEEE
We study the 3D reconstruction of plant roots from multiple 2D images. To meet the challenge caused by the delicate nature of thin branches, we make three innovations to cope with...
155
click to vote
CIKM
2011
Springer
14 years 4 months ago
2011
Springer
Community QA portals provide an important resource for non-factoid question-answering. The inherent noisiness of user-generated data makes the identification of high-quality cont...
177
click to vote
CORR
2012
Springer
14 years 14 days ago
2012
Springer
We study the problem of learning high dimensional regression models regularized by a structured-sparsity-inducing penalty that encodes prior structural information on either input...
165
click to vote
JMLR
2012
13 years 7 months ago
2012
We transform the outputs of each hidden neuron in a multi-layer perceptron network to have zero output and zero slope on average, and use separate shortcut connections to model th...
133
click to vote
SODA
2012
ACM
13 years 7 months ago
2012
ACM
We study the design and approximation of optimal crowdsourcing contests. Crowdsourcing contests can be modeled as all-pay auctions because entrants must exert effort up-front to e...