Výsledky vyhledávání - Theory Keywords Functional Logic Programming

Survey on Machine Learning Algorithms Enhancing the Functional Verification Process Autor Ismail, Khaled A., Ghany, Mohamed A. Abd El

“…The continuing increase in functional requirements of modern hardware designs means the traditional functional verification process becomes inefficient in meeting the time-to-market goal…”
Získat plný text

Revising event calculus theories to recover from unexpected observations Autor Tsampanaki, Nikoleta, Patkos, Theodore, Flouris, Giorgos, Plexousakis, Dimitris

“…Recent extensions of the Event Calculus resulted in powerful formalisms, able to reason about a multitude of commonsense phenomena in causal domains, involving epistemic notions, functional fluents…”
Získat plný text

Functional description of geoprocessing services as conjunctive datalog queries Autor Fitzner, Daniel, Hoffmann, Jörg, Klien, Eva

“…). In this work, we develop a novel approach to the discovery of geoprocessing services (WPS). Discovery requests and Web Processing Services are annotated as conjunctive queries in a logic programming (LP…”
Získat plný text

Ranking of System Elements Based on Fuzzy Relation of Influence and Transitive Closure Autor Rotshtein, A. P.

“…The author proposes a method of elements ranking in multi-functional system using the fuzzy relations theory…”
Získat plný text

Harnessing Tree Soft Set and Soft Computing Techniques' Capabilities in Bioinformatics: Analysis, Improvements, and Applications Autor Gharib, Mona, Rajab, Fatima, Mohamed, Mona

“… Understanding the functional, structural, and evolutionary links between the sequences is made easier by looking at these areas of commonality…”
Získat plný text

Program Verification: State of the Art, Problems, and Results. I Autor Kryvyi, S. L., Maksymets, O. M.

“…An analytical survey of modern verification methods for sequential functional, reactive, and distributed systems is presented…”
Získat plný text

Measurable cones and stable, measurable functions: a model for probabilistic higher-order programming Autor Ehrhard, Thomas, Pagani, Michele, Tasson, Christine

“… This category gives a denotational model of an extension of PCF supporting the main primitives of probabilistic functional programming, like continuous and discrete probabilistic distributions…”
Získat plný text

A Neural Lambda Calculus: Neurosymbolic AI meets the foundations of computing and functional programming Autor Flach, João, Lamb, Luis C

“… and multiplication, logic inference, such as theorem provers, and even the execution of computer programs…”
Získat plný text