72 search results - page 3 / 15 » Reducing the Derivation of Redundant Clauses in Reasoning Sy... |
ICCSA
2003
Springer
14 years 20 days ago
2003
Springer
Abstract. In this paper, we consider a two-layer hierarchy, ı.e. micro and umbrella layer, cellular system, and propose a new hand-off mechanism to minimize call blocking probabil...
EUROCOLT
1999
Springer
13 years 11 months ago
1999
Springer
We study the learnability of first order Horn expressions from equivalence and membership queries. We show that the class of expressions where every term in the consequent of a c...
AISC
2004
Springer
14 years 26 days ago
2004
Springer
Nonlinear constraint systems can be solved by combining consistency techniques and search. In this approach, the search space is reduced using local reasoning on constraints. Howev...
DOOD
1997
Springer
13 years 11 months ago
1997
Springer
Abstract. This work discusses the CROQUE approach to the maintenance problem for materialized views. In a CROQUE database, application-speci ed collections (type extents or classes...
ICCBR
2003
Springer
14 years 20 days ago
2003
Springer
Abstract. This paper describes an innovative usage of Case-Based Reasoning to reduce the high computing cost derived from running large interactive simulation scenarios within the ...