Category
page 1SRI International software
LaTeX
LaTeX ( or , to rhyme with "blech"), often stylized as '''''', is a software system for typesetting documents, based on the TeX typesetting system. LaTeX provides a high-level, descriptive markup language to use TeX more easily: TeX handles the document layout, while LaTeX handles the content side for document processing. Because the plain TeX formatting commands are elementary, it provides authors with ready-made commands for formatting and layout requirements such as chapter headings, footnotes, cross-references and bibliographies.

Siri
Siri ( ) is a virtual assistant and chatbot purchased, developed, and popularized by Apple, which is included in the iOS, iPadOS, watchOS, macOS, Apple TV, audioOS, and visionOS operating systems. It uses voice queries, gesture based control, focus-tracking and a natural-language user interface to answer questions, make recommendations, and perform actions by delegating requests to a set of Internet services. With continued use, it adapts to users' individual language usages, searches, and preferences, returning individualized results.
CarPlay
CarPlay is an Apple standard that enables a car radio or automotive head unit to be a display and controller for an iOS device. It is available on iPhone 5 and later models running iOS 7.1 or later.
STRIPS
artificial intelligence system for automated planning
oNLine System
1960s computer collaboration system
Warren Abstract Machine
abstract machine for the execution of Prolog
diffusing update algorithm
algorithm