ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

646 results

Roel Van de Paar
Forward checking with conflict directed backjumping

Forward checking with conflict directed backjumping Helpful? Please support me on Patreon: ...

1:54
Forward checking with conflict directed backjumping

800 views

4 years ago

Roel Van de Paar
Forward checking vs arc consistency on 3-SAT (2 Solutions!!)

Forward checking vs arc consistency on 3-SAT Helpful? Please support me on Patreon: https://www.patreon.com/roelvandepaar ...

1:39
Forward checking vs arc consistency on 3-SAT (2 Solutions!!)

269 views

5 years ago

Roel Van de Paar
Computer Science: CSP Forward checking with n-ary (and binary) constraints (2 Solutions!!)

Computer Science: CSP Forward checking with n-ary (and binary) constraints Helpful? Please support me on Patreon: ...

2:08
Computer Science: CSP Forward checking with n-ary (and binary) constraints (2 Solutions!!)

140 views

4 years ago

Roel Van de Paar
Code Review: Sudoku solver using forward checking (2 Solutions!!)

Code Review: Sudoku solver using forward checking Helpful? Please support me on Patreon: ...

4:09
Code Review: Sudoku solver using forward checking (2 Solutions!!)

653 views

3 years ago

Juan José Gibaja Martíns
[ML-42] El algoritmo forward para la selección del modelo óptimo

En este vídeo se presenta, mediante un pequeño ejemplo con tres variables candidatas, el procedimiento forward para la ...

9:45
[ML-42] El algoritmo forward para la selección del modelo óptimo

5,084 views

13 years ago

Maria Bianca
Uppaal (model checking tool) and Corectness Criteria for Beginners

Scenario: In the first activity, we assume that there are two cars that simultaneously search for parking space. The cars can move ...

46:14
Uppaal (model checking tool) and Corectness Criteria for Beginners

27,103 views

8 years ago

Team Jupeter
[머신러닝] 615 -  Backtracking with Forward Checking or Filtering and with Arc Consistency

팀 주피터의 교육 법인 설립과 다양한 프로젝트 진행에 참여하십시오. http://sites.google.com/view/realtimekorea/ 참여 2021년 5월 1 ...

10:02
[머신러닝] 615 - Backtracking with Forward Checking or Filtering and with Arc Consistency

2,391 views

8 years ago

Wisc-Online
CRC - Cyclic Redundancy Check

Learn what the CRC is, the technology behind it, and how it's performed.

6:05
CRC - Cyclic Redundancy Check

146,561 views

9 years ago

Alice Gao
L04 AC-3 Arc Consistency Algorithm

Hello everyone this is alice gao in this video i will introduce the ac3 arc consistency algorithm in the previous video i introduced ...

7:37
L04 AC-3 Arc Consistency Algorithm

12,091 views

4 years ago

Jakub Opršal
Silvia Butti — The Complexity of the Distributed Constraint Satisfaction Problem

A recording of Silvia Butti's talk at the CSP seminar online on Wed 28 Oct 2020. See https://csp-seminar.org/talks/silvia-butti/ for ...

47:18
Silvia Butti — The Complexity of the Distributed Constraint Satisfaction Problem

368 views

5 years ago

Roel Van de Paar
Which AC-3 algorithm is being used here?

Which AC-3 algorithm is being used here? Helpful? Please support me on Patreon: https://www.patreon.com/roelvandepaar With ...

1:57
Which AC-3 algorithm is being used here?

36 views

5 years ago

Steven Gordon
Error Detection and Correction (ITS323, L13, Y15)

General approaches for dealing with errors in communications, e.g. error detection, ARQ, FEC. Detailed examples of error ...

1:12:20
Error Detection and Correction (ITS323, L13, Y15)

2,723 views

10 years ago

SiliconANGLE theCUBE
Micha Gorelick, Fast Forward Labs | Innovation Day 2016

01. Micha Gorelick, Fast Forward Labs, Visits #theCUBE. (00:12) 02. Understanding Text in a More Robust Way. (00:45) 03.

16:39
Micha Gorelick, Fast Forward Labs | Innovation Day 2016

746 views

10 years ago

Steven Gordon
Error Detection (ITS323, Lecture 16, 2014)

Error Detection; Parity Check. Lecture 16 of ITS323 Introduction to Data Communications. Course material via: ...

42:49
Error Detection (ITS323, Lecture 16, 2014)

1,938 views

11 years ago

Alice Gao
L04: CSP Examples

... four queens problem as a running example to discuss algorithms to solve a csp that is all my examples on constraint satisfaction ...

8:17
L04: CSP Examples

2,486 views

4 years ago

Roel Van de Paar
Aren t most constraining variable and least constraining value the exact opposite?

Aren t most constraining variable and least constraining value the exact opposite? Helpful? Please support me on Patreon: ...

2:00
Aren t most constraining variable and least constraining value the exact opposite?

90 views

5 years ago

Algeboy: Prof James B. Wilson
Sequent Calculus the handwriting of logic

To explain a wide range of logical options we need a language that does just enough to explain reasoning but not so much as to ...

18:09
Sequent Calculus the handwriting of logic

1,113 views

1 year ago

Alice Gao
L05 Formulating a Local Search Problem

Next let me get into the mechanics of a local search algorithm to apply local search we will use a complete state formulation ...

9:05
L05 Formulating a Local Search Problem

1,532 views

4 years ago

Wouter SMCR
Identifying confounders with regression in SPSS

Identifying confounders with regression in SPSS.

4:07
Identifying confounders with regression in SPSS

24,906 views

4 years ago

CMU Database Group
CMU Database Systems - 19 Timestamp Ordering Concurrency Control (Fall 2017)

Slides PDF: http://15445.courses.cs.cmu.edu/fall2017/slides/19-timestampordering.pdf Notes PDF: ...

1:19:02
CMU Database Systems - 19 Timestamp Ordering Concurrency Control (Fall 2017)

2,837 views

8 years ago

Alice Gao
L04 Arc-Consistency Definition

In the next video i will introduce an arc consistency algorithm which handles binary constraints only in general each constraint can ...

9:39
L04 Arc-Consistency Definition

2,621 views

4 years ago

Orange Data Mining
Forward Pruning of Trees

In this video, we dive deeper into classification trees using the Iris dataset in Orange. We examine the concept of "forward pruning" ...

3:45
Forward Pruning of Trees

5,301 views

2 years ago

SiliconANGLE theCUBE
Hilary Mason, Fast Forward Labs | Innovation Day 2016

Enhanced video at http://vinja.tv/wWtMNbbL 01. Hilary Mason, Fast Forward Labs, Visits #theCUBE. (00:12) 02. Fast Forward ...

16:54
Hilary Mason, Fast Forward Labs | Innovation Day 2016

1,750 views

10 years ago

Maths Mash
Use a written column method of subtraction and check with addition

Okay in this video I'm going to be going through using a written column method of subtraction and we're going to check with ...

9:08
Use a written column method of subtraction and check with addition

63 views

10 years ago

North Bay Python
"A Gradual Introduction to Types" - Laura Hampton (North Bay Python 2019)

Laura Hampton https://2019.northbaypython.org/schedule/presentation/6/ **Long Description: ** When I was learning Python, my ...

19:07
"A Gradual Introduction to Types" - Laura Hampton (North Bay Python 2019)

875 views

6 years ago