14515 search results - page 471 / 2903 » Efficient Embedded Computing |
195
click to vote
TPHOL
2002
IEEE
16 years 17 days ago
2002
IEEE
Abstract. This paper describes a formalization of the weakest precondition, wp, for general recursive programs using the type-theoretical proof assistant Coq. The formalization is ...
194
Voted
COMGEO
2007
ACM
15 years 7 months ago
2007
ACM
A new algorithm is presented for surface reconstruction from unorganized points. Unlike many previous algorithms, this algorithm does not select a subcomplex of the Delaunay Trian...
172
click to vote
SIAMCOMP
2008
15 years 7 months ago
2008
We present a new algorithm to compute a subset S of vertices of a planar graph G whose removal partitions G into O(N/h) subgraphs of size O(h) and with boundary size O( h) each. ...
234
click to vote
MM
2010
ACM
15 years 5 months ago
2010
ACM
Face annotation makes it easy to share and manage digital photos and videos. While state-of-the-art face recognition algorithms can achieve high accuracy to support automatic face...
246
Voted
CVPR
2011
IEEE
15 years 3 months ago
2011
IEEE
This paper addresses the problem of learning similaritypreserving binary codes for efficient retrieval in large-scale image collections. We propose a simple and efficient altern...