Dezember 2004

• Anonymous

  2514·java·394 B·2004-12-01 03:33 UTC

  if (resolv[0].size() == 0) {
   //System.out.println("Empty Resolvent!!");
   Substitution sum=new Substitution();
   while (subs.size() != 0) {
   Substitution curr=(Substitutio

• Anonymous

  2511·text·5.2 KB·2004-12-01 02:47 UTC

  -- Accepting call from '4185554324' to '8367' on channel 0/16, span 1
   -- Executing Dial("Zap/16-1", "Zap/G5/8367") in new stack
   -- Called G5/8367
   -- Moving call from channel 166 to

• Anonymous

  2510·cpp·1.9 KB·2004-12-01 02:34 UTC

  // Ryan Brown
  // Hw 7
  // Client Program
  
  #include <iostream>
  using std::cerr;
  using std::endl;
  using std::cout;
  using std::cin;
  using std::ios;
  #include <iomanip>
  using std::setw;
  #include

• Anonymous

  2509·text·882 B·2004-12-01 02:31 UTC

  ;
  ; Zapata telephony interface
  ;
  ; Configuration file
  
  [trunkgroups]
  
  [channels]
  context=default
  switchtype=national
  signalling=fxo_ls
  rxwink=300 ; Atlas seems to use long (250

• Anonymous

  2508·text·331 B·2004-12-01 02:21 UTC

  -- Accepting call from '' to '9799' on channel 0/21, span 1
   -- Executing Dial("Zap/21-1", "Zap/G5/9799") in new stack
  Nov 30 21:18:17 WARNING[7729]: chan_zap.c:4453 zt_new: Channel 164 alrea

• Anonymous

  2507·java·2.6 KB·2004-12-01 00:47 UTC

  public static boolean solve(KBase kb, Clause goal, Substitution[] sub)
  {//??????? All yours ??????????
  /* kb is a knowledge base of Horn clauses. The parameter goal is 
  a non-empty clause withou

• Anonymous

  2505·java·2.4 KB·2004-12-01 00:15 UTC

  public static boolean solve(KBase kb, Clause goal, Substitution[] sub)
  {//??????? All yours ??????????
  /* kb is a knowledge base of Horn clauses. The parameter goal is 
  a non-empty clause withou

• solve

  2504·java·2.1 KB·2004-12-01 00:05 UTC

  public static boolean solve(KBase kb, Clause goal, Substitution[] sub)
  {//??????? All yours ??????????
  /* kb is a knowledge base of Horn clauses. The parameter goal is 
  a non-empty clause withou