611 search results - page 94 / 123 » Index Sets of Computable Structures with Decidable Theories |
PODS
2003
ACM
14 years 9 months ago
2003
ACM
Watermarking allows robust and unobtrusive insertion of information in a digital document. Very recently, techniques have been proposed for watermarking relational databases or XM...
CORR
2008
Springer
13 years 9 months ago
2008
Springer
Many AI researchers and cognitive scientists have argued that analogy is the core of cognition. The most influential work on computational modeling of analogy-making is Structure ...
3DPVT
2006
IEEE
14 years 3 months ago
2006
IEEE
The use of surface harmonics for rigid and nonrigid shape description is well known. In this paper we define a set of complete hemispherical harmonic basis functions on a hemisph...
PC
2006
13 years 9 months ago
2006
Trees are important datatypes that are often used in representing structured data such as XML. Though trees are widely used in sequential programming, it is hard to write efficien...
ICDM
2007
IEEE
14 years 3 months ago
2007
IEEE
Zonal co-location patterns represent subsets of featuretypes that are frequently located in a subset of space (i.e., zone). Discovering zonal spatial co-location patterns is an im...