2531 search results - page 213 / 507 » Group testing in graphs |
167
click to vote
AUTOMATICA
2010
15 years 6 months ago
2010
We propose a class of discrete-time dynamic average consensus algorithms that allow a group of agents to track the average of their reference inputs. The convergence results rely ...
171
click to vote
CANDC
2006
ACM
15 years 6 months ago
2006
ACM
Large-scale experiments and data integration have provided the opportunity to systematically analyze and comprehensively understand the topology of biological networks and biochem...
145
click to vote
COMBINATORICS
2006
15 years 6 months ago
2006
Let G be a graph. A vertex labeling of G is distinguishing if the only label-preserving automorphism of G is the identity map. The distinguishing number of G, D(G), is the minimum...
180
click to vote
ENTCS
2006
15 years 6 months ago
2006
We present a system, called RZ, for automatic generation of program specifications from mathematical theories. We translate mathematical theories to specifications by computing th...
146
click to vote
HICSS
2008
IEEE
16 years 27 days ago
2008
IEEE
The number of publications in biomedicine is increasing enormously each year. To help researchers digest the information in these documents, text mining tools are being developed ...