Sciweavers

2531 search results - page 125 / 507
» Group testing in graphs
Sort
View
68
Voted
ENTCS
2007
126views more  ENTCS 2007»
15 years 24 days ago
Modelling Calculi with Name Mobility using Graphs with Equivalences
In the theory of graph rewriting, the use of coalescing rules, i.e., of rules which besides deleting and generating graph items, can coalesce some parts of the graph, turns out to...
Paolo Baldan, Fabio Gadducci, Ugo Montanari
80
Voted
ANTS
2004
Springer
109views Algorithms» more  ANTS 2004»
15 years 6 months ago
On the Complexity of Computing Units in a Number Field
Given an algebraic number field K, such that [K : Q] is constant, we show that the problem of computing the units group O∗ K is in the complexity class SPP. As a consequence, w...
Vikraman Arvind, Piyush P. Kurur
115
Voted
DLOG
2007
15 years 3 months ago
Automated Evaluation of Description Logic Reasoning Systems
Abstract. The DL implementation group (DIG) has specified a common interface for description logic reasoner. While the original intention was to make it easier for other tools to ...
Sebastian Wandelt
136
Voted
IOR
2011
175views more  IOR 2011»
14 years 7 months ago
Clique Relaxations in Social Network Analysis: The Maximum k-Plex Problem
This paper introduces and studies the maximum k-plex problem, which arises in social network analysis and has wider applicability in several important areas employing graph-based ...
Balabhaskar Balasundaram, Sergiy Butenko, Illya V....
80
Voted
GECCO
2009
Springer
148views Optimization» more  GECCO 2009»
15 years 5 months ago
BBOB-benchmarking the generalized generation gap model with parent centric crossover
The generalized generation gap (G3) model of an evolutionary algorithm equipped with the parent centric crossover (PCX) is tested on the BBOB 2009 benchmark testbed. To improve it...
Petr Posik