ai  (14 787 Angebote unter 21 032 878 Artikeln)

Auswirkungen auf die Unterrichts- und Prüfungskultur

The Symposium on Ubiquitous Computing and Ambient Intelligence (UCAmI) began as a workshop held in 2003 in San Sebastián (Spain) under the Spanish Artificial Intelligence Conference. This event gat...

Historical and Philosphical Issues.- AI in the 21st Century - With Historical Reflections.- The Physical Symbol System Hypothesis: Status and Prospects.- Fifty Years of AI: From Symbols to Embodime...

1 (Hrsg. J. Retti).- Eingeladene Hauptvorträge.- Temporal Issues in Qualitative Reasoning.- Current Issues in Natural Language Understanding.- Equational Theorem Proving and Rewrite Rule Systems.- ...

Seit 10 Jahren teilt junokai, die CS/CX Unternehmensberatung aus Berlin, nun schon wöchentlich seine Tipps auf und blickt inzwischen mit über 500 Einzeltipps auf eine beachtliche Sammlung zurück. I...

Proceedings of ICNBME-2023, September 20-23, 2023, Chisinau, Moldova - Volume 2: Biomedical Engineering and New Technologies for Diagnosis, Treatment, and Rehabilitation

5th International Conference on Practical Applications of Computational Biology & Bioinformatics

Over the past few years, the demand for data traffic has experienced explosive growth thanks to the increasing need to stay online. New applications of communications, such as wearable devices, aut...

6th International Conference on Practical Applications of Computational Biology & Bioinformatics

I Contents.- Eingeladene Beiträge/Invited Talks.- Knowledge-based Generation of Illustrated Documents.- On the Complexity of Clause Condensing.- AI und Hypertext/AI and Hypertext.- HESDE -- A Hyper...

7th International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS'09)

Proceedings of the EMBEC 2020, November 29 - December 3, 2020 Portoro?, Slovenia

KMO 2012 provides an international forum for authors to present and discuss research focused on the role of knowledge management for innovative services in industries, to shed light on recent advan...

Requirements, Methods, Implementations

Connections and higher-order logic.- Commutation, transformation, and termination.- Full-commutation and fair-termination in equational (and combined) term-rewriting systems.- An actual implementat...