8486 search results - page 358 / 1698 » Ordered Enumeration Method |
175
click to vote
RIVF
2007
15 years 6 months ago
2007
— Results of queries by personal names often contain documents related to several people because of the namesake problem. In order to differentiate documents related to different...
145
click to vote
AICOM
2010
15 years 5 months ago
2010
This paper presents an interactive proof method for the verification of temporal properties of concurrent systems based on symbolic execution. Symbolic execution is a well known a...
144
Voted
CGF
2010
15 years 5 months ago
2010
We introduce in this paper a new method for smooth foldover-free warping of images. It allows users to specify the constraints in two different ways: positional constraints to con...
135
click to vote
SIGPRO
2008
15 years 5 months ago
2008
In this paper, an improved approach to blind deconvolution of LTI systems incorporating phase unwrapping is presented. The method can recover a noise-free estimate of the logarith...
139
Voted
TIFS
2008
15 years 5 months ago
2008
Combination functions typically used in biometric identification systems consider as input parameters only those matching scores which are related to a single person in order to de...