Search Results

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

Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction*.

  • Source: Fundamenta Informaticae. 2021, Vol. 178 Issue 1/2, p31-57. 27p.

Record details

×
Academic Journal

Selective Unification in (Constraint) Logic Programming*.

  • Source: Fundamenta Informaticae. 2020, Vol. 177 Issue 3/4, p359-383. 25p.

Record details

×
Academic Journal

A Set-theoretic Approach to Reasoning Services for the Description Logic ℒD4,×.

  • Source: Fundamenta Informaticae. 2020, Vol. 176 Issue 3/4, p349-384. 36p.

Record details

×
Academic Journal

Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search.

  • Source: Fundamenta Informaticae. 2020, Vol. 176 Issue 3/4, p271-297. 27p.

Record details

×
Academic Journal

Gene Expression Programming as a data classification tool. A review.

  • Source: Journal of Intelligent & Fuzzy Systems. 2019, Vol. 36 Issue 1, p91-100. 10p.

Record details

×
Academic Journal

Driver drowsiness detection system based on infinite feature selection algorithm and support vector machine.

  • Source: International Journal of Knowledge Based Intelligent Engineering Systems. 2021, Vol. 25 Issue 4, p439-448. 10p.

Record details

×
Academic Journal

wCM based hybrid pre-processing algorithm for class imbalanced dataset.

  • Source: Journal of Intelligent & Fuzzy Systems. 2021, Vol. 41 Issue 2, p3339-3354. 16p.

Record details

×
Academic Journal

LWBA: Lévy-walk bat algorithm based data prediction for precision agriculture in wireless sensor networks.

  • Source: Journal of Intelligent & Fuzzy Systems. 2021, Vol. 41 Issue 2, p2891-2904. 14p.

Record details

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