Sciweavers

1097 search results - page 81 / 220
» Testing Graph Isomorphism
Sort
View
SOFSEM
2010
Springer
15 years 6 months ago
Mixing Coverability and Reachability to Analyze VASS with One Zero-Test
We study Vector Addition Systems with States (VASS) extended in such a way that one of the manipulated integer variables can be tested to zero. For this class of system, it has bee...
Alain Finkel, Arnaud Sangnier
SIAMDM
2002
52views more  SIAMDM 2002»
14 years 9 months ago
Testing k-colorability
Let G be a graph on n vertices and suppose that at least n2 edges have to be deleted from it to make it k-colorable. It is shown that in this case most induced subgraphs of G on c...
Noga Alon, Michael Krivelevich
ICSE
2000
IEEE-ACM
15 years 1 months ago
Multibook's test environment
Well engineered Web based courseware and exercises provide flexibility and added value to the students, which goes beyond the traditional text book or CD-ROM based courses. The Mu...
Nathalie Poerwantoro, Abdulmotaleb El-Saddik, Bern...
RECOMB
2007
Springer
15 years 10 months ago
Network Motif Discovery Using Subgraph Enumeration and Symmetry-Breaking
The study of biological networks and network motifs can yield significant new insights into systems biology. Previous methods of discovering network motifs ? network-centric subgra...
Joshua A. Grochow, Manolis Kellis
ICPR
2010
IEEE
15 years 11 days ago
A Discriminative and Heteroscedastic Linear Feature Transformation for Multiclass Classification
This paper presents a novel discriminative feature transformation, named full-rank generalized likelihood ratio discriminant analysis (fGLRDA), on the grounds of the likelihood ra...
Hung-Shin Lee, Hsin-Min Wang, Berlin Chen