Displaying 273 resources

Agent Systems

This lecture overviews Agent Systems that has many applications in multi-party behavior modeling.
Category
Data for AI, Systems, methodologies, hardware, and tools, Reasoning and decision-making Technologies
Source
AI-OnDemand

Finite Element Method for Stress Analysis

This lecture overviews Finite Element Method for Stress Analysis that has many applications in Mechanical and Civil engineering, in Material Science and Biomedicine.
Category
Systems, methodologies, hardware, and tools
Source
AI-OnDemand

The Silent (R)evolution of SAT

The Propositional Satisfiability problem (SAT) was the first to be shown NP-complete by Cook and Levin. SAT remained the embodiment of theoretical worst-case hardness.
Category
Systems, methodologies, hardware, and tools
Source
AI-OnDemand

Set Theory

This lecture overviews Set Theory that has many applications in Probability/Statistics, Machine Learning and Computer Vision.
Category
Data for AI, Systems, methodologies, hardware, and tools
Source
AI-OnDemand

Digital Image Compression

This lecture overviews Digital Image Restoration that has many applications in scientific/medical imaging and in digital photography.
Category
Systems, methodologies, hardware, and tools
Source
AI-OnDemand

Camera Geometry

After a brief introduction to image acquisition and light reflection, the building blocks of modern cameras will be surveyed, along with geometric camera modelling.
Category
Systems, methodologies, hardware, and tools
Source
AI-OnDemand