2023년 2월 25일 (토)
- 10:442023년 2월 25일 (토) 10:44 차이 역사 +3,108 새글 Maximum likelihood estimation 새 문서: 분류: 확률과 통계 분류: 지도 학습 == 개요 == 최대 우도 추정(MLE: Maximum Likelihood Estimation) 방법은 주어진 샘플 x에 대해 우도를 가장 크게 해 주는 모수 θ를 찾는 방법이다. == 방법 == 어떤 모수 <math>\theta</math>로 결정되는 확률변수들의 모임 <math>D_\theta = (X_1, X_2, \cdots, X_n)</math>이 있고, <math>D_\theta</math>의 확률 밀도 함수나 확률 질량 함수가 <math>f</math>이... 최신
- 10:442023년 2월 25일 (토) 10:44 차이 역사 +1,627 새글 Maximum a posterior 새 문서: 확률과 통계 ==개요== Maximum likelihood estimation를 가지고도 확률 추론을 할 수 있지만, MLE보다 MAP를 사용하면 더욱 자세한 분류를 할 수 있다. 이는 확률 추론에 집단의 분포또한 포함하기 때문이다. 이러한 MAP를 사용할려면 사후 확률을 알아야 하는데, Bayesian Interface는 이러한 사전 확률에서 사후 확률을 알 수 있도록 하는 방법을 제시한다. 예를... 최신
- 10:422023년 2월 25일 (토) 10:42 차이 역사 +1,760 새글 최대 사후 확률 새 문서: 분류: 확률과 통계 ==개요== 최대 사후 확률(最大事後確率, maximum a posteriori, MAP)은 베이즈 통계학에서 사후 확률(事後確率)의 최빈값을 가리킨다. 최대 사후 확률에 대응하는 모수(母數, Parameter)는 최대우도(最大尤度, maximum likelihood estimation, MLE)와 마찬가지로 모수의 점 추정으로 사용할 수 있지만, 최대우도에서는 어떤 사건이 일어날 확률을 가장 높이는 모수를... 최신
- 10:412023년 2월 25일 (토) 10:41 차이 역사 +4,472 새글 Optical flow 새 문서: 분류: 컴퓨터 비전 == 개요 == 비디오는 연속적인 이미지로 얻어진다. 시간 t에 대한 I(x,y,t)로 이미지의 한 지점을 얻을 수 있다. 만약 정지된 카메라를 가지고 있다면, 물체의 연속된 움직임을 예측할 수 있다. Optical Flow는 이러한 문제에 사용될 수 있다. 이러한 움지직임을 가지고 Denoising을 계산할 수도 있다. 이러한 이미지와 이미지의 연속된 움직임을 Optical Flow...
- 10:412023년 2월 25일 (토) 10:41 차이 역사 +1,326 새글 Ridge 회귀 모형 새 문서: 분류: 지도 학습 프레임없음|가운데 == 개요 == Ridge 회귀모형에서는 가중치들의 제곱합(squared sum of weights)을 최소화하는 것을 추가적인 제약 조건으로 한다. L2-regularizer이라고도 불리며, Tikhonov regularization, Weight decay, SVM with hinge loss라 불리기도 한다. :<math>w = \text{arg}\min_w \left( \sum_{i=0}^N e_i^2 + \lambda \sum_{j=1}^M w_j^2 \right)</math> 여기서 상수항... 최신
- 10:402023년 2월 25일 (토) 10:40 차이 역사 +968 새글 Lasso 회귀 모형 새 문서: 분류: 지도 학습 == 개요 == Lasso(Least Absolute Shrinkage and Selection Operator) 회귀모형은 가중치의 절대값의 합을 최소화하는 것을 추가적인 제약 조건으로 한다. :<math>w = \text{arg}\min_w \left( \sum_{i=1}^N e_i^2 + \lambda \sum_{j=1}^M | w_j | \right)</math> 선형 회귀모델의 가중치 optimization에 사용된다. Linear penality는 가중치들이 zero로 가도록 유도한다. 미분가능하지 않으며 closed form... 최신
- 10:402023년 2월 25일 (토) 10:40 차이 역사 +10,674 새글 선형 회귀 모델 새 문서: 분류:지도 학습 == 개요 == <math> h(x) = a_{0} + a_{1} * x_{1} + a_{2} * x{2} + a_{3} * x{3} .... </math> 처럼 선형의 다항식으로 표현되는 회귀 분석 모델을 구하는 과정이다. 이 식은 벡터 형식으로 표현하면 다음과 같이 표현할 수 있다. : <math> \begin{align*}h_\theta(x) =\begin{bmatrix}\theta_0 \hspace{2em} \theta_1 \hspace{2em} ... \hspace{2em} \theta_n\end{bmatrix}\begin{bmatrix}x_0 \newline x_1 \newline \vdots \n... 최신
- 10:392023년 2월 25일 (토) 10:39 차이 역사 +1,068 새글 Epipolar Geometry 새 문서: 분류: 컴퓨터 비전 == 개요 == 하나의 이미지로 3D구조를 다시 만드는 것은 상당히 힘든 일이다. 따라서 이러한 3D structure를 만들기 위해서는 여러 View에서의 물체 인식이 필요하다. Epipolar Geometry의 목표는 이미지 상의 한점이 3차원 공간에서 어떠한 지점에 위치하는 지를 파악하는 일을 지칭한다. 3D에서 2D로 가는 일은 projection 행렬의 곱으로 표현된다. Principal axis... 최신
- 08:042023년 2월 25일 (토) 08:04 차이 역사 −2 Indentifier 편집 요약 없음 최신
- 08:032023년 2월 25일 (토) 08:03 차이 역사 +485 Indentifier 편집 요약 없음 태그: 시각 편집: 전환됨
- 07:462023년 2월 25일 (토) 07:46 차이 역사 +80 잔글 Indentifier →Semantics 태그: 시각 편집
- 07:462023년 2월 25일 (토) 07:46 차이 역사 +1,766 새글 Indentifier 새 문서: 분류: 프로그래밍 언어 == 개요 == Identifier(식별자)는 프로그래임 언어의 특정 부분을 가르키는 이름(name)이다. 이러한 identifier가 가르키는 대상은 변수, 데이터 타입, 라벨, 서브 루틴,모듈과 같이 다양한 부분이 될 수 있다. 식별자는 값이나 다른 코드 부분을 참조하거나 닫을 수 있는 기호를 정의한다. 각 프로그래밍 언어는 식별자로 어떠한 값이 사용될 수...
- 07:062023년 2월 25일 (토) 07:06 차이 역사 +1,152 새글 Semantics 새 문서: 분류: 프로그래밍 언어 == 개요 == 시맨틱은 프로그래밍 언어에서 문장이 가지는 의미를 말한다. 시맨틱은 컴퓨터가 특정 프로그램 언어가 실행될 경우 어떤 operation을 수행해야 할 지를 나타낸다. 이는 프로그램의 input과 output을 나타내거나 ISA와 같은 구체적인 행동 방식을 특징짓는다. 시맨틱 분석은 프로그래밍 언어의 정의, 프로그래밍 언어의 증명, type sy... 최신
- 07:042023년 2월 25일 (토) 07:04 차이 역사 +36 새글 Abstract syntax Syntax#Abstract syntax 문서로 넘겨주기 최신 태그: 새 넘겨주기
- 07:042023년 2월 25일 (토) 07:04 차이 역사 +40 새글 Concrete syntax Syntax#Concrete syntax 문서로 넘겨주기 최신 태그: 새 넘겨주기
- 06:512023년 2월 25일 (토) 06:51 차이 역사 +1,536 새글 Rule of inference 새 문서: 분류: 프로그래밍 언어 == 개요 == 추론 규칙은 프로그래밍 언어에서 syntax가 어떤 규칙을 따라가야하는지 수학적 기호로 표현한 것을 말한다. 추론 규칙은 마치 분수처럼 나타내지는데, 분자부분에는 추론들의 집합이, 분모 부분에는 추론의 결과가 있다. 추론들의 집합을 모두 만족시키는 결과가 분모임의 나타낸다. (모든 Hypothesis가 참이면 C임의 나타낸다.) : <ma... 최신
- 06:402023년 2월 25일 (토) 06:40 차이 역사 +920 Syntax 편집 요약 없음 최신
- 06:052023년 2월 25일 (토) 06:05 차이 역사 0 Syntax 편집 요약 없음
- 06:052023년 2월 25일 (토) 06:05 차이 역사 +2,609 새글 Syntax 새 문서: 분류: 프로그래밍 언어 == 개요 == Syntax란 프로그래밍 언어에서, 기호의 집합으로 구성된 statements혹은 expression을 의미한다. 이 syntax는 프로그래밍 언어의 문법을 구성한다. syntax는 위치정보와 기호를 통해서 (주로, 컴퓨터에서는 글자로 표현된다.) 표현된다. syntax는 프로그래밍 언어의 형태를 나타내며, Semantics와는 다르게 의미정보는 가지고 있지 않는다. S...
- 05:362023년 2월 25일 (토) 05:36 차이 역사 +13 분류:전산과학 편집 요약 없음 최신
- 05:352023년 2월 25일 (토) 05:35 차이 역사 +24 새글 분류:전산이론 새 문서: 분류: 전산과학 최신
- 05:352023년 2월 25일 (토) 05:35 차이 역사 0 분류:프로그래밍 언어 편집 요약 없음 최신
- 05:342023년 2월 25일 (토) 05:34 차이 역사 +8 분류:프로그래밍 언어 편집 요약 없음
- 05:342023년 2월 25일 (토) 05:34 차이 역사 +16 새글 분류:프로그래밍 언어 새 문서: 전산과학
- 05:332023년 2월 25일 (토) 05:33 차이 역사 +412 Pattern matching 편집 요약 없음 최신
- 05:182023년 2월 25일 (토) 05:18 차이 역사 0 프로그래밍 언어 편집 요약 없음 최신
- 05:152023년 2월 25일 (토) 05:15 차이 역사 −2 프로그래밍 언어 편집 요약 없음
- 05:142023년 2월 25일 (토) 05:14 차이 역사 +453 Scala 편집 요약 없음 최신
- 05:102023년 2월 25일 (토) 05:10 차이 역사 +1,258 새글 Pattern matching 새 문서: 분류: 프로그래밍 언어 == 개요 == 패턴 매칭은 일련의 토큰들이 특정 패턴에 포함되는지를 판단하는 구문을 말한다. 패턴매칭은 Modern programming langauge에서 많이 사용되며, 특히 함수형 언어혹은 함수형 언어의 특징을 포함하는 언어들에서 많이 사용된다. 이러한 예시로는 Rust, C#, Scala와 같은 언어들이 있다. * sequence matching: 주어진 일련의 토큰들에서...
- 04:562023년 2월 25일 (토) 04:56 차이 역사 +49 Backus-Naur form 편집 요약 없음 최신
- 04:552023년 2월 25일 (토) 04:55 차이 역사 +772 프로그래밍 언어 편집 요약 없음
- 04:542023년 2월 25일 (토) 04:54 차이 역사 +1,704 새글 Backus-Naur form 새 문서: '''배커스-나우르 표기법'''(Backus–Naur form), 약칭 '''BNF'''는 문맥 자유 문법을 나타내기 위해 만들어진 표기법이다. 존 배커스와 페테르 나우르의 이름을 따서 부른다. BNF는 기본적으로 다음의 문법을 사용한다. <syntaxhighlight lang="bnf"> <기호> ::= <표현식> </syntaxhighlight> * 기호는 말단 기호가 될 수 없다. * 표현식은 다른 기호의 조합, 또는 여러 가지의 표현... 태그: 시각 편집: 전환됨
- 04:162023년 2월 25일 (토) 04:16 차이 역사 +177 새글 프로그래밍 언어 새 문서: 분류: 프로그래밍 언어 == 개요 == 모든 Langauge는 syntax그리고 syntax와 연관된 behavior(Semantics), 라이브러리 그리고 idiom으로 구성된다.
- 04:142023년 2월 25일 (토) 04:14 차이 역사 +1,389 새글 Scala 새 문서: 분류: 프로그래밍 언어 == 개요 == Scala는 객체지향 언어의 특징과 함수형 언어의 특성을 동시에 가지는 Java기반의 언어이다. Scala는 Scalability를 위한 확장성에 초점을 맞추어 개발되었으며, Java보다 더욱 프로그래밍 언어측면에서 진보한 언어적 특징들을 가지고 있다. == 문법 == === Functions === 스칼라는 컴파일 타임에 모든 타입을 체크한다. <code>def add(a: Int,...
2023년 2월 24일 (금)
- 09:272023년 2월 24일 (금) 09:27 차이 역사 +432 새글 Stereo matching 새 문서: 분류:컴퓨터 비전 == 개요 == 스테레오 정합은 기준 영상(reference image)에서의 한 점에 대한 동일한 점(= 똑같은 점)을 목표 영상(target image)에서 찾는 과정이다. 이러한 정합을 바탕으로 시차를 계산하여 깊이 정보를 가져오는 것을 요구한다. == 참고 == # https://adioshun.gitbooks.io/gitbook_from_github/content/Image_Process_ch15/stereo-matching.html 최신
- 09:272023년 2월 24일 (금) 09:27 차이 역사 +5,744 새글 Naive Bayes classifiers 새 문서: 분류: 지도 학습 == 개요 == == Naive Bayes Classifiers == 나이브 베이즈는 조건부 확률 모델이다. 분류될 인스턴스들은 N 개의 특성 (독립변수)을 나타내는 벡터 <math>\mathbf{x} = (x_1, \dots, x_n)</math> 로 표현되며, 나이브 베이즈 분류기는 이 벡터를 이용하여 k개의 가능한 확률적 결과들 (클래스)을 다음과 같이 할당한다. :<math>p(C_k \vert x_1, \dots, x_n)\,</math> 위의 공식은 특성... 최신
- 09:262023년 2월 24일 (금) 09:26 차이 역사 +2,366 새글 Logistic regression 새 문서: 분류: 지도 학습 == 개요 == Discriminative model을 사용한 분류기중 가장 널리 사용되는 방식이다. Logistic Regression은 각각의 샘플들이 특정한 class에 분류될 확율을 Regression시킨다. Logistic Regression 은 Logistic fuction을 이용하여 class들을 분류한다. Logistic Regression 은 선형분류의 한예라고도 할 수있다. == Logistic Function == 섬네일|가운데 여기서 L... 최신
- 09:252023년 2월 24일 (금) 09:25 차이 역사 +24 새글 분류:컴퓨터 비전 새 문서: 분류: 전산과학
- 09:252023년 2월 24일 (금) 09:25 차이 역사 +733 새글 Multi-view geometry 새 문서: 분류: 컴퓨터 비전 == 개요 == 하나의 object를 서로 다른 각도에서 촬영한 여러장의 사진을 바탕으로 geometry를 형성하는 문제를 말한다. == 방식 == 및의 세가지 문제를 모두 고려하여 Multi view geometry문제를 해결할 수 있다. # Correspondence (Stereo matching): 한장의 이미지가 주어질경우, 다른 이미지에서 일치하는 point는 어디인가 찾는 문제 # Scene geometry: 2D이미지 여러장... 최신
- 09:242023년 2월 24일 (금) 09:24 차이 역사 +198 새글 Reactive/Tactic/Strategy 새 문서: 분류: 의사 결정 == 개요 == Reactive control은 당면한 문제에 대한 해결, Tactic은 short-term문제에 대한 해결, Strategy는 long-term문제에 대한 해결을 말한다. 최신
- 09:232023년 2월 24일 (금) 09:23 차이 역사 +10 Inter Process Communication 편집 요약 없음 최신
- 09:232023년 2월 24일 (금) 09:23 차이 역사 +975 새글 Dup 새 문서: 분류: POSIX 시스템 콜 == 개요 == standard I/O 스트림을 fork 후에 그러나 exec전에 바꾸는 것을 말한다. : ls > x.ls 위의 bash프로그램은 ls의 결과값을 standard output이 아니라 x.ls 라는 파일에 dump시키게 된다. 이때 사용하는 > 기호를 dup이라고 한다. == dup(int fd) == 새로운 파일 서술자를 반환하지만, 숫자만 다를뿐 원래의 서술자와 복제된 서술자는 모두 완벽히 같은 파일... 최신
- 09:222023년 2월 24일 (금) 09:22 차이 역사 +31 새글 분류:의사 결정 새 문서: 분류: 게임 알고리즘 최신
- 09:222023년 2월 24일 (금) 09:22 차이 역사 +2,924 새글 Rule based system 새 문서: 분류: 의사 결정 섬네일|가운데 == 개요 == 규칙 기반 시스템은 Production system이라고 불리기도 한다. 메인 스트림은 아니지만 꾸준히 사용되고 있다. 규칙 기반 시스템은 3가지의 정보를 기반으로 한다. Database, If-then rules, Inferece engine이 3가지를 이용하여 주어진 상황에서 도출 할 수 있는 가장 적합한 반응을 만들어 낸다. 예를 들면, 상대가... 최신
- 09:212023년 2월 24일 (금) 09:21 차이 역사 +34 새글 운영체제 Operating system 문서로 넘겨주기 최신 태그: 새 넘겨주기
- 09:212023년 2월 24일 (금) 09:21 차이 역사 +3,462 새글 Operating system 새 문서: 분류:운영체제 == 개요 == 오퍼레이팅 시스템(Operating System, 약칭:OS)은 시스템 하드웨어를 관리할 뿐 아니라 응용 소프트웨어를 실행하기 위하여 하드웨어 추상화 플랫폼과 공통 시스템 서비스를 제공하는 시스템 소프트웨어이다. 최근에는 가상화 기술의 발전에 힘입어 실제 하드웨어가 아닌 하이퍼바이저 위에서 실행되기도 한다. 운영 체제는 실행되는 응용 프...
- 09:192023년 2월 24일 (금) 09:19 차이 역사 +1,377 새글 Cmp 새 문서: 분류: 유닉스 명령어 '''cmp'''는 유닉스 계열 운영 체제를 사용하는 컴퓨터 시스템에 대한 명령 줄 유틸리티이다. 이는 모든 종류의 두 개의 파일을 비교하고 그 결과물을 표준 출력에 쓴다. 기본값으로 만약 파일들이 같다면 cmp은 실행되지 않는다. 파일들이 서로 다르다면, 다른 점이 발견된 최초 지점의 바이트와 문자열 숫자를 알려준다. ==... 최신
- 09:192023년 2월 24일 (금) 09:19 차이 역사 +3,408 새글 Cut 새 문서: 분류: 유닉스 명령어 '''cut'''은 유닉스 계열에 있는 프로그램으로, 텍스트 파일의 각 줄에서 특정 부분을 자르는 데에 사용한다. == 예제 == 다음과 같은 텍스트 파일이 있을 때: foo<u>''':bar:ba'''</u>z:qux:quux one<u>''':two:th'''</u>ree:four:five:six:seven alp<u>'''ha:beta'''</u>:gamma:delta:epsilon:zeta:eta:teta:iota:kappa:lambda:mu 각 문장의 4번째부터 10번째 글자만 얻고 싶다면 다음... 최신
- 09:182023년 2월 24일 (금) 09:18 차이 역사 +3,021 새글 Sort 새 문서: 분류: 유닉스 명령어 ==개요== '''sort'''는 표준 유닉스 명령어 프로그램으로서 입력어들이나 인수 목록들에 기입된 모든 파일들의 연속어들을 정렬된 순서로 출력한다. 정렬하기는 입력어 각각으로부터 도출된 하나 혹은 그 이상의 정렬 키들에 바탕을 두어 시행된다. 디폴트에 의해서 전체 입력어는 정렬 키로 처리된다. 빈 공백은 디폴트 필드 구분자로서... 최신
- 09:182023년 2월 24일 (금) 09:18 차이 역사 +2,629 새글 Uniq 새 문서: 분류: 유닉스 명령어 ==개요== <code>'''uniq'''</code>(유니크)는 텍스트 파일 내에 중복된 내용의 행이 연속으로 있으면 중복 없이 하나의 행으로 만들어 주는 유닉스 유틸리티이다. <code>'''uniq'''</code>는 일종의 필터 프로그램(filter program)으로 보통 <code>sort</code>뒤에 덧붙여 사용된다. 또한 <code>-d</code>옵션을 적용하여 중복되는 행만을 볼 수 있거나, <code>-c</cod... 최신
