1724 search results - page 266 / 345 » Abstract Interpreters for Free |
152
click to vote
VMCAI
2009
Springer
16 years 27 days 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 ...
154
Voted
CSE
2009
IEEE
16 years 27 days 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...
183
click to vote
ICRA
2009
IEEE
16 years 23 days 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...
169
click to vote
ACCV
2009
Springer
16 years 22 days 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. ...
169
click to vote
AI
2009
Springer
16 years 22 days ago
2009
Springer
Abstract. We use a hierarchical Bayesian approach to model user preferences in different contexts or settings. Unlike many previous recommenders, our approach is content-based. We...