Detail page

Media

Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik and Universität Ulm. Fakultät für Informatik

Ulmer Informatik-Berichte

Ulm: Univ., Fak. für Informatik, 1991-

Title	Ulmer Informatik-Berichte / Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik
Involved	Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik (Herausgebendes Organ) Universität Ulm. Fakultät für Informatik (Herausgebendes Organ)
Published	Ulm: Univ., Fak. für Informatik 1991-
Publication history	1.1991 -
ISSN	0939-5091
Language	Deutsch
Country	Deutschland
Topic	Informatik
Other editions	Erscheint auch als Online-Ausgabe: Die Ulmer Informatik-Berichte
Further information	Urh. bis 2006: Universität Ulm, Fakultät für Informatik Einzelne Bände zugleich Bände von: Statistical computing ... : ... Arbeitstagung der Arbeitsgruppen Statistical Computing (GMDS/IBS-DR), Klassifikation und Datenanalyse in den Biowissenschaften (GfKl)
Record ID	017289181
In this series show all 2. Krypto-Tag : Universität Ulm, 31. März 2005 3-D visual object classification with hierarchical radial basis function networks 19th Workshop on (Constraint) Logic Programming : Ulm, Germany, February 21 - 23, 2005 A classification of multi-database languages A comparison of multimedia document models concerning advanced requirements A complete and terminating execution model for constraint handling rules A conceptual approach to an open hospital information system A distributed execution environment for large scale workflow management systems with subnets and server migration A formal framework for data-aware process interaction models A formal framework for workflow type and instance changes under correctness checks A formal semantics of time patterns for process-aware information systems A generic specification for verifying peephole optimizations A guided tour through TYPELAB A mechanically verified compiling specification for a realistic compiler A nonadaptive NC checker for permutation group intersection A pumping lemma for output languages of attributed tree transducers A slightly improved upper bound on the size of weights sufficient to represent any linearly separable Boolean function A small span theorem within P A universal unification algorithm based on unification driven leftmost outermost narrowing Abstract proceedings of the 7th Workshop on Wireless and Mobile ad-hoc Networks Adaptives und verteiltes Workflow-Management ADEPT : ein integrierender Ansatz zur Entwicklung flexibler, zuverlässiger kooperierender Assistenzsysteme in klinischen Anwendungsumgebungen ADEPT-flex - supporting dynamic changes of workflows without loossing control Adjustment strategies for non-compliant process instances Again on recognition and parsing of context free grammars : two exercises in transformational programming An approach for modeling and coordinating process interactions An efficient decision procedure for a theory of fix sized bitvectors with composition and extraction An empirical assessment of local and population based search methods with different degrees of pseudorandomnes An introduction to TkGofer Analyzing the impact of process change operations on time-aware processes Anwendungsspezifische Anforderungen an Workflow-Management-Systeme am Beispiel der Domäne concurrent engineering Architectural design of flexible process management technology Architecture independent massive parallelization of divide and conquer algorithms Architecture of a DataBlade module for the integrated management of multimedia assets Architekturen für skalierbare Workflow-Management-Systeme : Klassifikation und Analyse Asymptotik rekurrenter neuronaler Netze mit zufälligen Kopplungen Aufbereitung von gescannten Röntgenbildern zur filmlosen Diagnostik Basic considerations on business process quality Berücksichtigung lokaler Randbedingungen bei globaler Zieloptimierung mit neuronalen Netzen am Beispiel Truck-Backer-Upper Boolean networks for modeling and analysis of gene regulation Bounded truth table and conjunctive reductions to sparse and Tally sets Case study : engine control application Classification of bioacoustic time series utilizing pulse detection, time and frequency features and data fusion Clinical workflows : the killer application for process oriented information systems? Combined space variant maps for optical flow based navigation Compiler based implementation of syntax directed functional programming Complexity of Presburger arithmetic with fixed quantifier dimension Complexity restricted advice functions Concept and implementation of C+++, an extension of C++ to support user-defined operator symbols and control structures Conditioned belief propagation revisited : (extended version) Consistency in stochastic networks Constrained ordering Construction and deduction methods for the formal development of software Controlling time-awareness in modularized processes Correct configuration of process variants in Provop Coupling tableau algorithms for the DL SROIQ with completion-based saturation procedures Covers have structure Datenflussvarianten in Prozessmodellen : Szenarien, Herausforderungen, Ansätze Dealing with variability in process-aware information systems : language requirements, features, and existing proposals Demonstrating the effectiveness of process improvement patterns with mining results

Please note

The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link:

Katalog der Deutschen Nationalbibliothek

Ulmer Informatik-Berichte

2. Krypto-Tag : Universität Ulm, 31. März 2005

3-D visual object classification with hierarchical radial basis function networks

19th Workshop on (Constraint) Logic Programming : Ulm, Germany, February 21 - 23, 2005

A classification of multi-database languages

A comparison of multimedia document models concerning advanced requirements

A complete and terminating execution model for constraint handling rules

A conceptual approach to an open hospital information system

A distributed execution environment for large scale workflow management systems with subnets and server migration

A formal framework for data-aware process interaction models

A formal framework for workflow type and instance changes under correctness checks

A formal semantics of time patterns for process-aware information systems

A generic specification for verifying peephole optimizations

A guided tour through TYPELAB

A mechanically verified compiling specification for a realistic compiler

A nonadaptive NC checker for permutation group intersection

A pumping lemma for output languages of attributed tree transducers

A slightly improved upper bound on the size of weights sufficient to represent any linearly separable Boolean function

A small span theorem within P

A universal unification algorithm based on unification driven leftmost outermost narrowing

Abstract proceedings of the 7th Workshop on Wireless and Mobile ad-hoc Networks

Adaptives und verteiltes Workflow-Management

ADEPT : ein integrierender Ansatz zur Entwicklung flexibler, zuverlässiger kooperierender Assistenzsysteme in klinischen Anwendungsumgebungen

ADEPT-flex - supporting dynamic changes of workflows without loossing control

Adjustment strategies for non-compliant process instances

Again on recognition and parsing of context free grammars : two exercises in transformational programming

An approach for modeling and coordinating process interactions

An efficient decision procedure for a theory of fix sized bitvectors with composition and extraction

An empirical assessment of local and population based search methods with different degrees of pseudorandomnes

An introduction to TkGofer

Analyzing the impact of process change operations on time-aware processes

Anwendungsspezifische Anforderungen an Workflow-Management-Systeme am Beispiel der Domäne concurrent engineering

Architectural design of flexible process management technology

Architecture independent massive parallelization of divide and conquer algorithms

Architecture of a DataBlade module for the integrated management of multimedia assets

Architekturen für skalierbare Workflow-Management-Systeme : Klassifikation und Analyse

Asymptotik rekurrenter neuronaler Netze mit zufälligen Kopplungen

Aufbereitung von gescannten Röntgenbildern zur filmlosen Diagnostik

Basic considerations on business process quality

Berücksichtigung lokaler Randbedingungen bei globaler Zieloptimierung mit neuronalen Netzen am Beispiel Truck-Backer-Upper

Boolean networks for modeling and analysis of gene regulation

Bounded truth table and conjunctive reductions to sparse and Tally sets

Case study : engine control application

Classification of bioacoustic time series utilizing pulse detection, time and frequency features and data fusion

Clinical workflows : the killer application for process oriented information systems?

Combined space variant maps for optical flow based navigation

Compiler based implementation of syntax directed functional programming

Complexity of Presburger arithmetic with fixed quantifier dimension

Complexity restricted advice functions

Concept and implementation of C+++, an extension of C++ to support user-defined operator symbols and control structures

Conditioned belief propagation revisited : (extended version)

Consistency in stochastic networks

Constrained ordering

Construction and deduction methods for the formal development of software

Controlling time-awareness in modularized processes

Correct configuration of process variants in Provop

Coupling tableau algorithms for the DL SROIQ with completion-based saturation procedures

Covers have structure

Datenflussvarianten in Prozessmodellen : Szenarien, Herausforderungen, Ansätze

Dealing with variability in process-aware information systems : language requirements, features, and existing proposals

Demonstrating the effectiveness of process improvement patterns with mining results