502 search results - page 84 / 101 » Popular Mixed Matchings |
EUROSYS
2011
ACM
12 years 12 months ago
2011
ACM
We present an effective technique for crosschecking an IEEE 754 floating-point program and its SIMD-vectorized version, implemented in KLEE-FP, an extension to the KLEE symbolic ...
CVPR
2012
IEEE
11 years 11 months ago
2012
IEEE
Fine-grained categorization refers to the task of classifying objects that belong to the same basic-level class (e.g. different bird species) and share similar shape or visual app...
ICSE
2012
IEEE-ACM
11 years 10 months ago
2012
IEEE-ACM
—Although popular text search engines allow users to retrieve similar web pages, source code search engines do not have this feature. Detecting similar applications is a notoriou...
IROS
2006
IEEE
14 years 2 months ago
2006
IEEE
— To operate outdoors or on non-flat surfaces, mobile robots need appropriate data structures that provide a compact representation of the environment and at the same time suppo...
ICCV
2009
IEEE
13 years 6 months ago
2009
IEEE
This paper revisits the classical problem of detecting interest points, popularly known as "corners," in 2D images by proposing a technique based on fitting algebraic sh...