882 search results - page 50 / 177 » On self-embeddings of computable linear orderings |
CVPR
2010
IEEE
15 years 6 months ago
2010
IEEE
We propose an efficient method, built on the popular Bag
of Features approach, that obtains robust multiclass pixellevel
object segmentation of an image in less than 500ms,
with...
LICS
2005
IEEE
15 years 3 months ago
2005
IEEE
A path-based domain theory for higher-order processes is extended to allow name generation. The original domain theory is built around the monoidal-closed category Lin consisting ...
ISSAC
2004
Springer
15 years 3 months ago
2004
Springer
The FFLAS project has established that exact matrix multiplication over finite fields can be performed at the speed of the highly optimized numerical BLAS routines. Since many a...
ICIP
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper addresses the problem of camera calibration from spheres. By studying the relationship between the dual images of spheres and that of the absolute conic, a linear solut...
101
click to vote
COLOGNETWENTE
2009
14 years 11 months ago
2009
Abstract Within the context of solving Mixed-Integer Linear Programs by a Branch-andCut algorithm, we propose a new strategy for branching. Computational experiments show that, on ...