Results 11  20
of
100
Efficient methods for qualitative spatial reasoning
 Proceedings of the 13th European Conference on Artificial Intelligence
, 1998
"... The theoretical properties of qualitative spatial reasoning in the RCC8 framework have been analyzed extensively. However, no empirical investigation has been made yet. Our experiments show that the adaption of the algorithms used for qualitative temporal reasoning can solve large RCC8 instances, ..."
Abstract

Cited by 52 (12 self)
 Add to MetaCart
The theoretical properties of qualitative spatial reasoning in the RCC8 framework have been analyzed extensively. However, no empirical investigation has been made yet. Our experiments show that the adaption of the algorithms used for qualitative temporal reasoning can solve large RCC8 instances, even if they are in the phase transition region  provided that one uses the maximal tractable subsets of RCC8 that have been identified by us. In particular, we demonstrate that the orthogonal combination of heuristic methods is successful in solving almost all apparently hard instances in the phase transition region up to a certain size in reasonable time.
On the Complexity of DNA Physical Mapping
, 1994
"... The Physical Mapping Problem is to reconstruct the relative position of fragments (clones) of DNA along the genome from information on their pairwise overlaps. We show that two simplified versions of the problem belong to the class of NPcomplete problems, which are conjectured to be computationa ..."
Abstract

Cited by 47 (7 self)
 Add to MetaCart
The Physical Mapping Problem is to reconstruct the relative position of fragments (clones) of DNA along the genome from information on their pairwise overlaps. We show that two simplified versions of the problem belong to the class of NPcomplete problems, which are conjectured to be computationally intractable. In one version all clones have equal length, and in another, clone lengths may be arbitrary. The proof uses tools from graph theory and complexity.
The Complexity of Querying Indefinite Data about Linearly Ordered Domains
 In The Proceedings of the Eleventh ACM SIGACTSIGMODSIGART Symposium on Principles of Database Systems
, 1992
"... In applications dealing with ordered domains, the available data is frequently indefinite. While the domain is actually linearly ordered, only some of the order relations holding between points in the data are known. Thus, the data provides only a partial order, and query answering involves determin ..."
Abstract

Cited by 46 (2 self)
 Add to MetaCart
(Show Context)
In applications dealing with ordered domains, the available data is frequently indefinite. While the domain is actually linearly ordered, only some of the order relations holding between points in the data are known. Thus, the data provides only a partial order, and query answering involves determining what holds under all the compatible linear orders. In this paper we study the complexity of evaluating queries in logical databases containing such indefinite information. We show that in this context queries are intractable even under the data complexity measure, but identify a number of PTIME subproblems. Data complexity in the case of monadic predicates is one of these PTIME cases, but for disjunctive queries the proof is nonconstructive, using wellquasiorder techniques. We also show that the query problem we study is equivalent to the problem of containment of conjunctive relational database queries containing inequalities. One of our results implies that the latter is \Pi p 2 ...
Reasoning About Temporal Relations: The Tractable Subalgebras Of Allen's Interval Algebra
 Journal of the ACM
, 2001
"... Allen's interval algebra is one of the best established formalisms for temporal reasoning. This paper is the final step in the classification of complexity in Allen's algebra. We show that the current knowledge about tractability in the interval algebra is complete, that is, this algebra c ..."
Abstract

Cited by 42 (2 self)
 Add to MetaCart
(Show Context)
Allen's interval algebra is one of the best established formalisms for temporal reasoning. This paper is the final step in the classification of complexity in Allen's algebra. We show that the current knowledge about tractability in the interval algebra is complete, that is, this algebra contains exactly eighteen maximal tractable subalgebras, and reasoning in any fragment not entirely contained in one of these subalgebras is NPcomplete. We obtain this result by giving a new uniform description of the known maximal tractable subalgebras and then systematically using an algebraic technique for identifying maximal subalgebras with a given property.
Processing Disjunctions in Temporal Constraint Networks
 Artificial Intelligence
, 1997
"... The framework of Temporal constraint Satisfaction Problems (TCSP) has been proposed for representing and processing temporal knowledge. Deciding consistency of TCSPs is known to be intractable. As demonstrates in this paper, even local consistency algorithms like pathconsistency can be exponential ..."
Abstract

Cited by 41 (2 self)
 Add to MetaCart
(Show Context)
The framework of Temporal constraint Satisfaction Problems (TCSP) has been proposed for representing and processing temporal knowledge. Deciding consistency of TCSPs is known to be intractable. As demonstrates in this paper, even local consistency algorithms like pathconsistency can be exponential due to the fragmentation problem. We present two new polynomial approximation algorithms, UpperLowerTightening (ULT) and LoosePathConsistency (LPC), which are e cient yet e ective in detecting inconsistencies and reducing fragmentation. The experiments we performed on hard problems in the transition region show that LPC is the superior algorithm. When incorporated within backtrack search LPC is capable of improving performance by orders of magnitude.
A Unifying Approach to Temporal Constraint Reasoning
 Artificial Intelligence
"... We present a formalism, Disjunctive Linear Relations (DLRs), for reasoning about temporal constraints. DLRs subsume most of the formalisms for temporal constraint reasoning proposed in the literature and is therefore computationally expensive. We also present a restricted type of DLRs, Horn DLRs ..."
Abstract

Cited by 37 (10 self)
 Add to MetaCart
(Show Context)
We present a formalism, Disjunctive Linear Relations (DLRs), for reasoning about temporal constraints. DLRs subsume most of the formalisms for temporal constraint reasoning proposed in the literature and is therefore computationally expensive. We also present a restricted type of DLRs, Horn DLRs, which have a polynomialtime satisfiability problem. We prove that most approaches to tractable temporal constraint reasoning can be encoded as Horn DLRs, including the ORDHorn algebra by Nebel and Burckert and the simple temporal constraints by Dechter et al. Thus, DLRs is a suitable unifying formalism for reasoning about temporal constraints. 1 Introduction Reasoning about temporal knowledge abounds in artificial intelligence applications and other areas, such as planning [4], natural language understanding [25] and molecular biology [6, 13]. In most applications, knowledge of temporal constraints is expressed in terms of collections of relations between time intervals or time po...
The Meeting Graph: A New Model for Loop Cyclic Register Allocation
 In Proc. of the Fifth Workshop on Compilers for Parallel Computers (CPC95
, 1995
"... Register allocation is a compiler phase in which the gains can be essential in achieving performance on new architectures exploiting instruction level parallelism. We focus our attention on loops and improve the existing methods by introducing a new kind of graph. We model loop unrolling and registe ..."
Abstract

Cited by 35 (12 self)
 Add to MetaCart
(Show Context)
Register allocation is a compiler phase in which the gains can be essential in achieving performance on new architectures exploiting instruction level parallelism. We focus our attention on loops and improve the existing methods by introducing a new kind of graph. We model loop unrolling and register allocation together in a common framework, called the meeting graph. We expect our results to significantly improve loop register allocation while keeping the amount of code replication low. As a byproduct, we present an optimal algorithm for allocating loop variables to a rotating register file, as well as a new heuristic for loop variables spilling. 1 Introduction The efficiency of register allocation is a crucial problem in modern microprocessors, where the increasing gap between the internal clock cycle and memory latency exacerbates the need to keep the variables in registers and to avoid spill code. In this paper, we address the important problem of loop register allocation and spi...
Pathwidth, Bandwidth and Completion Problems to Proper Interval Graphs with Small Cliques
 SIAM Journal on Computing
, 1996
"... We study two related problems motivated by molecular biology: ffl Given a graph G and a constant k, does there exist a supergraph G of G which is a unit interval graph and has clique size at most k? ffl Given a graph G and a proper kcoloring c of G, does there exist a supergraph We show th ..."
Abstract

Cited by 32 (6 self)
 Add to MetaCart
(Show Context)
We study two related problems motivated by molecular biology: ffl Given a graph G and a constant k, does there exist a supergraph G of G which is a unit interval graph and has clique size at most k? ffl Given a graph G and a proper kcoloring c of G, does there exist a supergraph We show that those problems are polynomial for fixed k. On the other hand we prove that the first problem is equivalent to deciding if the bandwidth of G is at most k \Gamma 1. Hence, it is NPhard, and W [t]hard for all t. We also show that the second problem is W [1]hard. This implies that for fixed k, both of the problems are unlikely to have an O(n ) algorithm, where ff is a constant independent of k.
Temporal Representation and Reasoning in Artificial Intelligence: Issues and Approaches
, 2002
"... this paper, we survey a wide range of research in temporal representation and reasoning, without committing ourselves to the point of view of any speci c application ..."
Abstract

Cited by 26 (1 self)
 Add to MetaCart
this paper, we survey a wide range of research in temporal representation and reasoning, without committing ourselves to the point of view of any speci c application
A LinearProgramming Approach to Temporal Reasoning
 IN PROCEEDINGS OF AAAI96
, 1996
"... We present a new formalism, Horn Disjunctive Linear Relations (Horn DLRs), for reasoning about temporal constraints. We prove that deciding satisfiability of sets of Horn DLRs is polynomial by exhibiting an algorithm based upon linear programming. Furthermore, we prove that most other approache ..."
Abstract

Cited by 26 (6 self)
 Add to MetaCart
We present a new formalism, Horn Disjunctive Linear Relations (Horn DLRs), for reasoning about temporal constraints. We prove that deciding satisfiability of sets of Horn DLRs is polynomial by exhibiting an algorithm based upon linear programming. Furthermore, we prove that most other approaches to tractable temporal constraint reasoning can be encoded as Horn DLRs, including the ORDHorn algebra and most methods for purely quantitative reasoning.