Sciweavers

1501 search results - page 84 / 301
» New Directions on Agile Methods: A Comparative Analysis
Sort
View
ICDAR
2007
IEEE
16 years 21 days ago
Finger-Written Chinese Characters Recognition Using Hierarchical LDA
In our camera based user interface, user inputs Chinese characters by moving fingertip with his/her fingers. Therefore, we call those characters “finger– written Chinese chara...
D. Yang, L. Jin, L.-X. Zhen, J.-C. Huang
CAV
2007
Springer
116views Hardware» more  CAV 2007»
16 years 17 days ago
A Decision Procedure for Bit-Vectors and Arrays
Abstract. STP is a decision procedure for the satisfiability of quantifier-free formulas in the theory of bit-vectors and arrays that has been optimized for large problems encoun...
Vijay Ganesh, David L. Dill
SCIA
2005
Springer
182views Image Analysis» more  SCIA 2005»
15 years 12 months ago
Complex Correlation Statistic for Dense Stereoscopic Matching
A traditional solution of area-based stereo uses some kind of windowed pixel intensity correlation. This approach suffers from discretization artifacts which corrupt the correlat...
Jan Cech, Radim Sára
HT
2010
ACM
15 years 11 months ago
Conversational tagging in twitter
Users on Twitter, a microblogging service, started the phenomenon of adding tags to their messages sometime around February 2008. These tags are distinct from those in other Web 2...
Jeff Huang, Katherine M. Thornton, Efthimis N. Eft...
PAMI
2010
162views more  PAMI 2010»
15 years 1 months ago
Differential Earth Mover's Distance with Its Applications to Visual Tracking
The Earth Mover's Distance (EMD) is a similarity measure that captures perceptual difference between two distributions. Its computational complexity, however, prevents a direc...
Qi Zhao, Zhi Yang, Hai Tao