Search for tag: "algorithm"

110 Media

51:43 ASR Lecture 8 ASR Lecture 8	ASR Lecture 8 ASR Lecture 8: Large vocabulary ASR speech recognition word words model path viterbi language probability pin bit algorithm end speech recognition vocabulary thing transitions probabilities step models decoding From Peter Bell on February 15th, 2021 0 likes 47 plays 0 Licence Type Creative Commons - Attribution Non Commercial Date Created February 4th, 2021
30:45 Coursework 2 Introduction Coursework 2 Introduction	Coursework 2 Introduction Introduction of the coursework. coursework 2 goal action things actions sort planning plan problem kind block planner algorithm coursework syntax thing ff files table condition preconditions From Mattias Reinhold Appelgren on February 14th, 2021 0 likes 270 plays 0 Licence Type All rights reserved The University of Edinburgh
35:57 Michael Rovatsos - Fairness in the Algorithmic… Michael Rovatsos - Fairness in the Algorithmic Economy	Michael Rovatsos - Fairness in the Algorithmic Economy Controversies in the Data Society 2021Prof Michael Rovatsoshttps://www.wiki.ed.ac.uk/display/CIDS/2021+12+Feb+%3A++Consent+and+Fairness data algorithms fairness ai athics data ethics systems kind society economy algorithm welfare things criteria problem question behaviour thing bias justice idea ways preferences range From Michael Rovatsos on February 9th, 2021 0 likes 58 plays 0 Licence Type Creative Commons - Attribution Non Commercial No Derivatives Date Created February 9th, 2021
47:55 Michael Feischl 8 February 2021 Black box… Michael Feischl 8 February 2021 Black box algorithms for adaptive FEM	Michael Feischl 8 February 2021 Black box algorithms for adaptive FEM An automated programme has been used to generate the subtitles on this talk. icms owna error problem network algorithm approximation optimality mesh element elements rate refinement sequence estimator networks norm problems step solution space orthogonality From OLLIE Quinn on February 8th, 2021 0 likes 65 plays 0 Course Code ICMS Publisher ICMS Licence Type All rights reserved Language English Date Created February 8th, 2021
12:34 14.a 14.a	14.a This is the first part of the second Inf2d lecture on Resolution. inf2d reasoning and agents artificial intelligence resolution base knowledge sentence clause theorem implications clauses sentences query steps student students theorems substitution proof algorithm From Claudia-Elena Chirita on February 8th, 2021 0 likes 139 plays 0 Course Code INFR08010 Licence Type All rights reserved The University of Edinburgh Language English
13:39 13.b 13.b	13.b The second video on the first Inf2d lecture on Resolution. inf2d reasoning and agents artificial intelligence resolution clauses base knowledge sentence algorithm negation x. conjunction step clause alpha literals animal cnf variables inference diagram query quantifier From Claudia-Elena Chirita on February 8th, 2021 0 likes 154 plays 0 Course Code INFR08010 Licence Type All rights reserved The University of Edinburgh Language English
12:19 13.a 13.a	13.a The first video on the first Inf2d lecture on Resolution. inf2d reasoning and agents resolution artificial intelligence rule clause inference literals clauses algorithm honey unifier theta result ground factoring alpha substitution disjunction sentence From Claudia-Elena Chirita on February 8th, 2021 0 likes 181 plays 0 Course Code INFR08010 Licence Type All rights reserved The University of Edinburgh Language English
09:47 12.c 12.c	12.c The third video of the Inf2d lecture on Inference in First-Order Logic. inf2d reasoning and agents artificial intelligence inference first-order logic backward chaining algorithm base knowledge query substitution goal depth variables function antecedent conjuncts rule unifies conclusion resolution programming fact j. acre substitutions From Claudia-Elena Chirita on February 3rd, 2021 0 likes 143 plays 0 Course Code INFR08010 Licence Type All rights reserved The University of Edinburgh Language English
20:54 11.b 11.b	11.b The second video of the Inf2d lecture on Unification. inf2d reasoning and agents artificial intelligence unification unifier most general unifier substitution john problem theta equation equations union sentences mother algorithm step delta variables alpha solutions equals loves prime From Claudia-Elena Chirita on February 2nd, 2021 0 likes 159 plays 0 Course Code INFR08010 Licence Type All rights reserved The University of Edinburgh Language English
55:42 ASR Lecture 4 ASR Lecture 4	ASR Lecture 4 ASR lecture 4: Introduction to HMMs speech recognition model probability observation topology sequence step observations hmm bit t. paths algorithm speech projects probabilities recognition words question likelihood word From Peter Bell on February 1st, 2021 0 likes 15 plays 0 Licence Type Creative Commons - Attribution Non Commercial Date Created January 21st, 2021
20:41 9.c 9.c	9.c This is the third video of the Inf2D lecture on Smart Searching using Constraints. inf2d reasoning and agents artificial intelligence constraints csp australia variable values variables arc neighbours domain algorithm node constraint wales colour options queensland territory failure source colours problems From Claudia-Elena Chirita on January 26th, 2021 0 likes 162 plays 0 Course Code INFR08010 Licence Type All rights reserved The University of Edinburgh Language English
31:17 9.a 9.a	9.a This is the first video of the Inf2D lecture on Smart Searching using Constraints. inf2d reasoning and agents artificial intelligence constraints backtracking variables constraint problem problems values satisfaction assignment times algorithm australia ccs things domain variable space graph colours solution letters From Claudia-Elena Chirita on January 26th, 2021 0 likes 177 plays 0 Course Code INFR08010 Licence Type All rights reserved The University of Edinburgh Language English
09:13 9.b 9.b	9.b This is the second video of the Inf2D lecture on Smart Searching using Constraints. inf2d reasoning and agents artificial intelligence csp constraints constraint satisfaction algorithm values variable level assignments assignment variables territory australia function problem domain depth problems backtracking From Claudia-Elena Chirita on January 26th, 2021 0 likes 147 plays 0 Course Code INFR08010 Licence Type All rights reserved The University of Edinburgh Language English
18:56 8.a 8.a	8.a The first video of the Inf2D Reasoning and Agents lecture on Effective Propositional Inference. inf2d reasoning and agents inference propositional logic symbol clause sentence clauses algorithm symbols model knowledge negation alpha unit base literals b11 pll form sentences function heuristic From Claudia-Elena Chirita on January 25th, 2021 0 likes 196 plays 0 Course Code INFR08010 Licence Type All rights reserved The University of Edinburgh Language English
26:03 7.c 7.c	7.c Third video of the Inf2D Reasoning and Agents lecture on Logical Agents. inf2d reasoning and agents artificial intelligence propositional logic sentence model knowledge base logic symbols sentences models symbol algorithm truth rules proof inference negation conjunction function From Claudia-Elena Chirita on January 25th, 2021 0 likes 189 plays 0 Course Code INFR08010 Licence Type All rights reserved The University of Edinburgh Language English
09:25 8.b 8.b	8.b The second video of the Inf2D Reasoning and Agents lecture on Effective Propositional Inference. artificial intelligence inference reasoning and agents inf2d propositional inference process walksat algorithm local search algorithm local search algorithm problems clauses symbols symbol sentence models model function clause problem probability walk sat max values points step assignments space From Claudia-Elena Chirita on January 25th, 2021 0 likes 167 plays 0 Course Code INFR08010 Licence Type All rights reserved The University of Edinburgh Language English

Search for tag: "algorithm"

the university of edinburgh