公开(公告)号：US12175177B2

公开(公告)日：2024-12-24

申请号：US16694498

申请日：2019-11-25

Applicant: SAMSUNG ELECTRONICS CO., LTD.

Inventor： Jun Haeng Lee ,  Youngmin Oh ,  Hyun Sun Park ,  Yongwoo Lee ,  Jaecheol Lee ,  Hyojin Choi ,  Younsik Park ,  Seungju Kim ,  Changwook Jeong ,  In Huh

IPC: G06F30/33 ,  G06F30/27 ,  G06N20/00

Abstract: A system verification method includes generating a first verification vector as a result of a first action of an agent, the first verification vector referring to an observation corresponding to at least one state already covered, from among states of elements of a target system, identifying a first coverage corresponding to at least one state covered by the first verification vector, from among the states of the elements, updating the observation by reflecting the first coverage in the observation, and generating a second verification vector through a second action of the agent, the second verification vector referring to the updated observation.

公开(公告)号：US12124957B2

公开(公告)日：2024-10-22

申请号：US16524341

申请日：2019-07-29

Applicant: Samsung Electronics Co., Ltd.

Inventor： Youngmin Oh

IPC: G06N3/08 ,  G06N3/082

CPC classification number: G06N3/082

Abstract: Provided are an apparatus and method of compressing an artificial neural network. According to the method and the apparatus, an optimal compression rate and an optimal operation accuracy are determined by compressing an artificial neural network, determining a task accuracy of a compressed artificial neural network, and automatically calculating a compression rate and a compression ratio based on the determined task accuracy. The method includes obtaining an initial value of a task accuracy for a task processed by the artificial neural network, compressing the artificial neural network by adjusting weights of connections among layers of the artificial neural network included in information regarding the connections, determining a compression rate for the compressed artificial neural network based on the initial value of the task accuracy and a task accuracy of the compressed artificial neural network, and re-compressing the compressed artificial neural network according to the compression rate.

公开(公告)号：US11599070B2

公开(公告)日：2023-03-07

申请号：US16775733

申请日：2020-01-29

Applicant: SAMSUNG ELECTRONICS CO., LTD.

Inventor： Yeona Hong ,  Kibeom Kim ,  Youngmin Oh ,  Sangho Lee ,  Gajin Song

IPC: G06F3/01 ,  G06Q10/06 ,  G05B13/02 ,  B25J11/00 ,  G10L15/22 ,  G06F9/451 ,  G06Q10/0631 ,  B25J13/00

Abstract: Provided is an electronic device. The electronic device may include: a user interface; a processor operatively connected to the user interface; and a memory operatively connected to the processor, wherein the memory may store instructions that, when executed, cause the processor to control the electronic device to: receive an input via the user interface; determine a task including plural actions based on the input; execute a first action among the plural actions of the determined task; obtain context information related to the task while executing the first action; determine at least one first threshold associated with the first action based at least in part on the obtained context information; and determine the result of the first action based on the execution of the first action being completed based on the at least one first threshold.

公开(公告)号：US11113215B2

公开(公告)日：2021-09-07

申请号：US16698430

申请日：2019-11-27

Applicant: Samsung Electronics Co., Ltd.

Inventor： Youngmin Oh ,  Kibeom Kim ,  Sangho Lee ,  Yeona Hong ,  Gajin Song

IPC: G06F13/24 ,  G06F9/38 ,  G06F9/48 ,  G06Q10/06

Abstract: An electronic device which schedules a plurality of tasks, and an operating method thereof. The electronic device includes a processor and a memory operatively connected to the processor, and when being executed, the memory stores instructions that cause the processor to: detect occurrence of an interrupt requesting performance of a second task while performing a first task; obtain reference values according to a time of the first task, and reference values according to a time of the second task; schedule the first task and the second task based on a reference value of the first task and a reference value of the second task which correspond to a time at which the interrupt occurs; and process the first task and the second task based on a result of the scheduling. Other embodiments are possible.