3342 search results - page 423 / 669 » Automating Abstract Interpretation |
128
click to vote
ICDE
2010
IEEE
16 years 2 months ago
2010
IEEE
We present the application of customized code generation to database query evaluation. The idea is to use a collection of highly efficient code templates and dynamically instantiat...
116
click to vote
VMCAI
2009
Springer
15 years 9 months ago
2009
Springer
We present the first shape analysis for multithreaded programs that avoids the explicit enumeration of execution-interleavings. Our approach is to automatically infer a resource ...
113
click to vote
CSE
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract—We present here a method for analyzing the neighborhoods of all the vertices in a large graph. We first give an algorithm for characterizing a simple undirected graph t...
147
click to vote
ICRA
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract— This work presents the development of a realtime framework for the research of Multimodal Feedback of Robots/Talking Agents in the context of Human Robot Interaction (H...
113
click to vote
ACCV
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We propose an online learning algorithm to tackle the problem of learning under limited computational resources in a teacher-student scenario, over multiple visual cues. ...