1550 search results - page 255 / 310 » Benchmarking for Graph Transformation |
93
Voted
PLDI
2012
ACM
13 years 3 months ago
2012
ACM
We describe an approach for synthesizing data representations for concurrent programs. Our compiler takes as input a program written using concurrent relations and synthesizes a r...
106
click to vote
CVPR
2012
IEEE
13 years 3 months ago
2012
IEEE
In this paper, we address the problem of video object segmentation, which is to automatically identify the primary object and segment the object out in every frame. We propose a n...
121
Voted
CVPR
2012
IEEE
13 years 3 months ago
2012
IEEE
We study the problem of segmenting multiple cell nuclei from GFP or Hoechst stained microscope images with a shape prior. This problem is encountered ubiquitously in cell biology ...
133
Voted
CVPR
2012
IEEE
13 years 3 months ago
2012
IEEE
This paper addresses recognition of human activities with stochastic structure, characterized by variable spacetime arrangements of primitive actions, and conducted by a variable ...
108
Voted
ASPLOS
2010
ACM
15 years 7 months ago
2010
ACM
SIMD (Single Instruction, Multiple Data) engines are an essential part of the processors in various computing markets, from servers to the embedded domain. Although SIMD-enabled a...