Displaying 497 resources

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

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

Drone Mission Simulations

This lecture overviews various drone mission simulator architectures, notably AirSim and Gazebo.
Category
Data for AI, Systems, methodologies, hardware, and tools
Source
AI-OnDemand

Natural Language Processing

This lecture overviews Natural Language Processing (NLP) that has many applications in text analytics, Linguistics, Machine translation and sentiment analysis.
Category
Data for AI, Systems, methodologies, hardware, and tools
Source
AI-OnDemand

Autonomous Underwater Vessels

This lecture overviews Autonomous Underwater Vessels that has many applications in ocean engineering. It covers the following topics in detail: AUV technologies, sensors, communications, applications.
Category
Systems, methodologies, hardware, and tools
Source
AI-OnDemand

Introduction to Apache Airflow: Workflow Automation with DAGs and Tasks

In today’s technological landscape, process automation has become a fundamental component for improving the efficiency and productivity of organizations.
Category
Data for AI
Source
AI-OnDemand