8903 search results - page 1426 / 1781 » Alternative |
187
click to vote
ICDAR
2011
IEEE
14 years 6 months ago
2011
IEEE
Abstract—Segmentation of architectural floorplans is a challenging task, mainly because of the large variability in the notation between different plans. In general, traditional...
344
click to vote
CVPR
2010
IEEE
14 years 4 months ago
2010
IEEE
Robust tracking of abrupt motion is a challenging task
in computer vision due to the large motion uncertainty. In
this paper, we propose a stochastic approximation Monte
Carlo (...
166
click to vote
ESOP
2012
Springer
14 years 2 months ago
2012
Springer
The existing call-by-need λ calculi describe lazy evaluation via equational logics. A programmer can use these logics to safely ascertain whether one term is behaviorally equivale...
205
click to vote
EVOW
2012
Springer
14 years 2 months ago
2012
Springer
Abstract. The hydrophobic-polar (HP) model for protein structure preabstracts the fact that hydrophobic interactions are a dominant force in the protein folding process. This model...
204
click to vote
IUI
2012
ACM
14 years 2 months ago
2012
ACM
As applications are developed, functional tests ensure they continue to function as expected. Nowadays, functional testing is mostly done manually, with human testers verifying a ...