Sciweavers

466 search results - page 14 / 94
» Representation and Computation of Boolean Combinations of Sc...
Sort
View
VISUALIZATION
2000
IEEE
14 years 29 days ago
Shock and vortex visualization using a combined visual/Haptic interface
Specific rendering modes are developed for a combined visual/haptic interface to allow exploration and understanding of fluid dynamics data. The focus is on visualization of sho...
Dale A. Lawrence, Christopher D. Lee, Lucy Y. Pao,...
CAV
2010
Springer
251views Hardware» more  CAV 2010»
14 years 15 days ago
Automated Assume-Guarantee Reasoning through Implicit Learning
Abstract. We propose a purely implicit solution to the contextual assumption generation problem in assume-guarantee reasoning. Instead of improving the L∗ algorithm — a learnin...
Yu-Fang Chen, Edmund M. Clarke, Azadeh Farzan, Min...
CVPR
2012
IEEE
11 years 11 months ago
Visual tracking via adaptive structural local sparse appearance model
Sparse representation has been applied to visual tracking by finding the best candidate with minimal reconstruction error using target templates. However most sparse representati...
Xu Jia, Huchuan Lu, Ming-Hsuan Yang
CVPR
2010
IEEE
13 years 6 months ago
Visual classification with multi-task joint sparse representation
We address the problem of computing joint sparse representation of visual signal across multiple kernel-based representations. Such a problem arises naturally in supervised visual...
Xiaotong Yuan, Shuicheng Yan
RELMICS
2000
Springer
14 years 4 days ago
A Relational View of Subgraph Isomorphism
This paper presents a novel approach to the problem of finding all subgraph isomorphisms of a (pattern) graph into another (target) graph. A relational formulation of the problem, ...
Jordi Cortadella, Gabriel Valiente