Sciweavers

1977 search results - page 264 / 396
» The satisfactory partition problem
Sort
View
150
Voted
ENTCS
2008
105views more  ENTCS 2008»
15 years 3 months ago
Checking Equivalence for Reo Networks
Constraint automata have been used as an operational model for component connectors described in the coordination language Reo which specifies the cooperation and communication of...
Tobias Blechmann, Christel Baier
141
Voted
COMBINATORICS
2006
124views more  COMBINATORICS 2006»
15 years 3 months ago
Bounded-Degree Graphs have Arbitrarily Large Geometric Thickness
Abstract. The geometric thickness of a graph G is the minimum integer k such that there is a straight line drawing of G with its edge set partitioned into k plane subgraphs. Eppste...
János Barát, Jirí Matousek, D...
121
Voted
CORR
2006
Springer
103views Education» more  CORR 2006»
15 years 3 months ago
Pants Decomposition of the Punctured Plane
A pants decomposition of an orientable surface is a collection of simple cycles that partition into pants, i.e., surfaces of genus zero with three boundary cycles. Given a set P...
Sheung-Hung Poon, Shripad Thite
136
Voted
IJAR
2006
197views more  IJAR 2006»
15 years 3 months ago
Rough fuzzy set based scale space transforms and their use in image analysis
In this paper we present a multi-scale method based on the hybrid notion of rough fuzzy sets, coming from the combination of two models of uncertainty like vagueness by handling r...
Alfredo Petrosino, Giuseppe Salvi
158
Voted
IVC
2008
203views more  IVC 2008»
15 years 3 months ago
Multi-modal tracking using texture changes
We present a method for efficiently generating a representation of a multi-modal posterior probability distribution. The technique combines ideas from RANSAC and particle filterin...
Christopher Kemp, Tom Drummond