962 search results - page 69 / 193 » Some Reducibilities on Regular Sets |
175
Voted
ISVD
2007
IEEE
15 years 12 months ago
2007
IEEE
Voronoi diagram for a set of geometric objects is a partition of the plane (or space in higher dimensions) into disjoint regions each dominated by some given object under a predet...
153
Voted
FOSSACS
2009
Springer
15 years 9 months ago
2009
Springer
In quantitative verification, system states/transitions have associated costs, and these are used to associate mean-payoff costs with infinite behaviors. In this paper, we propose ...
169
click to vote
TREC
2008
15 years 7 months ago
2008
In this paper, we report our experiments in the TREC 2008 Relevance Feedback Track. Our main goal is to study a novel problem in feedback, i.e., optimization of the balance of the...
146
click to vote
WSCG
2000
15 years 6 months ago
2000
The alternating sum of volumes (ASV) decomposition is a widely used technique for converting a b-rep into a CSG model, with all its implicit uses and advantages -like form feature...
136
Voted
DM
2010
15 years 5 months ago
2010
Let m be a positive integer and let G be a graph. We consider the question: can the edge set E(G) of G be expressed as the union of a set M of matchings of G each of which has siz...