11321 search results - page 274 / 2265 » Improvements to Turing's method |
142
click to vote
ICIP
2004
IEEE
16 years 8 months ago
2004
IEEE
For reconstructing a complex object wavefront from digital holograms, we propose a new penalized-likelihood approach based on the measurement statistics and edge-preserving regula...
171
click to vote
CADE
2009
Springer
16 years 7 months ago
2009
Springer
The inverse method is a generic proof search procedure applicable to non-classical logics satisfying cut elimination and the subformula property. In this paper we describe a genera...
147
click to vote
CADE
2006
Springer
16 years 7 months ago
2006
Springer
In this paper we introduce several new improvements to the bottom-up model generation (BUMG) paradigm. Our techniques are based on non-trivial transformations of first-order probl...
245
click to vote
WWW
2010
ACM
16 years 1 months ago
2010
ACM
Huge amounts of search and browse log data has been accumulated in various search engines. Such massive search/browse log data, on the one hand, provides great opportunities to mi...
175
click to vote
CSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Flow statistics is a basic task of passive measurement and has been widely used to characterize the state of the network. Adaptive Non-Linear Sampling (ANLS)is one of the most a...