Đang hiển thị 1,981 - 1,990 kết quả của 2,262 cho tìm kiếm '"Logic."', thời gian truy vấn: 0.02s Tinh chỉnh kết quả
  1. 1981

    Kernels and Distances for Structured Data. Bằng Gartner, Thomas

    Xuất bản năm Machine learning.
    Bài viết

    Kernels and Distances for Structured Data.
  2. 1982

    Naive Bayesian Classification of Structured Data. Bằng Flach, Peter A.

    Xuất bản năm Machine learning.
    Bài viết

    Naive Bayesian Classification of Structured Data.
  3. 1983

    Compact Representation of Knowledge Bases in Inductive Logic Programming. Bằng Struyf, Jan

    Xuất bản năm Machine learning.
    Bài viết

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

    Inducing multi-level association rules from multiple relations. Bằng Lisi, Francesca A.

    Xuất bản năm Machine learning.
    Bài viết

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

    A specification language for coordinated objects. Bằng Ciobanu, Gabriel

    Xuất bản năm Software engineering notes.
    Bài viết

    A specification language for coordinated objects.
  6. 1986

    Evaluating and tuning a static analysis to find null pointer bugs. Bằng Hovemeyer, David

    Xuất bản năm Software engineering notes.
    Bài viết

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

    Symbolic path simulation in path-sensitive dataflow analysis. Bằng Hampapuram, Hari

    Xuất bản năm Software engineering notes.
    Bài viết

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

    Fluent temporal logic for discrete-time event-based models. Bằng Letier, Emmanuel

    Xuất bản năm Software engineering notes.
    Bài viết

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

    Relational analysis of algebraic datatypes. Bằng Kuncak, Viktor

    Xuất bản năm Software engineering notes.
    Bài viết

    Relational analysis of algebraic datatypes.
  10. 1990

    Lightweight object specification with typestates. Bằng Bierhoff, Kevin

    Xuất bản năm Software engineering notes.
    Bài viết

    Lightweight object specification with typestates.

Công cụ tìm kiếm: