4591 search results - page 373 / 919 » The Global Computer |
193
click to vote
PERCOM
2010
ACM
15 years 5 months ago
2010
ACM
—The widespread use of tracking and localization systems may be hindered by centralized server platforms whose performance can hardly scale up to the needs of very large numbers ...
221
click to vote
TGC
2010
Springer
15 years 4 months ago
2010
Springer
Static analysers are becoming so complex that it is crucial to ascertain the soundness of their results in a provable way. In this paper we develop a certified checker in Coq that ...
227
click to vote
ICCV
2011
IEEE
14 years 6 months ago
2011
IEEE
Naive Bayes Nearest Neighbor (NBNN) has recently been proposed as a powerful, non-parametric approach for object classification, that manages to achieve remarkably good results t...
184
click to vote
EMMCVPR
2011
Springer
14 years 6 months ago
2011
Springer
Variational relaxations can be used to compute approximate minimizers of optimal partitioning and multiclass labeling problems on continuous domains. While the resulting relaxed co...
228
click to vote
TOG
2012
13 years 9 months ago
2012
We present an approach to high-level shape editing that adapts the structure of the shape while maintaining its global characteristics. Our main contribution is a new algebraic mo...