2449 search results - page 111 / 490 » Tensor Embedding Methods |
139
click to vote
ESOP
2011
Springer
14 years 5 months ago
2011
Springer
We present a static analysis by Abstract Interpretation to check for run-time errors in parallel C programs. Following our work on Astr´ee, we focus on embedded critical programs ...
106
click to vote
CVPR
2007
IEEE
16 years 4 months ago
2007
IEEE
In this paper, we propose a novel learning-based method for image hallucination, with image super-resolution being a specific application that we focus on here. Given a low-resolu...
96
Voted
ICPR
2000
IEEE
16 years 3 months ago
2000
IEEE
A new approach for separating mathematics from usual text is presented. Contrary to the existing methods, it is more oriented toward the segmentation than the recognition, isolati...
ETFA
2006
IEEE
15 years 8 months ago
2006
IEEE
In the present paper we propose a method that permits visualization of manufacturing devices from a functional perspective. The aim of this method is to raise raction level of man...
132
Voted
SAC
2006
ACM
15 years 8 months ago
2006
ACM
Dynamic languages typically allow programs to be written y high level of abstraction. But their dynamic nature makes it very hard to compile such languages, meaning that a price h...