Search Sciweavers | Sciweavers

531 search results - page 6 / 107

» The Spec

157

click to vote

CVPR
2010
IEEE

496views Computer Vision» more CVPR 2010»

SPEC Hashing: Similarity Preserving algorithm for Entropy-based Coding

16 years 1 days ago

Download www.cs.utoronto.ca

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

claim paper

Read More »

116

click to vote

SAC
2009
ACM

85views Applied Computing» more SAC 2009»

Situated tuple centres in ReSpecT

15 years 10 months ago

Download apice.unibo.it

Matteo Casadei, Andrea Omicini

claim paper

Read More »

Voted

ICECCS
2007
IEEE

72views Hardware» more ICECCS 2007»

Linking Object-Z with Spec#

15 years 10 months ago

Download www.dur.ac.uk

Shengchao Qin, Guanhua He

claim paper

Read More »

click to vote

IPPS
2005
IEEE

87views Distributed And Parallel Com...» more IPPS 2005»

Impact of Compiler-based Data-Prefetching Techniques on SPEC OMP Application Performance

15 years 9 months ago

Download altair.snu.ac.kr

Xinmin Tian, Rakesh Krishnaiyer, Hideki Saito, Mil...

claim paper

Read More »

110

click to vote

VSTTE
2005
Springer

75views Software Engineering» more VSTTE 2005»

The Spec# Programming System: Challenges and Directions

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers