575 search results - page 40 / 115 » A Note on Karr's Algorithm |
158
click to vote
ICDE
2012
IEEE
13 years 1 months ago
2012
IEEE
— We consider the approximate string membership checking (ASMC) problem of extracting all the strings or substrings in a document that approximately match some string in a given ...
IPL
2008
14 years 11 months ago
2008
We consider a server location problem with only one server to move. In this paper we assume that a request is given as a region and that the service can be done anywhere inside th...
VIP
2001
15 years 16 days ago
2001
This paper is about implementing and analysing a strategy of generating the intermediate views of a scene from a pair of images taken from different position and orientation. In p...
ENDM
2010
14 years 11 months ago
2010
We present a class of instances of the existence of a second object of a specified type, in fact, of an even number of objects of a specified type, which generalizes the existence...
100
click to vote
LMCS
2006
14 years 11 months ago
2006
It is well known that the resolution method (for propositional logic) is complete. However, completeness proofs found in the literature use an argument by contradiction showing tha...