Upload date
All time
Last hour
Today
This week
This month
This year
Type
All
Video
Channel
Playlist
Movie
Duration
Short (< 4 minutes)
Medium (4-20 minutes)
Long (> 20 minutes)
Sort by
Relevance
Rating
View count
Features
HD
Subtitles/CC
Creative Commons
3D
Live
4K
360°
VR180
HDR
21,668 results
This video covers multiple methods for learning with logical constraints including LTN, SPL, NASR, and STLNet. 00:00:00 Intro ...
763 views
7 months ago
In this video, we'll explore how to define database-level constraints using Django. We'll see how we can apply constraints to our ...
2,402 views
4 months ago
We will show how Semiring have been introduced in the CSP and argumentation formalism. How such algebraic structure can ...
144 views
Streamed 7 months ago
2024 European LLVM Developers' Meeting https://llvm.org/devmtg/2024-04/ ------ Leveraging LLVM Optimizations to Speed up ...
104 views
6 days ago
Interpretations of logical formulas over semirings have applications in various areas of computer science including logic, AI, ...
338 views
00:00:00 - Introduction 00:00:15 - Optimization 00:01:20 - Local Search 00:07:24 - Hill Climbing 00:29:43 - Simulated Annealing ...
85,009 views
11 months ago
[LOPSTR23] Predicate Anti-unification in (Constraint) Logic Programming Gonzague Yernaux, Wim Vanhoof No description ...
43 views
Description: Since the beginning of the 21st century, the functional programming paradigm, whose root ideas are now almost 100 ...
362 views
3 months ago
Dive into the World of Constraint Satisfaction Problems (CSPs) In this exciting video, we're unlocking the secrets of Constraint ...
223 views
8 months ago
Pymoo is an open source python framework with state-of-the-art optimisation and post performance analysis capabilities.
4,192 views
9 months ago
... advancement in constraint programming so uh before starting I would like to give you a brief overview or a bio of Dr naib Nazar ...
36 views
2 months ago
Constraint Oriented Programming beautifully demonstrates how a paradigm affects what code you write and the tools you use to ...
3,650 views
In accordance with the famous equation "Algorithm = Logic + Control", we can separate an algorithm into a logic component and a ...
867 views
CP2023: tutorial "Explainable Constraint Solving - A Hands-On Tutorial" by Tias Guns, Ignace Bleukx and Dimos Tsouros.
225 views
6 months ago
Find the presentation slide deck and all other shared material below! We will also be publishing a technical report that details the ...
816 views
Fundamental constraints to the logic of living systems Prof. Ricard Solé, Universitat Pompeu Fabra and Santa Fe Institute Abstract: ...
157 views
4 weeks ago
YooJung Choi (ASU) https://simons.berkeley.edu/talks/yoojung-choi-asu-2023-08-22 Logic and Algorithms in Database Theory ...
892 views
Streamed 10 months ago
Okay so we'll start a program with an introduction to constraint programming renamed constraint solving here on the slide so I'm ...
677 views
10 months ago
ChatGPT will now have vision, but can it do basic logic? I cover the latest news - including GPT Chess! - as well as go through ...
169,167 views
[miniKanren'23] miniKanren: Tutorial William E. Byrd No description available.
453 views