yusuke1997/dblp-id-title huggingface dataset:
Element oriented and edge oriented local error estimators for nonconforming finite element methods
Learning heuristics for a theorem prover using back propagation
A knowledge-based aproach for design and analysis in mechanical engineering
Standardannahmen bei der qualitativen Repräsentation räumlichen Wissens
Reachability in reversible free-choice systems
Artificial life: Eine Einführung
Systematische Entwicklung einer Rechenstruktur für Listenverarbeitung
Anwendung des Theorembeweisers SETHEO auf die Theorie der Halbgruppen und Gruppen
The combination techniques for the sparse grid solution of PDE's on multiprocessor machines
Flexible classfication in ProObj
Default connections in a model planning framework
Invariants, compositionality and substitution
Relative representation of spatial knowledge: the 2-D case
The d-dimensional Helmholtz equationon sparse grids
Leistungsfähigkeit von Parallelrechnern
A simple calculus for program transformations
Feature selection with exception handling using adaptive distance measures: an example from phonetics
Connection tableaux and their relation with linear resolution
Logic oriented program synthesis
A local learning algorithm for dynamic feedforward and recurrent networks
A simple toy example of a distributed system : on the design of a connecting switch
A graphical user interface for SETHEO: proposal
On the V-cycle of the fully adaptive multigrid method
Equations, order-sortedness and inheritance in logic programming
Parallel cache management of a RDBMS
Funktionale Modellierung eines Postsystems
Recognizing edge replacement graph languages in cubic time
Sparse grids
Modelling software reuse with predicate logic
Improved multilevel algorithms for full and sparse grid problems
Modul fault localization in a software toolbus based system
Asynchronous communication of Petri nets and the refinements of transitions
The action oriented bucket brigade
The synthesis problem of Petri nets
Elements of a temporal logic coping with concurrency
On the multilevel adaptive iterative method
The owner concept for PRAMs
Implementierung von Algorithmen zur Optimierung von Schleifen mit Hilfe von Software-Pipelining-Techniken
Adaptive confidence and adaptive curiosity
Parallel programming with modules
Task level programming of manipulators: A case study
Diagrammtical aspects of qualitative representations of space
The visibility problem for single valued surface (z = f(x,y)): the analysis and the parallelization of algorithms
Two contributions to the theory of Marzukiewicz traces
Default reasoning and the qualitative representation of spatial knowledge
Artificial neural learning
Action selection and learning in multi-agent environments
PARTHEO: a high performance parallel theorem prover
A definition of efficiency of parallel programs in multi tasking environments
Proof schemata in propositional calculi
The action graph model as a link between abstract relation algebras and process algebraic specifications
Faster sorting and routing on grids with diagonals
Parallelization of inference systems by using an abstract machine
Der Netzeditor: eine komfortable Umgebung zum Erstellen und Testen von konnektionistischen Netzen
Logic and reasoning with neural models
Intrinsische vs. extrinsische Repraesentation zum Aufgabenloesen oder die Verwandlung von Wasser in Wein
Leistungsanalyse von verteilten Beobachtungs- und Bewertungswerkzeugen
Simulationsmodelle für den Verkehr in Rechensystemen
Verallgemeinerte kinematische Räume
Automatic acquisition of search guiding heuristics
Theoretical issues concerning the representation of continuous valued input and output data in neural networks
On the design and verification of a simple distributed spanning tree algorithm
On the treatment of singularities in the finite element method
Ein merkwürdiger graphischer Punkt im Dreieck
A new efficient algorithm for embedding an arbitrary binary tree into its optimal hypercube
Lokal endliche Quasikörper
The Capabilities of Relational Database Management Systems
Interactive Support for Non-Programmers: The Relational and Network Approaches
DBLP.uni-trier.de: Computer Science Bibliography
Principles of Distributed Object Database Languages
Catchment classification by runoff behaviour with self-organizing maps (SOM)
ACM SIGMOD Contribution Award 2003 Acceptance Speech
Analysis of projected hydrological behavior of catchments based on signature indices
Further Normalization of the Data Base Relational Model
Lions' Commentary on UNIX 6th Edition, with Source Code
Relational Completeness of Data Base Sublanguages
Seven Steps to Rendezvous with the Casual User
Normalized Data Base Structure: A Brief Tutorial
Data Base Sublanguage Founded on the Relational Calculus
Common Subexpression Identification in General Algebraic Systems
Derivability, Redundancy and Consistency of Relations Stored in Large Data Banks
DB&LP: A WWW Bibliography on Databases and Logic Programming