We consider the problem of reporting the pairwise enclosures among a set of $n$ axes-parallel rectangles in $\IR^2$, which is equivalent to reporting dominance pairs in a set of $n$ points in $\IR^4$. For more than ten years, it has been an open problem whether these problems can be solved faster than in $O(n \log^2 n +k)$ time, where $k$ denotes the number of reported pairs. First, we give a divide-and-conquer algorithm that matches the $O(n)$ space and $O(n \log^2 n +k)$ time bounds of the algorithm of Lee and Preparata, but is simpler. Then we give another algorithm that uses $O(n)$ space and runs in $O(n \log n \log\log n + k \log\log n)$ time. For the special case where the rectangles have at most $\alpha$ different aspect ratios, we g...
In this paper we characterize all the covers of x in terms of an easily computed normal form for x. ...
We study the computational power of rational Piecewise Constant Derivative (PCD) systems. PCD system...
We present a fixed parameter algorithm that constructively solves the k-dominating set problem on ...
The problem to represent very complex systems has been studied by several authors, obtaining ...
AbstractThis paper continues the study of the general theory, begun in [4], of semantic domains base...
We design new inference systems for total orderings by applying rewrite techniques to chaining calcu...
This paper gives an analysis of surfaces generated by subdividing control nets of arbitrary to...
Glover and Punnen (J. Oper. Res. Soc. 48 (1997) 502) asked whether there exists a polynomial time al...
Partial combinatory algebras occur regularly in the literature as a framework for an abstract formul...
This thesis presents a design style for implementing communicating sequential processes (CSP) as qua...
Let $S$ be a set of $n$ points in $R^d$, and let each point $p$ of $S$ have a positive weight $w(p)$...
We discuss recent work of several authors on the Kakeya needle problem and other related problems in...
We study linear complementarity problems depending on parameters in the right-hand side and (or) in ...
This work deals with convergence theorems and bounds on the cost of several layout measures for lat...
AbstractIn this paper we formalise CSP solving as an inference process. Based on the notion of Compu...
In this paper we characterize all the covers of x in terms of an easily computed normal form for x. ...
We study the computational power of rational Piecewise Constant Derivative (PCD) systems. PCD system...
We present a fixed parameter algorithm that constructively solves the k-dominating set problem on ...
The problem to represent very complex systems has been studied by several authors, obtaining ...
AbstractThis paper continues the study of the general theory, begun in [4], of semantic domains base...
We design new inference systems for total orderings by applying rewrite techniques to chaining calcu...
This paper gives an analysis of surfaces generated by subdividing control nets of arbitrary to...
Glover and Punnen (J. Oper. Res. Soc. 48 (1997) 502) asked whether there exists a polynomial time al...
Partial combinatory algebras occur regularly in the literature as a framework for an abstract formul...
This thesis presents a design style for implementing communicating sequential processes (CSP) as qua...
Let $S$ be a set of $n$ points in $R^d$, and let each point $p$ of $S$ have a positive weight $w(p)$...
We discuss recent work of several authors on the Kakeya needle problem and other related problems in...
We study linear complementarity problems depending on parameters in the right-hand side and (or) in ...
This work deals with convergence theorems and bounds on the cost of several layout measures for lat...
AbstractIn this paper we formalise CSP solving as an inference process. Based on the notion of Compu...
In this paper we characterize all the covers of x in terms of an easily computed normal form for x. ...
We study the computational power of rational Piecewise Constant Derivative (PCD) systems. PCD system...
We present a fixed parameter algorithm that constructively solves the k-dominating set problem on ...