Sciweavers

2834 search results - page 315 / 567
» Representing Trees with Constraints
Sort
View
ECCV
2006
Springer
15 years 10 months ago
Spatial Segmentation of Temporal Texture Using Mixture Linear Models
In this paper we propose a novel approach for the spatial segmentation of video sequences containing multiple temporal textures. This work is based on the notion that a single tem...
Lee Cooper, Jun Liu, Kun Huang
SAFECOMP
1998
Springer
15 years 10 months ago
Safety Verification of Software Using Structured Petri Nets
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
Krzysztof Sacha
VLDB
1995
ACM
132views Database» more  VLDB 1995»
15 years 10 months ago
Coloring Away Communication in Parallel Query Optimization
We address the problem of finding parallel plans for SQL queries using the two-phase approach of join ordering and query rewrite (JOQR) followed by parallelization. We focus on t...
Waqar Hasan, Rajeev Motwani
DGCI
2009
Springer
15 years 9 months ago
A Linear Time and Space Algorithm for Detecting Path Intersection
For discrete sets coded by the Freeman chain describing their contour, several linear algorithms have been designed for determining their shape properties. Most of them are based ...
Srecko Brlek, Michel Koskas, Xavier Provenç...
CCCG
2008
15 years 8 months ago
On the Complexity of Point Recolouring in Geometric Graphs
Given a collection of points representing geographic data we consider the task of delineating boundaries based on the features of the points. Assuming that the features are binary...
Henk Meijer, Yurai Núñez Rodrí...