Results 81 to 90 of about 158 (143)
Generative Design of the Architecture Platform in Multiprocessor System Design
When designing a system at the Electronic System Level (ESL), designers are confronted with a very large number of design decisions, each affecting the characteristics of the resulting system.
Christian Haubelt +3 more
core +1 more source
Learning Chordal Markov Networks by Constraint Satisfaction
, 2013 We investigate the problem of learning the structure of a Markov network from data. It is shown that the structure of such networks can be described in terms of constraints which enables the use of existing solver technology with optimization ...
Janhunen, Tomi +4 more
core
Neuro-symbolic NLP: taxonomy, assessment, and directions. [PDF]
Front Artif IntellChatzikyriakidis S, Lappin S.
europepmc +1 more source
Golem: a flexible and efficient solver for constrained Horn clauses. [PDF]
Form Methods Syst DesBlicha M, Britikov K, Sharygina N.
europepmc +1 more source
Résolution pratique du test de cohérence en logiques modales
, 2018 In the past fifteen years, dramatic improvements in the context of testing propositional formulas consistency (SAT) have enabled a wide variety of satisfaction and optimization problems tobe processed using a generic resolution engine: the SAT solver ...
Montmirail, Valentin
core
Résolution pratique de la cohérence de formules en logiques modales
, 2018 Ces quinze dernières années, des progrès spectaculaires dans le cadre du test de cohérence de formules propositionnelles (SAT) ont permis à une grande variété de problèmes de satisfaction et d’optimisation d’être traités à l’aide d’un moteur de ...
Montmirail, Valentin
core
Foundations of reasoning with uncertainty via real-valued logics. [PDF]
Proc Natl Acad Sci U S AFagin R, Riegel R, Gray A.
europepmc +1 more source