Mostra 1.981 - 1.990 risultati di 2.262 ricerca '"Logic"', tempo di risposta: 0,02s Raffina i risultati
  1. 1981

    Kernels and Distances for Structured Data. di Gartner, Thomas

    Pubblicato in Machine learning.
    Articolo

    Kernels and Distances for Structured Data.
  2. 1982

    Naive Bayesian Classification of Structured Data. di Flach, Peter A.

    Pubblicato in Machine learning.
    Articolo

    Naive Bayesian Classification of Structured Data.
  3. 1983

    Compact Representation of Knowledge Bases in Inductive Logic Programming. di Struyf, Jan

    Pubblicato in Machine learning.
    Articolo

    Compact Representation of Knowledge Bases in Inductive Logic Programming.
  4. 1984

    Inducing multi-level association rules from multiple relations. di Lisi, Francesca A.

    Pubblicato in Machine learning.
    Articolo

    Inducing multi-level association rules from multiple relations.
  5. 1985

    A specification language for coordinated objects. di Ciobanu, Gabriel

    Articolo

    A specification language for coordinated objects.
  6. 1986

    Evaluating and tuning a static analysis to find null pointer bugs. di Hovemeyer, David

    Articolo

    Evaluating and tuning a static analysis to find null pointer bugs.
  7. 1987

    Symbolic path simulation in path-sensitive dataflow analysis. di Hampapuram, Hari

    Articolo

    Symbolic path simulation in path-sensitive dataflow analysis.
  8. 1988

    Fluent temporal logic for discrete-time event-based models. di Letier, Emmanuel

    Articolo

    Fluent temporal logic for discrete-time event-based models.
  9. 1989

    Relational analysis of algebraic datatypes. di Kuncak, Viktor

    Articolo

    Relational analysis of algebraic datatypes.
  10. 1990

    Lightweight object specification with typestates. di Bierhoff, Kevin

    Articolo

    Lightweight object specification with typestates.

Strumenti per la ricerca: