1. Unconstrained Minimization [\text{Minimize: } f(\mathbf{x})] $\mathbf{x} \in \mathbb{R}^n,$ $f(\mathbf{x}) \text{는 Convex},$ $f(\mathbf{x}) \text{는 두번 미분 가능}$ Background Minimization을 ...

1. Duality [\text{minimize} \quad \quad \;\; f_0(\mathbf{x}) \text{subject to} \quad f_i(\mathbf{x}) \leq 0, \qquad \qquad \quad h_i(\mathbf{x}) = 0] Standard Form Problem(=Primal Problem) 1) ...

Dense Correspondence 모든 점들을 활용해 Pixel간의 매칭을 수행하는 것 ex. Flow예측 즉, 모든 점들을 활용해야 하기 때문에 Sparse Correspondence처럼 특별한 Feature Detection과정이 필요없다. 따라서 다음으로 구성할 수 있다. Feature Descriptor R...

Sparse Correspondence 특정 점들을 통해 이미지간의 매칭을 수행하는 것 즉, 이 특징점들을 추출하여 Vector화할 때, 다음 두가지 Property를 구현하는 것이 중요하다. Robustness: 비슷한 Feature들은 가까운 거리에 존재하는 것 Distinctiveness: 다른 Feature들은 먼 거리에 존재하는 것...

Machine Learning Machine Learning에는 크게 2가지 종류가 존재한다. Deductive Learning 규칙들을 분석해 새로운 규칙을 찾아내는 것 Inductive Learning 데이터에 기반해 규칙을 찾아내는 것 Supervise...

시스템이란 다음과 같이 표현이 가능하다. 필요한 기능을 위해 관련 요소를 어떤 법칙에 따라 조합한 집합체 각 구성요소들이 상호작용(수학적 모델)하거나 상호의존해 복잡하게 얽힌 통일된 하나의 집합체 우리는 이 시스템을 모델링함으로써, 우리가 원하는 장치들을 만들 수 있다. 이때, 모델링이란 상태변수 및 전달함수를 계산해내는 것을 의미한...

Planning 자율주행의 구성기술은 다음과 같다. 인지: 센서로 주변인식 판단: 경로생성 + 주행상황 판단 제어: 경로추종 여기서는 판단기술이 하는 역할에 대해 알아보자 1. 입력 1) 센서   카메라 라이다 레이더 장점 ...

Convex Optimization 1. 정의 1) Standard Form   Optimization Convex Optimization Miminize(목적함수) $f_0(x), \quad x \in ...

First-Order Logic 1. BackGround propositional logic은 이 세상의 모든 문제를 Propositinoal Symbol로 나타내고 이는 오직 True/False만을 갖는다. 이 때문에 이 세상의 Object들을 표현하기에 부족한 면이 있는데, 가령 {1, 1}에 바람이 불면 주변에 함정이 있다는 사실과 {2, ...

Propositional Logic 1. BackGround 1) 표현 1. Truth Table 실제 표현 가능한 세계들의 모음 (내가 알고있는 사실이 True인지 False인지는 상관없음) 2. Model 실제 표현 가능한 세계...