588 search results - page 53 / 118 » Minimality Results for the Spatial Logics |
TPLP
2002
13 years 8 months ago
2002
In this paper, we consider an approach to update nonmonotonic knowledge bases represented as extended logic programs under the answer set semantics. In this approach, new informat...
BMCBI
2008
13 years 9 months ago
2008
Background: Metabolic networks present a complex interconnected structure, whose understanding is in general a non-trivial task. Several formal approaches have been developed to s...
ET
2000
13 years 8 months ago
2000
: We present a method for obtaining a minimal set of test configurations and their associated set oftest patterns that completely tests re-programmable Programmable Logic Arrays (P...
VLDB
2001
ACM
14 years 1 months ago
2001
ACM
We propose multi-precision similarity matching where the image is divided into a number of subblocks, each with its associated color histogram. We present experimental results sho...
ICDE
2012
IEEE
11 years 11 months ago
2012
IEEE
Abstract—This paper presents the GeoFeed system; a locationaware news feed system that provides a new platform for its users to get spatially related message updates from either ...