CS Structure

About CS Structure | Search | Help  

 

Search Result

Search result :

Title:

Author:

Bart Selman

Year:

-

Key:

         

  • neural network; genetic algorithm; finite element; mobile robot (222930) (60)
  •         reinforcement learning; mobile robot; markov decision; decision process (28443) (43)
  •                 project scheduling; case-based reasoning; ai planning; partial-order planning (4740) (24)
  •                         planning graph; planning satisfiability; heuristic planning; plan graph (1267) (20)
  •                         partial-order planning; htn planning; plan generation; nonlinear planning (2594) (4)
  •                 constraint satisfaction; satisfaction problem; local search; random graph (2588) (19)
  •                         random graph; phase transition; constraint satisfaction; matchings random (1511) (15)
  •                         symmetry matrix; constraint satisfaction; set latin; clique problem (686) (2)
  •                         algorithm k-sat; intractability assembly; general resolution; resolution lower (391) (2)
  •         logic program; description logic; object-oriented database; deductive database (27455) (11)
  •                 description logic; modal logic; concept language; temporal description (3935) (7)
  •                         description logic; modal logic; concept language; using description (3198) (6)
  •                         description logic; highly closed; schema versioning; closed isomorphisms (737) (1)
  •                 logic program; logic programming; deductive database; nonmonotonic reasoning (7748) (3)
  •                         disjunctive logic; many-valued disjunctive; default logic; program probabilistic (616) (2)
  •                         logic program; deductive database; logic programming; stable model (3708) (1)
  •                 spatial reasoning; qualitative spatial; temporal constraint; temporal reasoning (6535) (1)
  •                         temporal constraint; temporal reasoning; multimedia document; oriented chromatic (3401) (1)
  •         neural network; genetic algorithm; genetic programming; support vector (71500) (6)
  •                 genetic algorithm; genetic programming; using genetic; evolutionary algorithm (20108) (4)
  •                         genetic algorithm; evolutionary algorithm; using genetic; neural network (8888) (3)
  •                         symmetric group; symmetric function; rna secondary; representation symmetric (2207) (1)
  •                 information retrieval; latent semantic; text categorization; retrieval system (8716) (1)
  •                         information retrieval; latent semantic; text categorization; semantic indexing (7056) (1)
  •                 support vector; vector machine; association rule; data mining (19577) (1)
  •                         inductive logic; belief revision; logic programming; belief change (1477) (1)
  • distributed system; shared memory; operating system; real-time system (167799) (6)
  •         linear logic; garbage collection; mobile agent; term rewriting (32549) (3)
  •                 mobile agent; information flow; mobile process; secure information (5216) (2)
  •                         mobile agent; software agent; agent system; agent tcl (2784) (2)
  •                 linear logic; proof planning; type theory; proof nets (9635) (1)
  •                         proof planning; many sorted; nuprl proof; theorem proving (1152) (1)
  •         signature scheme; group communication; cryptographic protocol; security protocol (25536) (2)
  •                 signature scheme; secret sharing; discrete logarithm; elliptic curve (11825) (2)
  •                         secret sharing; sharing scheme; quorum system; byzantine quorum (2227) (2)
  •         shared memory; distributed shared; file system; parallel program (47328) (1)
  •                 neural network; recurrent neural; interconnection network; parallel algorithm (13857) (1)
  •                         parallel algorithm; bsp model; parallel sorting; sorting algorithm (7360) (1)