Sciweavers

7123 search results - page 266 / 1425
» The Ordered Set of Rough Sets
Sort
View
TVCG
2012
196views Hardware» more  TVCG 2012»
13 years 9 months ago
Robust Morse Decompositions of Piecewise Constant Vector Fields
—In this paper, we introduce a new approach to computing a Morse decomposition of a vector field on a triangulated manifold surface. The basic idea is to convert the input vector...
Andrzej Szymczak, Eugene Zhang
DM
2008
100views more  DM 2008»
15 years 6 months ago
Adaptive group testing for consecutive positives
Motivated from an application to DNA library screening, Balding and Torney [1] and Colbourn [4] studied the following group testing for consecutive positives. Suppose Vn = {v1 v2 ...
Justie Su-tzu Juan, Gerard J. Chang
TCAD
1998
95views more  TCAD 1998»
15 years 6 months ago
A framework for comparing models of computation
—We give a denotational framework (a “meta model”) within which certain properties of models of computation can be compared. It describes concurrent processes in general term...
Edward A. Lee, Alberto L. Sangiovanni-Vincentelli
GECCO
2007
Springer
157views Optimization» more  GECCO 2007»
16 years 24 days ago
Thoughts on solution concepts
This paper explores connections between Ficici’s notion of solution concept and order theory. Ficici postulates that algorithms should ascend an order called weak preference; th...
Anthony Bucci, Jordan B. Pollack
ISMVL
2008
IEEE
126views Hardware» more  ISMVL 2008»
16 years 1 months ago
Betweenness, Metrics and Entropies in Lattices
We investigate a class of metrics on lattices that are compatible with the partial order defined by the lattice using the ternary relation of betweenness that can be naturally de...
Dan A. Simovici