List of crossWith() Examples

Examples of crossWith()

statechum.model.testset.PTA_computePrecisionRecall.crossWith()
Calculates precision/recall when supplied with a specific set of sequences (such as a test set, backed by an FSM). When we record sequences, non-existing transitions at the ends are recorded too, however if we have a long non-existing path, only the first non-existing transition is being recorded. This is in compliance with the training data which only has one non-existing transition at the end of every non-existing path (by construction, we do not build long paths with multiple non-existing transitions). @param pc the set of sequences.

Examples of statechum.model.testset.PTA_computePrecisionRecall.crossWith()

  public static PosNegPrecisionRecall compare(LearnerGraph specfsm, LearnerGraph imp){
    PTA_computePrecisionRecall precRec = new PTA_computePrecisionRecall(imp);
    PTASequenceEngine engine = new PTA_FSMStructure(specfsm,null);
    SequenceSet partialPTA = engine.new SequenceSet();partialPTA.setIdentity();
    partialPTA = partialPTA.cross(specfsm.wmethod.getFullTestSet(1));
    precRec.crossWith(engine);return precRec.getPosNegPrecisionRecallNum();
  }
  
  public static PosNegPrecisionRecall compare(Collection<List<Label>> tests, LearnerGraph specfsm, LearnerGraph imp){
    PTA_computePrecisionRecall precRec = new PTA_computePrecisionRecall(imp);
    PTASequenceEngine engine = new PTA_FSMStructure(specfsm,null);

View Full Code Here

Examples of statechum.model.testset.PTA_computePrecisionRecall.crossWith()

  public static PosNegPrecisionRecall compare(Collection<List<Label>> tests, LearnerGraph specfsm, LearnerGraph imp){
    PTA_computePrecisionRecall precRec = new PTA_computePrecisionRecall(imp);
    PTASequenceEngine engine = new PTA_FSMStructure(specfsm,null);
    SequenceSet partialPTA = engine.new SequenceSet();partialPTA.setIdentity();
    partialPTA = partialPTA.cross(tests);
    precRec.crossWith(engine);return precRec.getPosNegPrecisionRecallNum();
  }
/*
  private static void printTests(Collection<List<String>> tests){
    for (List<String> list : tests) {
      System.out.println(list);

View Full Code Here

Examples of statechum.model.testset.PTA_computePrecisionRecall.crossWith()

      sPlus = rpg.getExtraSequences(percent/10-1);sMinus = rpg.getAllSequences(percent/10-1);


      LearnerGraph learnt = learn(l,sMinus);
      PTA_computePrecisionRecall precRec = new PTA_computePrecisionRecall(learnt);
      PTASequenceEngine engine = new PTA_FSMStructure(graph,null);
      precRec.crossWith(sMinus);PosNegPrecisionRecall ptaPR = precRec.getPosNegPrecisionRecallNum(); 
      SequenceSet ptaTestSet = engine.new SequenceSet();ptaTestSet.setIdentity();
      ptaTestSet = ptaTestSet.cross(graph.wmethod.getFullTestSet(1));
      precRec.crossWith(engine);PosNegPrecisionRecall prNeg = precRec.getPosNegPrecisionRecallNum(); 
      
      assert questionNumber.get() == l.getQuestionCounter();

View Full Code Here

Examples of statechum.model.testset.PTA_computePrecisionRecall.crossWith()

      PTA_computePrecisionRecall precRec = new PTA_computePrecisionRecall(learnt);
      PTASequenceEngine engine = new PTA_FSMStructure(graph,null);
      precRec.crossWith(sMinus);PosNegPrecisionRecall ptaPR = precRec.getPosNegPrecisionRecallNum(); 
      SequenceSet ptaTestSet = engine.new SequenceSet();ptaTestSet.setIdentity();
      ptaTestSet = ptaTestSet.cross(graph.wmethod.getFullTestSet(1));
      precRec.crossWith(engine);PosNegPrecisionRecall prNeg = precRec.getPosNegPrecisionRecallNum(); 
      
      assert questionNumber.get() == l.getQuestionCounter();
      
      // Column 0 is the name of the learner. 
      // Columns 3 and 4

View Full Code Here

Examples of statechum.model.testset.PTA_computePrecisionRecall.crossWith()

    */
    PTA_computePrecisionRecall precRec = null;
    
    {
      precRec = new PTA_computePrecisionRecall(markovD);
      precRec.crossWith(generator.getAllSequences(0));PosNegPrecisionRecall result = precRec.getPosNegPrecisionRecallNum(); 
      System.out.println("Markov: precision "+result.getPosprecision()+" recall: "+result.getPosrecall());
    }


    {
      precRec = new PTA_computePrecisionRecall(edsm);

View Full Code Here

Examples of statechum.model.testset.PTA_computePrecisionRecall.crossWith()

      System.out.println("Markov: precision "+result.getPosprecision()+" recall: "+result.getPosrecall());
    }


    {
      precRec = new PTA_computePrecisionRecall(edsm);
      precRec.crossWith(generator.getAllSequences(0));PosNegPrecisionRecall result = precRec.getPosNegPrecisionRecallNum(); 
      System.out.println("EDSM: precision "+result.getPosprecision()+" recall: "+result.getPosrecall());
    }
    
    //Visualiser.updateFrame(edsm, null);
    //Visualiser.waitForKey();

View Full Code Here

Examples of statechum.model.testset.PTA_computePrecisionRecall.crossWith()

    partialPTA = partialPTA.cross(TestFSMAlgo.buildSet(new String[][] {
        new String[] {"a","a","a"}, // + 
        new String[]{"b"}      // -
      },mainConfiguration,converter));
    PTA_computePrecisionRecall precComputer = new PTA_computePrecisionRecall(fsm);
    precComputer.crossWith(engine);
    assertEquals("true negatives",1, precComputer.resultTN);assertEquals("true positives",1, precComputer.resultTP);
    assertEquals("false negatives",0, precComputer.resultFN);assertEquals("false positives",0, precComputer.resultFP);
    assertEquals("positives relevant",1, precComputer.pos_Rel);assertEquals("negatives relevant",1, precComputer.neg_Rel);
    assertEquals("positives retrieved",1, precComputer.pos_Ret);assertEquals("negatives retrieved",1, precComputer.neg_Ret);
  }

View Full Code Here

Examples of statechum.model.testset.PTA_computePrecisionRecall.crossWith()

        new String[] {"a","a","a"},// + 
        new String[]{"b"},      // -
        new String[]{"a", "b"}  // -, FP
      },mainConfiguration,converter));
    PTA_computePrecisionRecall precComputer = new PTA_computePrecisionRecall(fsm);
    precComputer.crossWith(engine);
    assertEquals("true negatives",1, precComputer.resultTN);assertEquals("true positives",1, precComputer.resultTP);
    assertEquals("false negatives",0, precComputer.resultFN);assertEquals("false positives",1, precComputer.resultFP);
    assertEquals("positives relevant",1, precComputer.pos_Rel);assertEquals("negatives relevant",2, precComputer.neg_Rel);
    assertEquals("positives retrieved",2, precComputer.pos_Ret);assertEquals("negatives retrieved",1, precComputer.neg_Ret);
  }

View Full Code Here

Examples of statechum.model.testset.PTA_computePrecisionRecall.crossWith()

        new String[]{"b"}, // -
        new String[]{"a", "b"} // -, FP
      },mainConfiguration,converter));
    fsm = buildLearnerGraph("Q-a->Q / A-a->B-a->A-b-#C\nB-b->D-c->E\nD-a-#F", "testPrecisionRecall2b",mainConfiguration,converter);
    PTA_computePrecisionRecall precComputer = new PTA_computePrecisionRecall(fsm,fsm.findVertex(VertexID.parseID("A")));
    precComputer.crossWith(engine);
    assertEquals("true negatives",1, precComputer.resultTN);assertEquals("true positives",1, precComputer.resultTP);
    assertEquals("false negatives",0, precComputer.resultFN);assertEquals("false positives",1, precComputer.resultFP);
    assertEquals("positives relevant",1, precComputer.pos_Rel);assertEquals("negatives relevant",2, precComputer.neg_Rel);
    assertEquals("positives retrieved",2, precComputer.pos_Ret);assertEquals("negatives retrieved",1, precComputer.neg_Ret);
  }

View Full Code Here

Examples of statechum.model.testset.PTA_computePrecisionRecall.crossWith()

        new String[] {"a","a","a","a","b"}, // - 
        new String[]{"b"}, // -
        new String[]{"a", "b"} //, FP
      },mainConfiguration,converter));
    PTA_computePrecisionRecall precComputer = new PTA_computePrecisionRecall(fsm);
    precComputer.crossWith(engine);
    assertEquals("true negatives",2, precComputer.resultTN);assertEquals("true positives",0, precComputer.resultTP);
    assertEquals("false negatives",0, precComputer.resultFN);assertEquals("false positives",1, precComputer.resultFP);
    assertEquals("positives relevant",0, precComputer.pos_Rel);assertEquals("negatives relevant",3, precComputer.neg_Rel);
    assertEquals("positives retrieved",1, precComputer.pos_Ret);assertEquals("negatives retrieved",2, precComputer.neg_Ret);
  }

View Full Code Here

0 1 2 3 4 5

TOP

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.