19798 search results - page 3795 / 3960 » Is Structural Subtyping Useful |
135
click to vote
ICCAD
2001
IEEE
16 years 22 days ago
2001
IEEE
Abstract: We propose an effective algorithm for power optimization in behavioral synthesis. In previous work, it has been shown that several hardware allocation/binding problems fo...
147
click to vote
PEPM
2009
ACM
16 years 22 days ago
2009
ACM
We show that a wide class of bidirectional data-flow analyses and program optimizations based on them admit declarative descriptions in the form of type systems. The salient feat...
133
click to vote
IUI
2010
ACM
16 years 22 days ago
2010
ACM
We present an extension of a computational cognitive model of social tagging and exploratory search called the semantic imitation model. The model assumes a probabilistic represen...
145
click to vote
CVPR
2010
IEEE
16 years 9 days ago
2010
IEEE
In matching tasks in computer vision, and particularly in real-time tracking from video, there are generally strong priors available on absolute and relative correspondence locati...
141
click to vote
CVPR
2010
IEEE
15 years 12 months ago
2010
IEEE
We propose a visual event recognition framework for consumer domain videos by leveraging a large amount of loosely labeled web videos (e.g., from YouTube). First, we propose a new...