1097 search results - page 113 / 220 » Testing Graph Isomorphism |
107
click to vote
CVPR
2007
IEEE
16 years 3 days ago
2007
IEEE
This paper proposes a novel method to apply the standard graph cut technique to segmenting multimodal tensor valued images. The Riemannian nature of the tensor space is explicitly...
ICST
2009
IEEE
15 years 4 months ago
2009
IEEE
Java PathFinder (JPF) is a popular model checker for Java programs. JPF was used to generate object graphs as test inputs for object-oriented programs. Specifically, JPF was used...
SCAM
2006
IEEE
15 years 4 months ago
2006
IEEE
Call graphs are widely used to represent calling relationships among methods. However, there is not much interest in calling relationships among library methods in many software e...
LAWEB
2003
IEEE
15 years 3 months ago
2003
IEEE
RDF is the first W3C standard for enriching information resources of the Web with detailed meta data. The semantics of RDF data is defined using a RDF schema. The most expressiv...
IV
2002
IEEE
15 years 3 months ago
2002
IEEE
We describe AudioCave, an environment for exploring the impact of spatialising sonified graphs on a set of numerical data comprehension tasks. Its design builds on findings regard...