Informatik (15.757 Artikel)

Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays

Finding knowledge - or meaning - in data is the goal of every knowledge d- covery e?ort. Subsequent goals and questions regarding this knowledge di?er amongknowledgediscovery(KD) projectsandapproac...

Semantische Technologien haben mit der Entwicklung von datenbasierten Systemen wie Neuronale Netze, Deep Learning und Machine Learning ihre Bedeutung nicht verloren, sondern werden als effiziente w...

1. Einleitung.- 1.1. Problemstellung und Zielsetzung.- 1.2. Gliederung.- 2. Hilfsmittel Semantischer Modellierung.- 2.1. Funktionale Semantikspezifikation.- 2.2. Die 'Vienna Development Method'.- 2...

Semantische Suchverfahren kombinieren Techniken der Textverarbeitung, des Information Retrievals und der Wissensverarbeitung, um Informationssuchenden bessere Suchergebnisse als reine Volltextsuche...

Semantic models provide a formalized understanding of the contexts of datasets, facilitating a unified interpretation of data by both humans and machines. These models are an essential component of...

On the axiomatic treatment of concurrency.- Hierarchical development of concurrent systems in a temporal logic framework.- On the composition and decomposition of assertions.- Process algebra with ...

Semirings for Soft Constraint Solving and Programming

Automata theory is the oldest among the disciplines constituting the subject matter of this Monograph Series: theoretical computer science. Indeed, automata theory and the closely related theory of...

Sensemaking for Security

Sensemaking for Security

Sensitivity Analysis for Neural Networks

Sensitivity Analysis for Neural Networks

Markov Localization for Reliable Robot Navigation and People Detection.- Relocalisation by Partial Map Matching.- Localization and On-Line Map Building for an Autonomous Mobile Robot.- Interactive ...

Robotics is a highly interdisciplinary research topic, that requires integration of methods for mechanics, control engineering, signal processing, planning, gra- ics, human-computer interaction, re...