233 search results - page 25 / 47 » More Output-Sensitive Geometric Algorithms (Extended Abstrac... |
ESOP
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. XML database query languages such as XQuery employ regular expression types with structural subtyping. Subtyping systems typically have two presentations, which should be...
ICIAP
2005
ACM
14 years 8 months ago
2005
ACM
Abstract. In this paper we present a track matching algorithm based on the "major color" histograms matching and the post-matching integration useful for tracking a singl...
ATAL
2006
Springer
14 years 7 days ago
2006
Springer
Abstract. In this paper, we examine the problem of choosing discriminatory prices for customers with probabilistic valuations and a seller with indistinguishable copies of a good. ...
WOB
2004
13 years 10 months ago
2004
ABSTRACT. The computationally challenging problem of reconstructing the phylogeny of a set of contemporary data, such as DNA sequences or morphological attributes, was treated by a...
GG
2010
Springer
13 years 9 months ago
2010
Springer
In recent years, a research thread focused on the use of the unfolding semantics for verification purposes. This started with a paper by McMillan, which devises an algorithm for co...