Search Results

Filter
  • 1-10 of  79 results for "eds"
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Academic Journal

The CADE-26 automated theorem proving system competition - CASC-26.

  • Source: AI Communications. 2017, Vol. 30 Issue 6, p419-432. 14p.

Record details

×
Academic Journal

Learning in Description Logics with Fuzzy Concrete Domains.

  • Source: Fundamenta Informaticae. 2015, Vol. 140 Issue 3-4, p373-391. 19p.

Record details

×
Academic Journal

Slicing Abstractions.

  • Source: Fundamenta Informaticae. 2008, Vol. 89 Issue 4, p369-392. 24p. 10 Diagrams, 1 Chart, 1 Graph.

Record details

×
Academic Journal

Diversity, accuracy and efficiency in ensemble learning: An unexpected result.

  • Source: Intelligent Data Analysis. 2019, Vol. 23 Issue 2, p297-311. 15p.

Record details

×
Academic Journal

The influence of the Sakoe–Chiba band size on time series classification.

  • Source: Journal of Intelligent & Fuzzy Systems. 2019, Vol. 36 Issue 1, p527-539. 13p.

Record details

×
Academic Journal

Cooperative game in parallel service systems with nonexponential service times.

  • Source: Journal of Intelligent & Fuzzy Systems. 2019, Vol. 36 Issue 1, p127-137. 11p.

Record details

×
Academic Journal

On subrecursive representability of irrational numbers, part II.

  • Source: Computability. 2019, Vol. 8 Issue 1, p43-65. 23p.

Record details

×
  • 1-10 of  79 results for "eds"