5159 search results - page 922 / 1032 » Structural Testing of Executables |
166
click to vote
CVPR
2012
IEEE
13 years 4 months ago
2012
IEEE
In this paper, we present an efficient general-purpose objective no-reference (NR) image quality assessment (IQA) framework based on unsupervised feature learning. The goal is to...
135
click to vote
ECOOP
2010
Springer
15 years 7 months ago
2010
Springer
We reduce JavaScript to a core calculus structured as a small-step operational semantics. We present several peculiarities of the language and show that our calculus models them. W...
221
click to vote
ICTAC
2010
Springer
15 years 1 months ago
2010
Springer
Material Flow Abstraction of Manufacturing Systems. ‣Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Specification and Verification of a MPI Implementation for a MP-SoC...
154
click to vote
CVPR
2009
IEEE
16 years 9 months ago
2009
IEEE
In an 2D echocardiogram exam, an ultrasound probe
samples the heart with 2D slices. Changing the orientation
and position on the probe changes the slice viewpoint, altering
the ...
129
click to vote
DASFAA
2009
IEEE
15 years 9 months ago
2009
IEEE
The XML technologies have brought a lot of new ideas and abilities in the field of information management systems. Nowadays, XML is used almost everywhere: from small configurati...