yusuke1997/dblp-id-title huggingface dataset:
A Newton-Euler approach to modelling and control of flexible manipulators
New frontiers of markerless motion capture
The GDPR Compliance Through Access Control Systems
Hierarchical and multilayer control structures based on MPC for large-scale systems
Exploiting public web content to enhance environmental monitoring
Two-parameter bifurcations in smooth and piecewise-smooth dynamical systems : new theoretical results and applications
Adaptive web-based systems
Fast and fair event delivery in large scale online games over heterogeneous networks
Social interaction analysis in in videos, from wide to close perspective
Fully dynamic algorithms for distributed shortest paths
Advanced models for simulation of planar and gate-all-around nanoscale MOSFETs
Set Membership identification and filtering of linear systems with guaranteed accuracy
Trasduttori opto-acustici ed acusto-ottici in fibra ottica
Numerical investigation of efficiency loss mechanisms in light emitting diodes and determination of radiative and non-radiative lifetimes for infrared optoelectronics
Deployment of flexible services over programmable networks
Communication technologies and applications
Dynamic application autotuning for self-aware approximate computing
Global compunting
Data location systems in grid computing environment
Challenges and Solutions in Digital Integrated Circuit Design for Sensor Conditioning and Control
Bidirectional and change propagating model transformations in MDE
Novel path planning and autonomous control methods for needle steering systems in keyhole neurosurgery
Context-Aware Approaches to Mobile Search
SiPM-based readout of LaBr3 scintillators: development and characterization of state-of-the-art spectroscopy detectors
Vulnerability and dynamical processes in complex networks
Polyglot software development
Integration of ZnO nanostructures onto a microhotplate for gas sensing
Scalable integrated electronics for closed-loop control of large reconfigurable photonic circuits
Modeling of electronic and spintronic nanostructures
Fuel cell and power converter systems
Testing network intrusion detection systems
Decomposition and modeling in the non-manifold domain
Mining human mobility data and social media for smart ride sharing
Enhanced network processing in the Cloud Computing era
Ultra-Low-Power Vision Systems for Wireless Applications
Cortical neuronal populations and micro electrode arrays
Remote Sensing-based Channel Modeling and Deployment Planning for Low-power Wireless Networks
Topological mapping of ambiguos space
Characterization and modeling of spin-transfer torque (STT) magnetic memory for computing applications
Sistemi di misura remoti
A solution to the problem of the generalization of the Italian geographical databases from large to medium scale
Unconditionally secure digital signature
Microelectronics for single-photon Time-of-Flight measurements
System on chip
Power distribution analysis in complex systems
The planning problem in AI
Interfaces for human-centered production and use of computer graphics assets
Modis destriping using the field of view overlapping method
End-to-End Discourse Parsing with Cascaded Structured Prediction
Advanced techniques for flexible database queries
Modeling, design and Characterization of capacitive micromachined ultrasonic transducers (CMUTs)
ThreeDNess
Advanced autotuning and communication techniques applied to digitally controlled dc-dc converters
Exposure assessment of electromagnetic fields on children, newborns and fetuses due to RFID devices
A design methodology for HW/SW security protocols
An efficient method of moments for the design of RLSA antennas
Fuzzy logic for the modeling and simulation of complex systems
Tracking human motion with multiple cameras using articulated ICP with hard constraints
Towards Adaptation of Named Entity Recognition and Linking Frameworks
Fenomeni non lineari in strutture periodiche in regime di quasi accordo di fase
Advanced vibration analysis for the diagnosis and prognosis of rotating machinery components within condition-based maintenance programs
Evaluation of human movement qualities: A methodology based on transferable-utility games on graphs
A Real-time Absolute Position Estimation Architecture for Autonomous Aerial Robots using Artificial Neural Networks
Modellizzazione ed Interpretazione dei Processi Fisiopatologici attraverso Immagini Mediche Multimodali e Multiscala
Ri-regolamentazione del mercato elettrico in Italia
Application of linear and nonlinear methods for processing HRV and EEG signals
Voltage-controlled oscillators for multi-gigaherts applications
Study of computer vision algorithms to enhance the surgeon's capabilities in robotic minimally invasive surgery
Modelling residential water consumers' behavior. From smart metered data to demand management
Quality of service control for real-time task scheduling in space avionics
Multi-user processing for next generation wired and wireless systems
Context aware data management : a full fledged system based on answer set programming
Performance models, design and run time management of big data applications
An Online Peer-Assessment Methodology for Improved Student Engagement and Early Intervention
Discriminative feature learning for multimodal classification
A functional testing framework for embedded systems
Bi-directional coupling of chaotic systems for the generation of complex dynamical behaviours
Symbolic model checking of real-time CTL properties over preemptive time petri nets
Exploring motion-based touchless interaction for autistic children's learning
Using contextualization techniques for enhancing clinical guidelines dissemination to heterogeneous hospital information systems
Human-machine interfaces for virtual reality based on consumer electronics
Design and evolution of sociotechnical systems. A requirements engineering perspective
A phylogenetic framework for large-scale analysis of microbial communities
Languages and techniques for querying semistructured data and multidimensional data
On the complexity of optimal reduction of functional programming languages
Regularization approaches in learning theory
Wake-up Radio based Approach to Low-Power and Low-Latency Communication in the Internet of Things
Model, integrate, search... repeat: a sound approach to building integrated repositories of genomic data
Redefining and Evaluating Coverage Criteria Based on the Testing Scope
On the Volume Conduction Model Validation with Stereo EEG Data
Blockchain-based Approaches for Access Control Systems
Integrating the home and the professional care environments through standards: a prototype for tDCS home monitoring
Authenticity methods and techniques for push-based XML data dissemination systems
Autonomous resource management for cloud-assisted peer-to-peer based services
Multimedia communication optimization over mesh wireless network
Network edge support for QoS-aware applications
Robust fault detection and isolation with a sensitivity constraint
Functional anatomy of sensorimotor integration in the human brain and perspectives in neurorehabilitation
Development of new nanostructured electrodes in Microbial Fuel Cells (MFCs)
Design and synthesis of high density integrated circuits
High level control of robot behavior in neurosurgery
Wearable Stereoscopic Augmented Reality System for Medical Procedures
Shadow Paging Is Feasible
LOG(F): An Optimal Combination of Logic Programming, Rewriting and Lazy Evaluation
Tertiary Storage: An Evaluation of New Applications
Performance Analysis of Data Sharing Environments
Histogram-Based Estimation Techniques in Database Systems
Schloss Dagstuhl - Jahresbericht / Annual Report 2018
Schloss Dagstuhl - Jahresbericht / Annual Report 2017
Schloss Dagstuhl - Jahresbericht / Annual Report 2016
Schloss Dagstuhl - Jahresbericht / Annual Report 2021
Schloss Dagstuhl - Jahresbericht / Annual Report 2015
Schloss Dagstuhl - Jahresbericht / Annual Report 2012
Schloss Dagstuhl - Jahresbericht / Annual Report 2020
Schloss Dagstuhl - Jahresbericht / Annual Report 2022
Schloss Dagstuhl - Jahresbericht / Annual Report 2014
Schloss Dagstuhl - Jahresbericht / Annual Report 2019
Schloss Dagstuhl - Jahresbericht / Annual Report 2023
Schloss Dagstuhl - Jahresbericht / Annual Report 2013
Der Lambek-Kalkül. Eine Logik für lexikalische Grammatiken
A Shared Segment and Interprocess Communication Facility for VM/370
ICL - An Integrity Control Language: Konzeption und Implementierung einer formalen Sprache zur Integritätskontrolle von Wissensbasen
Pluralbehandlung in natürlichsprachlichen Wissensverabeitungssystemen
How to Fit the Lambek Calculus into the Chomsky Hierarchy
Quantitative Analysen zu Wörterbüchern
"Dictionary Dialog" - Entwurf des Funktionsumfangs für eine Benutzerschnittstelle eines integrierten maschinellen/maschinenunterstützten Übersetzungssystems und prototypische Erstellung der Bildschirmfolge für die Funktion "Semantische Relation"
Leistungsanalyse des Datenbanksystems LILOG-DB
Projekt "Elektronische Wörterbücher/Lexika": Abschlußbericht der Definitionsphase
Elsaß-Wanderung für Linguisten: Exemplarische Analyse und Repräsentation eines Satzes aus einer Reisebeschreibung
Spezifikation eines Theorembeweisers für dreiwertige First-Order Logik
Umweltbewertung mit EXCEPT: Darstellung aus ökologischer Sicht
KL-ONE: Eine Einführung
Aspekte der Generierung von Wegbeschreibungen
Mathematische Grundlagen der formalen Linguistik - Ein Kompendium
Variable Subkategorisierung: Eine Theorie unpersönlicher Einbettungen im Deutschen
Semantische Repräsentation von Plural-Phänomenen
Standards für das Programmieren in Prolog für LILOG, Version 1.0
Ein Beispiel zur wissensbasierten Produktionsplanung mit PROTOS-L
An Approach to Manage Large Inheritance Networks
Konzeption und Implementierung von Gleichheit für einen tableau-basierten Theorem-Beweiser
Prozedurale Semantik. Repräsentation der Sprechergegenwart
Gebietskonstituierende Prozesse
Subsumtion für eine erweiterte attributive Sortenbeschreibungssprache
SQL/Data System, Conpects and Facilities
Database Support for the PROTOS-L System
EFTA: A Database Retrieval Algebra for Feature Terms
Das Projekt EXCEPT: Expert-System for Computer-Aided Environmental Planning Tasks
The Institute for Knowledge Based Systems in the IBM Germany Scientific Center
Persistence and Justified Causation: Some Remarks on Nonmonotonic Temporal Reasoning
Verarbeitung natürlicher Sprache
Syntaktische Merkmale deutsche Substantive
Der modale Infinitiv: Syntaktische oder lexikalische Beschreibung?
Zur Syntax pränominaler Elemente in einer kategorialen Unifikationsgrammatik des Deutschen
An Inference Engine for Function Free Logic Programs
Results on Non-Monotonic Logics
Erweiterung der Wissensrepräsentationssprache L-LILOG um Konstrukte zur Spezifikation von Kontrollinformation
Zeit und Aspekt bei der Verarbeitung natürlicher Sprachen
Modelling Spatial Knowledge on a Linguistic Basis
Using a Structured English Query Language as a Data Definition Facility
Zum Begriff "Argumentstruktur" im Rahmen generativer worbildungstheoretischer Ansätze
Die Repräsentation räumlichen Wissens und die Behandlung von Einbettungsproblemen mit Quadtreedepiktionen
The Gamma-0 n-ary Relational Data Base Interface Specifications of Objects and Operations
A Formal Operational Semantics for PROLOG III: Using Dynamic Algebras
SQL/Data System, General Information Manual
Die Konzeption des EXCEPT-Systems: Ein Überblick
Temporales Schließen in einem natürlichsprachlichen System
Processing Spatial Knowledge in LILOG
A Brief Overlook of LILOG-DB
LMT - Machine Translation Demonstration
Graph Based Extension of the LILOG Inference Engine
THOR - A System for Computing in Equational Theories
Parsingstrategien für Unifikationsgrammatiken mit ID/LP-Regeln
Chart-Parsing of Unification-Based Grammars with ID/LP-Rules
XRM - An Extended (N-ary) Relational Memory
Definite Resolution over Constraint Languages
Prozedurale Aspekte der Wegplanung und Wegbeschreibung
Zur intelligenten Organisation von Wissensbeständen in künstlichen Systemen
Ein Transaktionskonzept für LILOG
Word Order and Focus Projection
Syntaktische Informationseinheiten zu deutschen Adjektiven
Knowledge in Operation
The Design and Implementation of TLPROLOG (V. 2.0) - Intermediate Report
A Model for Discourse Particles
Die Behandlung von mehrdeutigen Verben in der Maschinellen Übersetzung
OSKAR - A PROLOG Programm for Modelling Dimensional Designation and Positional Variation of Objects in Space
Modals and the Scope of Negation, On the Treatment of Optionality in HPSG, Some Properties of Negation in German
An Anaphora Resolution Procedure for Machine Translation
A Conceptual Model for Time
RENDEZVOUS Version 1: An Experimental English Language Query Formulation System for Casual Users of Relational Data Bases
Attributive Concept Descriptions with Unions and Complements
A Logical Operational Semantics of Full Prolog Part II: Built-in Predicates for Database Manipulations
Persistente Datenspeicherung in einer logischen Programmiersprache mit relationalen und deduktiven Datenbanken
Das Problem der VP-Ellipsen im Rahmen einer Theorie der Sachverhaltsanaphern
A Logical Operational Semantics of Full Prolog
A Combined Symbolic-Empirical Apprach for the Automatic Translation of Compounds
LILOG - Linguistische und logische Methoden für das maschinelle Verstehen des Deutschen - Projektbeschreibung
Symmetric Coordination: An Alternative Theory of Phrase Structure
Feature Constraint Logics for Unification Grammars
Weiterentwicklung des Earley-Algorithmus für kontextfreie und ID/LP-Grammatiken
Logisches Clustering von PROTOS-L Prozeduren
A Logical Operational Semantics of Full Prolog Part III: Built-in Predicates for Files, Terms, Arithmetic and Input-Output
Draft Report of the Logic Programming Language PROTOS-L
Differential Closure Computation for General Horn-Clause Queries
Erster EXCEPT-Workshop: Computerunterstützte Umweltverträglichkeitsprüfung
Ein Lernverfahren für den automatischen Erwerb von Kontrollwissen
Statistische Untersuchungen an einsprachigen Zeitungstexten
Semantics of Logic Programs with Equational Abstract Data Type Specifications
Wissensbasierte Systeme in der Medizin: GMDS/GI, Abstracts des 1. gemeinsamen Workshops der AG Expertensysteme der GMDS und der FG Diagnostik und Klassifikation im GI-Fachausschuß 1.5, 29.-30. März 1990, Heidelberg
LILOG Prototype I Grammar Documentation: Semantics
Ein Fact Manager zur persistenten Speicherung variabel strukturierter komplexer Objekte
Eine Prolog-Theorie für zeitliche Beziehungen zwischen Ereignissen
Fully Persistent B + -trees
EFTA Query Processing in LILOG-DB
Integration eines deduktiven Datenbanksystems in eine Logikprogrammiersprache
The Term Retrieval Abstract Machine
On the Treatment of Compounds in Machine Translation. A Study
Lokale Verben und Präpositionen: Semantische und konzeptuelle Verarbeitung in LEU II
DInG - ein Domänen-orientierter Inkrementeller und Integrierter Generator für kohärente Texte
Strategien zur Pronominalisierung
On the Role of Reasoning about Change in the Projection of Presuppositions
Computational aspects of three-valued logic
Feature Graphs and Abstract Data Types: A Unifying Approach
Complexity of Logical Decision Problems: An Introduction
Der LILOG-DB Fact Manager: Ein Datenbankkern zur Speicherung variabel strukturierter komplexer Objekte
Stepwise Software Development with Algebraic Specifications
Algebraical Optimization of FTA-Expressions
Dokumentation der Syntax der LILOG-Grammatik
An Order Sorted Predicate Logic with Closely Coupled Taxonomic Information
Vorüberlegungen zur depiktionalen Repräsentation räumlichen Wissens
Natural Language Understanding in LILOG: An Intermediate Overview
Ereignisse: Ihre Logik und Ontologie aus textsemantischer Sicht
On the Problem of Masking Special Errors by Serial Signature Analysis
Ein modularer Ansatz für prinzipienbasiertes Parsing
FLL: A First-Order Language for Deductive Retrieval of Feature Terms
Multiword Lexemes: A Monolingual and Contrastive Typology for NLP and MT
Rekonstruktion von Hintergrundwissen für ein wissensbasiertes textverstehendes System
Rule Rewriting Techniken zur globalen Optimierung von FLL-Programmen
Representation and Accessibility of Discourse Referents
Mathematical Logic and Artificial Intelligence
International Workshop on Terminological Logics - Proceedings
WebS - ein System zur Generierung von Wegbeschreibungen
The Many-Valued Theorem Prover 3 T A P
Expressing Linguistic Knowledge in STUF '91
Mengenkonzepte in Unifikationsgrammatiken
Über Vergleichskonstruktionen
Cognitive Linguistics: The Processing of Spatial Concepts
Syntaktische Analysevorschläge zur Behandlung von lokalen Präfixverben in einem System für die Generierung von Wegbeschreibungen
At Ease with "AT"
Ein neuer Ansatz zur Integration unterschiedlicher lexikalischer Resourcen
Prolog and Natural Language Processing
Über die W's der Textgenerierung: Was, wofür, wo und wie: Wissensbasierte Generierung von informierenden Texten in einem Auskunftssystem
Wortbedeutungen und lexikalische Repräsentationen
Parenthetische Konstruktionen des Deutschen
Sort Processing in a Deductive Database System
Standards für das Programmieren in Prolog für LILOG, Version 3.3
Transitive Closure: New Aspects of an Old Theme
Datenbankunterstützung für wissensbasierte Systeme
Implementation Aspects of a Natural Language Understanding System in a Prolog/DB Environment
The Stuttgart Type Unification Formalism - User Manual
Zur Behandlung komplexer Objekte in LILOG
On Structuring Domain-Specific Knowledge
Simulation Sprachlichen Verstehens: Generelle Probleme bei der semantischen Interpretation der natürlichen Sprache
Index Path Length Evaluation for the Research Storage System of System R
Ereignisse und Repräsentationen
Domain Restriction and Other Kinds of Reference Set Operations in Sentence and Discourse Semantics
Verarbeitung von Vagheits- und Unsicherheitsbewertungen: Tools für das Testen von Ansätzen für die Unifikation und die Logikbehandlung von mit Unsicherheit und Vagheit bewerteten Graphen im L-LILOG-STUF-Graphenkonzept
The Algebra of Feature Graph Specifications
Ein praktischer Algorithmus für die E-Unifikation
Anaphora Resolution for Machine Translation: A Study
Operationen in erweiterten Typunifikationsformalismen
How could a good system of practical NLP look like?
Modularizing Knowledge in LILOG
SQL/Data System for VSE: A Relational Data System for Application Development
A Polynomial Method for Finding Irregularities in Large Example Sets
Lexical Representation of Idioms
An Effective Representation of Complex Clauses in a Relational Database
Untersuchung zur verteilten Produktionsplanung mit Methoden der logischen Programmierung
"Der Film öded das Publikum" - Zum Aufbau eines maschinenlesbaren Wörterbuchs für deutsche Verben
Koordination von nichtverbalen Satzkonstituenten
The Semantics of Asserting and Retracting Clauses to Logic Programs
Mengenorientierte Auswertung von Anfragen in der Logikprogrammiersprache PROLOG
Modeling Structured Open Worlds in a Database System: The FLL-Approach
Die Sloppy/Referenzielle Ambiguität: Bildungssyntax oder Diskursrepräsentationstheorie?
Die Struktur des Lexikons für LILOG
Standards für das Programmieren in Prolog für LILOG, Version 2.0
The Compilation of a High Level Data Language
Disjunctive Unification
Quantifikation, Plural, Ereignisse und ihre Argumente in einer mehrsortigen Sprache der Prädikatenlogik erster Stufe
Integrating a Deductive Database System with a Warren Abstract Machine
A WAM Extension for Type-Constraint Logic Programming: Specification and Correctness Proof
Wissensbasisverwaltung für LILOG
Zur Systematik morphologischer Paradigmen: Die deutschen Verben in der Computermorphologie
A Feature Logic with Subsorts
Untersuchungen zum Grundwortschatz
Integration von Constraints in die L LILOG Sortenbeschreibungssprache
Zur Systemarchitektur von LILOG
Möglichkeiten des Einsatzes eines dreiwertigen Theorembeweisers
Richtungsangabe oder Wegkonnektor? Rämliches "Zurück" und seine Semantik
An Overview on Planning Applications in PROTOS-L
ILFA Interface Concept
Über Ansätze zur Darstellung von Konzepten und Prototypen
EFTA: An Algebra for Deductive Retrieval of Feature Terms
Correctness Proof for the WAM
Konzeptuelles Design einer mehrsprachigen lexikalischen Datenbank für die maschinelle Übersetzung
Derivationsmorphologie in einem Übersetzungssystem
Sorted Feature Terms and Relational Dependencies
A Reusable Lexical Database Tool for Machine Translation
On the Interpretation of Equality, Sorts, and Logic Programming
Sort-Lattice Management in LILOG-DB
Die Ontologie und Axiomatik der Wissensbasis von LEU/2 - Erfahrungen, Probleme, Ausblicke
Using Knowledge-Based Methods to Administrate an Access Control System
Position und Bewegung: Zur Semantik lokaler Verben
Portrait der KIT-Fakultät für Informatik
The 1995 SQL Reunion: People, Project, and Politics, May 29, 1995
Experiments with Dispatching in a Distributed Object System
Object Data Model Facilities for Multimedia Data Types
DARWIN: On the Incremental Migration of Legacy Information Systems
MetaObject Protocol Concepts for a RISC Object Model
Integrating Object-Oriented Applications and Middleware with Relational Databases
Integrating Heterogeneous, Autonomous, Distributed Applications Using the DOM Prototype
Object Model Capabilities For Distributed Object Management
Object Data Language Facilities for Multimedia Data Types
Distributed Object Management Technology
An Evaluation of Object-Oriented DBMS Developments: 1994 Edition
Towards a Transaction Management System for DOM
A 'RISC' Object Model for Object System Interoperation: Concepts and Applications
Object ADTs (with improvements for Value ADTs)
Unification of Value and Object ADTs
Object Oriented DBMS as a Generalization of Relational DBMS
Inheritance for ADTs (revised)
Modification of User Defined Types
Computational Complexity of Inner and Outer j-RADII of Polytopes in Finite-Dimensional Normed Spaces
On Multiparity Games for Pointer Jumping
A Decomposition Approach for the Global Minimization of Biconcave Functions over Polytopes
Approximation of the Newton Step by a Defect Correction Process
On the Complexity of Tensor Formulae
Method for Global Optimization of Class of Nonlinear Bilevel Programming Problems
An Optimal Greedy Algorithm for Wavelength Allocation in Directed Tree Networks
On the Expressiveness of Tree Set Operators
On the Solution of a Two Ball Trust Region Subproblem
Structured Quasi-Newton Methods for Optimization Problems in Hilbert Space
Integrating Synchronous and Asynchronous Paradigms: The Fork95 Parallel Programming Language
The Infinite Server Queue with Markov Additive Arrivals in Space
How Much ExOR Improves on OR?
Precise Interprocedural Dependence Analysis of Parallel Programs
Interprocedural Analysis Based on PDAs
Stochastic Models for Communication Networks with Moving Customers
Scheduling of Virtual Connections in Fast Networks
Simultaneous Pseudo-Timestepping for PDE-model Based Optimization Problems
The BMAP/G/1 Queue with Level Dependent Arrivals and its Stationary Distribution
Optimal Control of Thermally Coupled Navier-Stokes Equations in Food Industry
Convergence Rate of the Augmented Lagrangian SQP Method
Implement Role-Based Access Control with Attribute Certificates
Block-Restricted Reordering - Extended Experiments
A Generic Background Dissemination Service for Mobile Ad-Hoc Networks
Two Program Comprehension Tools for Automatic Parallelization: A Comparative Study
Interior Proximal Method for Variational Inequalities: Case of Non-paramonotone Operators
Numerical Solution of a Semilinear Parabolic Control Problem
On Smoothing of Generalized max-Functions via epsilon-Regularization
On Approximate Solution Methods for Multi-Queue Systems with 1-Limited Deterministic Service
On Local Convex Majorizing Approximations of Generalized Semi-Infinite Programming Problems
Successive Determination and Verification of Polytopes by their X-Rays
Functional Quantization and Small Ball Probabilities for Gaussian Processes
Propositional Proofs and Their Complexity
Regularized Penalty Method for Parabolic Optimal Control Problems
A Modal µ-Calculus for Durational Transition Systems
Succinct Solvers
One Strike Against the Min-Max Degree Triangulation Problem