1585 search results - page 105 / 317 » A framework for computer-aided validation |
117
click to vote
KES
2004
Springer
15 years 8 months ago
2004
Springer
With the aim of obtaining a valid compression method for remote sensing and geographic information systems, and because comparisons among the different available techniques are not...
110
click to vote
FM
2003
Springer
15 years 8 months ago
2003
Springer
This paper presents experiments on formal validation of Java applets. It describes a tool that has been developed at the Gemplus Research Labs. This tool allows to formally prove J...
119
click to vote
ISMIR
2003
Springer
15 years 8 months ago
2003
Springer
This paper outlines the findings-to-date of a project to assist in the efforts being made to establish a TREC-like evaluation paradigm within the Music Information Retrieval (MIR)...
115
click to vote
SSIAI
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper deals with the problem of statistical unsupervised fusion of dependent sensors with its potential applications to multisensor image segmentation. On the one hand, Bayes...
101
click to vote
BMVC
2002
15 years 5 months ago
2002
Given a set of real images, Novel View Synthesis (NVS) aims to produce views of a scene that would correspond to that of a virtual camera. There exist many approaches to solving t...