8067 search results - page 285 / 1614 » A Model Proposal of the Interoperability Problem |
124
click to vote
SPIRE
2004
Springer
15 years 10 months ago
2004
Springer
To date, attempts for applying syntactic information in the document-based retrieval model dominant have led to little practical improvement, mainly due to the problems associated ...
143
Voted
LICS
1999
IEEE
15 years 8 months ago
1999
IEEE
Pitts and Stark have proposed the -calculus as a language for investigating the interaction of unique name generation and higher-order functions. They developed a sound model base...
119
click to vote
ICIP
2004
IEEE
16 years 6 months ago
2004
IEEE
An interesting problem in digital forensics is that given a digital image, would it be possible to identify the camera model which was used to obtain the image. In this paper we l...
110
Voted
ICIP
2009
IEEE
16 years 5 months ago
2009
IEEE
We wish to recover an original image u from several blurry-noisy versions fk, called frames. We assume a more severe degradation model, in which the image u has been blurred by a ...
132
click to vote
ISOLA
2007
Springer
15 years 10 months ago
2007
Springer
The testing and formal verification of black box software components is a challenging domain. The problem is even harder when specifications of these components are not available...