2501 search results - page 389 / 501 » Logics with Rank Operators |
118
click to vote
AAAI
2008
15 years 6 months ago
2008
Horn-to-Horn belief revision asks for the revision of a Horn knowledge base such that the revised knowledge base is also Horn. Horn knowledge bases are important whenever one is c...
138
Voted
FLOPS
2008
Springer
15 years 6 months ago
2008
Springer
In this paper, we present an extension of the scheme HH(C) (Hereditary Harrop formulas with Constraints) with a suitable formulation of negation in order to obtain a constraint ded...
139
click to vote
DMDW
2000
15 years 5 months ago
2000
View materialization is a central issue in logical design of data warehouses since it is one of the most powerful techniques to improve the response to the workload. Most approach...
129
click to vote
OSDI
2000
ACM
15 years 5 months ago
2000
ACM
Freeblock scheduling is a new approach to utilizing more of disks' potential media bandwidths. By filling rotational latency periods with useful media transfers, 20{50% of a ...
137
Voted
USENIX
2000
15 years 5 months ago
2000
Mobile computers often benefit from software which adapts to their location. For example, a computer might be backed up when at the office, or the default printer might always be ...