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 실제 표현 가능한 세계...

Constraint Satisfaction Problem 1. Background 1) 목표 Domain Specific한 Heuristic Function이 아닌 General 한 Heuristic Function으로 문제를 해결하는 것 2) 구성요소 $\mathcal{X}$ ...