3744 search results - page 417 / 749 » Shape from Symmetry |
151
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— A promising approach for ultra high data storage capacities in magnetic hard disk drives is the use of bitpatterned media (BPM) that allows both higher track densities and incr...
186
click to vote
IBPRIA
2009
Springer
15 years 11 months ago
2009
Springer
ent abstract presents OASIS, an Online Algorithm for Scalable Image Similarity learning that learns a bilinear similarity measure over sparse representations. OASIS is an online du...
208
click to vote
CAV
2000
Springer
15 years 11 months ago
2000
Springer
Address: Abstraction, Composition, Symmetry, and a Little Deduction: The Remedies to State Explosion . . . . . . . . . . . . . . . . . . . . . . . . . . 1 A. Pnueli Invited Address...
231
click to vote
CSFW
1999
IEEE
15 years 11 months ago
1999
IEEE
We propose an efficient automatic checking algorithm, Athena, for analyzing security protocols. Athena incorporates a logic that can express security properties including authenti...
181
click to vote
ECCV
2010
Springer
15 years 11 months ago
2010
Springer
A fundamental task in artificial intelligence and computer vision is to build machines that can behave like a human in recognizing a broad range of visual concepts. This paper aims...