Zobrazeno 1 - 10
of 322
pro vyhledávání: '"FELDMAN, ALEXANDER"'
Faults are stochastic by nature while most man-made systems, and especially computers, work deterministically. This necessitates the linking of probability theory with mathematical logics, automata, and switching circuit theory. This paper provides s
Externí odkaz:
http://arxiv.org/abs/2209.05470
Reduced-order models that accurately abstract high fidelity models and enable faster simulation is vital for real-time, model-based diagnosis applications. In this paper, we outline a novel hybrid modeling approach that combines machine learning insp
Externí odkaz:
http://arxiv.org/abs/2003.02671
We present novel algorithms for design and design space exploration. The designs discovered by these algorithms are compositions of function types specified in component libraries. Our algorithms reduce the design problem to quantified satisfiability
Externí odkaz:
http://arxiv.org/abs/1905.02303
Autor:
Perdomo-Ortiz, Alejandro, Feldman, Alexander, Ozaeta, Asier, Isakov, Sergei V., Zhu, Zheng, O'Gorman, Bryan, Katzgraber, Helmut G., Diedrich, Alexander, Neven, Hartmut, de Kleer, Johan, Lackey, Brad, Biswas, Rupak
Publikováno v:
Phys. Rev. Applied 12, 014004 (2019)
There have been multiple attempts to demonstrate that quantum annealing and, in particular, quantum annealing on quantum annealing machines, has the potential to outperform current classical optimization algorithms implemented on CMOS technologies. T
Externí odkaz:
http://arxiv.org/abs/1708.09780
Publikováno v:
Journal Of Artificial Intelligence Research, Volume 39, pages 301-334, 2010
Model-based diagnostic reasoning often leads to a large number of diagnostic hypotheses. The set of diagnoses can be reduced by taking into account extra observations (passive monitoring), measuring additional variables (probing) or executing additio
Externí odkaz:
http://arxiv.org/abs/1401.3850
Publikováno v:
Journal Of Artificial Intelligence Research, Volume 38, pages 371-413, 2010
We propose a StochAstic Fault diagnosis AlgoRIthm, called SAFARI, which trades off guarantees of computing minimal diagnoses for computational efficiency. We empirically demonstrate, using the 74XXX and ISCAS-85 suites of benchmark combinatorial circ
Externí odkaz:
http://arxiv.org/abs/1401.3848
Autor:
Feldman, Alexander
Publikováno v:
Comparative Drama, 2017 Oct 01. 51(3), 278-305.
Externí odkaz:
http://www.jstor.org/stable/26312034
Publikováno v:
In Artificial Intelligence July 2017 248:26-45
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.