2569 search results - page 21 / 514 » Approximate Objects and Approximate Theories |
AC
2000
Springer
14 years 11 months ago
2000
Springer
Abstract. In the late 80's Blum, Luby, Rubinfeld, Kannan et al. pioneered the theory of self
LPNMR
2005
Springer
15 years 5 months ago
2005
Springer
ID-logic uses ideas from the field of logic programming to extend second order logic with non-monotone inductive defintions. In this work, we reformulate the semantics of this lo...
CORR
2002
Springer
14 years 11 months ago
2002
Springer
We study xpoints of operators on lattices. To this end we introduce the notion of an approximation of an operator. We order approximations by means of a precision ordering. We sho...
104
click to vote
INFOSCALE
2009
ACM
15 years 4 months ago
2009
ACM
With the current proliferation of wireless networks and mobile device technologies, the management of moving object databases to facilitate queries over these domains has been exte...
180
click to vote
ICDE
2004
IEEE
16 years 1 months ago
2004
IEEE
We examine the problem of evaluating selection queries over imprecisely represented objects. Such objects are used either because they are much smaller in size than the precise on...