Definition & Betydelse | Engelska ordet AUTOMATED

Definition av AUTOMATED

1. böjningsform av automate
2. perfektparticip av automate

Exempel på hur du använder AUTOMATED i en mening

• More advanced algorithms can use conditionals to divert the code execution through various routes (referred to as automated decision-making) and deduce valid inferences (referred to as automated reasoning).
• Automated theorem proving (also known as ATP or automated deduction) is a subfield of automated reasoning and mathematical logic dealing with proving mathematical theorems by computer programs.
• CPAN can denote either the archive network or the Perl program that acts as an interface to the network and as an automated software installer (somewhat like a package manager).
• A cash register, sometimes called a till or automated money handling system, is a mechanical or electronic device for registering and calculating transactions at a point of sale.
• The Docklands Light Railway (DLR) is an automated light metro system primarily serving the redeveloped Docklands area of London and providing a direct connection between London's two major financial districts, Canary Wharf and the City of London.
• E-commerce draws on technologies such as mobile commerce, electronic funds transfer, supply chain management, Internet marketing, online transaction processing, electronic data interchange (EDI), inventory management systems, and automated data collection systems.
• The installation was sponsored by the General Motors Corporation and was characterized by automated highways and vast suburbs.
• One of the innovations that KL-ONE initiated was the use of a deductive classifier, an automated reasoning engine that can validate a frame ontology and deduce new information about the ontology based on the initial information provided by a domain expert.
• The Luddites were members of a 19th-century movement of English textile workers who opposed the use of certain types of automated machinery due to concerns relating to worker pay and output quality.
• Broadly, algorithms define process(es), sets of rules, or methodologies that are to be followed in calculations, data processing, data mining, pattern recognition, automated reasoning or other problem-solving operations.
• Markup can control the display of a document or enrich its content to facilitate automated processing.
• A manuscript (abbreviated MS for singular and MSS for plural) was, traditionally, any document written by hand or typewritten, as opposed to mechanically printed or reproduced in some indirect or automated way.
• Marathon Automated Test Systems, a system for automated testing of printed circuit boards from Computer Automation.
• Prolog is a logic programming language that has its origins in artificial intelligence, automated theorem proving and computational linguistics.
• PHP-Nuke is a web-based automated news publishing and content management system based on PHP and MySQL originally written by Francisco Burzi.
• The term is usually applied to analysis performed by an automated tool, with human analysis typically being called "program understanding", program comprehension, or code review.
• International Mobile Satellite Organization (IMSO) is the oversight body of the satellite communications elements of the Global Maritime Distress and Safety System (GMDSS) established by the IMO designed to provide a worldwide system for automated emergency signal communication for ships at sea.
• OCaml was initially developed in the context of automated theorem proving, and is used in static analysis and formal methods software.
• Logic for Computable Functions, an interactive automated theorem prover, 1973 formalism by Robin Milner.
• An automated call distribution system, commonly known as automatic call distributor or automatic call dispatcher (ACD), is a telephony device that answers and distributes incoming calls to a specific group of terminals or agents within an organization.

Förberedelsen av sidan tog: 129,63 ms.