4276 search results - page 499 / 856 » Techniques for Empirical Validation |
137
click to vote
JLP
2010
15 years 1 months ago
2010
Model programs are high-level behavioral specifications used for software testing and design analysis. Composition of model programs is a versatile technique that, at one end of t...
244
click to vote
Publication
Navigation during Minimally Invasive Surgery
(MIS) has recognized difficulties due to limited field-of-view,
off-axis visualization and loss of direct 3D vision. This can cause
...
174
Voted
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
The Independent Component Analysis (ICA) model is extended to the case where the components are not necessarily independent: depending on the value a hidden latent process at the ...
183
click to vote
EDBT
2011
ACM
14 years 10 months ago
2011
ACM
This demonstration paper presents a probabilistic XML data merging tool, that represents the outcome of semi-structured document integration as a probabilistic tree. The system is...
232
click to vote
FSE
2011
Springer
14 years 10 months ago
2011
Springer
In this paper, we present new results on the second-round SHA-3 candidate ECHO. We describe a method to construct a collision in the compression function of ECHO-256 reduced to fou...