634 search results - page 30 / 127 » Completion Procedures as Semidecision Procedures |
DMIN
2007
13 years 11 months ago
2007
—The information that exists on the World Wide Web is enormous enough in order to distract the users when trying to find useful information. In order to overcome the large amount...
WOLLIC
2009
Springer
14 years 4 months ago
2009
Springer
We give a simple intuitionistic completeness proof of Kripke semantics with constant domain for intuitionistic logic with implication and universal quantification. We use a cut-fr...
ICIP
2006
IEEE
14 years 11 months ago
2006
IEEE
Three-directional box-splines are particularly well-suited to interpolate and approximate hexagonally sampled data. In this paper, we propose a computationally efficient end-toend...
WCE
2007
13 years 11 months ago
2007
—The subject of extracting high-resolution data from low-resolution images is one of the most important digital processing applications in recent years, attracting much research....
SRDS
1993
IEEE
14 years 1 months ago
1993
IEEE
We propose a simple and practical probabilistic comparison-based model, employing multiple incomplete test concepts, for handling fault location in distributed systems using a Bay...