Zobrazeno 1 - 10
of 64
pro vyhledávání: '"Esfandiari, Babak"'
We present a hardware-accelerated SAT solver targeting processor/Field Programmable Gate Arrays (FPGA) SoCs. Our solution accelerates the most expensive subroutine of the Davis-Putnam-Logemann-Loveland (DPLL) algorithm, Boolean Constraint Propagation
Externí odkaz:
http://arxiv.org/abs/2401.07429
We present a hardware-accelerated SAT solver suitable for processor/Field Programmable Gate Arrays (FPGA) hybrid platforms, which have become the norm in the embedded domain. Our solution addresses a known bottleneck in SAT solving acceleration: unli
Externí odkaz:
http://arxiv.org/abs/2312.11279
Publikováno v:
EPTCS 319, 2020, pp. 127-143
Autonomous systems developed with the Belief-Desire-Intention (BDI) architecture are usually mostly implemented in simulated environments. In this project we sought to build a BDI agent for use in the real world for campus mail delivery in the tunnel
Externí odkaz:
http://arxiv.org/abs/2007.16089
Autor:
Vezina, Michael, Esfandiari, Babak
The 2019 Multi-Agent Programming Contest (MAPC) scenario poses many challenges for agents participating in the contest. We discuss The Requirement Gatherers' (TRG) approach to handling the various challenges we faced -- including how we designed our
Externí odkaz:
http://arxiv.org/abs/2006.02816
Learning from Observation (LfO), also known as Behavioral Cloning, is an approach for building software agents by recording the behavior of an expert (human or artificial) and using the recorded data to generate the required behavior. jLOAF is a plat
Externí odkaz:
http://arxiv.org/abs/2002.11197
Autor:
Davoust, Alan, Esfandiari, Babak
Regular Path Queries (RPQs) are a type of graph query where answers are pairs of nodes connected by a sequence of edges matching a regular expression. We study the techniques to process such queries on a distributed graph of data. While many techniqu
Externí odkaz:
http://arxiv.org/abs/1510.04347
Autor:
Gavigan, Patrick, Esfandiari, Babak
Publikováno v:
Annals of Mathematics & Artificial Intelligence; Aug2024, Vol. 92 Issue 4, p775-795, 21p
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.
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.
Autor:
Esfandiari, Babak1 babak@sce.carleton.ca, Amin, Ali Reza Farid1, Kadri, El Hachemi2, Telfer, Andre1
Publikováno v:
Web Intelligence (2405-6456). 2017, Vol. 15 Issue 3, p205-217. 13p. 1 Diagram, 3 Charts, 12 Graphs.