Sciweavers

531 search results - page 6 / 107
» The Spec
Sort
View
CVPR
2010
IEEE
15 years 5 months ago
SPEC Hashing: Similarity Preserving algorithm for Entropy-based Coding
Searching approximate nearest neighbors in large scale high dimensional data set has been a challenging problem. This paper presents a novel and fast algorithm for learning binary...
Ruei-Sung Lin, David Ross, Jay Yagnik
SAC
2009
ACM
15 years 4 months ago
Situated tuple centres in ReSpecT
Matteo Casadei, Andrea Omicini
ICECCS
2007
IEEE
72views Hardware» more  ICECCS 2007»
15 years 4 months ago
Linking Object-Z with Spec#
Shengchao Qin, Guanhua He
VSTTE
2005
Springer
15 years 3 months ago
The Spec# Programming System: Challenges and Directions
Michael Barnett, Robert DeLine, Manuel Fähndr...