Sciweavers

9 search results - page 2 / 2
» UNICORE - Globus Interoperability: Getting the Best of Both ...
Sort
View
CVPR
2010
IEEE
13 years 10 months ago
Dense Interest Points
Local features or image patches have become a standard tool in computer vision, with numerous application domains. Roughly speaking, two different types of patchbased image repres...
Tinne Tuytelaars
LCPC
2007
Springer
13 years 11 months ago
Modeling Relations between Inputs and Dynamic Behavior for General Programs
Program dynamic optimization, adaptive to runtime behavior changes, has become increasingly important for both performance and energy savings. However, most runtime optimizations o...
Xipeng Shen, Feng Mao
KDD
2007
ACM
152views Data Mining» more  KDD 2007»
14 years 5 months ago
A framework for classification and segmentation of massive audio data streams
In recent years, the proliferation of VOIP data has created a number of applications in which it is desirable to perform quick online classification and recognition of massive voi...
Charu C. Aggarwal
CADE
2007
Springer
14 years 5 months ago
Solving Quantified Verification Conditions Using Satisfiability Modulo Theories
Abstract. First order logic provides a convenient formalism for describing a wide variety of verification conditions. Two main approaches to checking such conditions are pure first...
Yeting Ge, Clark Barrett, Cesare Tinelli