2016

Zrianina, Mariia ; Kopf, Stephan (2016) Classification of iconic images. Technical Reports Mannheim 16-001 [Arbeitspapier]

Vorschau

2013

Huber, Jakob ; Kopf, Stephan ; Schaber, Philipp (2013) Analyse von Bildmerkmalen zur Identifikation wichtiger Bildregionen. Technical Reports Mannheim 13-004 [Arbeitspapier]

Vorschau

Kopf, Stephan ; Guthier, Benjamin ; Schaber, Philipp ; Dittrich, Torben ; Effelsberg, Wolfgang (2013) Analysis of Disparity Maps for Detecting Saliency in Stereoscopic Video. Technical Reports Mannheim 13-003 [Arbeitspapier]

Vorschau

Guthier, Benjamin ; Kiess, Johannes ; Kopf, Stephan ; Effelsberg, Wolfgang (2013) Stereoscopic Seam Carving With Temporal Consistency. Technical Reports Mannheim 13-002 [Arbeitspapier]

Vorschau

Magin, Michael ; Kopf, Stephan (2013) A Collaborative Multi-Touch UML Design Tool. Technical Reports Mannheim 13-001 [Arbeitspapier]

Vorschau

2011

Guthier, Benjamin ; Kopf, Stephan ; Effelsberg, Wolfgang (2011) Optimal Shutter Speed Sequences for Real-Time HDR Video. None [Bericht]

Vorschau

Eckert, Kai Department of Computer Science, University of Mannheim (2011) The ICE-Map Visualization. Mannheim [Arbeitspapier]

Vorschau

Willems, Carsten ; Freiling, Felix (2011) Using Memory Management to Detect and Extract Illegitimate Code for Malware Analysis. None [Arbeitspapier]

Vorschau

Willems, Carsten (2011) Internals of Windows Memory Management (not only) for Malware Analysis. None [Arbeitspapier]

Vorschau

2010

Dewald, Andreas ; Freiling, Felix ; Weber, Tim (2010) Design and Implementation of a Documentation Tool for Interactive Commandline Sessions. None [Arbeitspapier]

Vorschau

Vömel, Stefan ; Holz, Thorsten ; Freiling, Felix (2010) I'd like to pay with your Visa Card : an illustration of illicit online trading activity in the underground economy. None [Arbeitspapier]

Vorschau

Moerkotte, Guido (2010) Profiles for Single Attributes. None [Arbeitspapier]

Vorschau

Göbel, Jan Gerrit ; Stock, Ben ; Trinius, Philipp ; Freiling, Felix (2010) Blacklisting Malicious Websites using Peer-to-Peer Technology. None Mannheim [Arbeitspapier]

Vorschau

Freiling, Felix (2010) Wie repräsentativ sind die Messdaten eines Honeynet? None [Arbeitspapier]

Vorschau

2009

Göbel, Jan Gerrit (2009) Amun : a python honeypot. None Mannheim [Arbeitspapier]

Vorschau

Trinius, Philipp ; Willems, Carsten ; Holz, Thorsten ; Rieck, Konrad (2009) A malware instruction set for behavior-based analysis. None [Arbeitspapier]

Vorschau

Böhm, Alexander ; Kanne, Carl-Christian (2009) Messaging Rules as a Programming Model for Enterprise Application Integration. None [Arbeitspapier]

Vorschau

Freiling, Felix (2009) Zur Nutzung von Verkehrsdaten im Rahmen der Vorratsdatenspeicherung. None [Arbeitspapier]

Vorschau

Semmelrock, Nils ; Majster-Cederbaum, Mila (2009) Reachability in tree-like component systems is PSPACE-complete. None Mannheim [Arbeitspapier]

Vorschau

Böhm, Alexander ; Kanne, Carl-Christian (2009) Scalability Transformations on Declarative Applications. None [Arbeitspapier]

Vorschau

Freiling, Felix ; Eusgeld, Irene ; Reussner, Ralf (2009) Dependability Metrics : Research Workshop Proceedings. None [Arbeitspapier]

Vorschau

Böhm, Alexander ; Kanne, Carl-Christian (2009) Processes Are Data : A Programming Model for Distributed Applications. None [Arbeitspapier]

Vorschau

2008

Moerkotte, Guido (2008) Best Approximation under a Convex Paranorm. None [Arbeitspapier]

Vorschau

Holz, Thorsten ; Engelberth, Markus ; Freiling, Felix (2008) Learning More About the Underground Economy : A Case-Study of Keyloggers and Dropzones. None [Arbeitspapier]

Vorschau

Rooyen, Hendrik O. van ; Stetter, Franz (2008) A formal representation of the method of learning. Manuskripte / Reihe Informatik Mannheim [Arbeitspapier]

Vorschau

Becher, Michael ; Hund, Ralf (2008) Kernel-Level Interception and Applications on Mobile Devices. None [Arbeitspapier]

Vorschau

Freiling, Felix ; Lambertz, Christian ; Majster-Cederbaum, Mila (2008) Easy Consensus Algorithms for the Crash-Recovery Model. None [Arbeitspapier]

Vorschau

Rooyen, Hendrik O. van ; Stetter, Franz (2008) Neurons, knowledge hypernets, and information flow. Manuskripte / Reihe Informatik Mannheim [Arbeitspapier]

Vorschau

2007

Zhuge, Jianwei ; Holz, Thorsten ; Song, Chengyu ; Guo, Jinpeng ; Han, Xinhui ; Zou, Wei Lehrstuhl für Praktische Informatik 1 (2007) Studying Malicious Websites and the Underground Economy on the Chinese Web. None [Arbeitspapier]

Vorschau

Zhuge, Jianwei ; Holz, Thorsten ; Han, Xinhui ; Guo, Jinpeng ; Zou, Wei Lehrstuhl für Praktische Informatik 1 (2007) Characterizing the IRC-based Botnet Phenomenon. None [Arbeitspapier]

Vorschau

Rooyen, Hendrik O. van ; Stetter, Franz (2007) Digraphs, Knowledge Hypernets, and Neurons. Manuskripte / Reihe Informatik Mannheim [Arbeitspapier]

Vorschau

King, Thomas ; Haenselmann, Thomas ; Effelsberg, Wolfgang Praktische Informatik IV, Fakultaet fuer Mathematik und Informatik, Universitaet Mannheim (2007) On-Demand Fingerprint Selection for 802.11-based Positioning Systems. None [Arbeitspapier]

Vorschau

Brantner, Matthias ; Kanne, Carl-Christian ; Moerkotte, Guido (2007) Let a Single FLWOR Bloom. None [Arbeitspapier]

Vorschau

King, Thomas ; Lemelson, Hendrik ; Haenselmann, Thomas ; Effelsberg, Wolfgang (2007) Loc{lib,trace,eva,ana}: Research Tools for 802.11-based Positioning Systems. None [Arbeitspapier]

Vorschau

Minnameier, Christoph ; Majster-Cederbaum, Mila (2007) Interaction Systems and 1-safe Petri Nets. None [Arbeitspapier]

Vorschau

Majster-Cederbaum, Mila ; Martens, Moritz (2007) Robustness in Interaction Systems. None [Arbeitspapier]

Vorschau

King, Thomas ; Haenselmann, Thomas ; Effelsberg, Wolfgang (2007) Key Factors for Position Errors in 802.11-based Positioning Systems. Technical Reports Mannheim 07-003 [Arbeitspapier]

Vorschau

Delporte-Gallet, Carole ; Fauconnier, Hugues ; Freiling, Felix ; Draque Penso, Lucia ; Tielmann, Andreas (2007) Transforming Asynchronous Systems with Crash-Stop Failures and Failure Detectors to the General Omission Model. None [Arbeitspapier]

Vorschau

Martens, Moritz (2007) Liveness in Interaction Systems. None [Arbeitspapier]

Vorschau

2006

Schnaufer, Sascha ; Füßler, Holger ; Transier, Matthias ; Effelsberg, Wolfgang (2006) Unicast Ad-Hoc Routing in Vehicular City Scenarios. None [Arbeitspapier]

Vorschau

King, Thomas ; Butter, Thomas ; Brantner, Matthias ; Kopf, Stephan ; Haenselmann, Thomas ; Biskop, Alexander ; Färber, Andreas ; Effelsberg, Wolfgang (2006) Distribution of Fingerprints for 802.11-based Positioning Systems. Technical Reports Mannheim 06-019 [Arbeitspapier]

Vorschau

King, Thomas ; Haenselmann, Thomas ; Kopf, Stephan ; Effelsberg, Wolfgang (2006) Overhearing the Wireless Interface for 802.11-based Positioning Systems. Technical Reports Mannheim 06-018 [Arbeitspapier]

Vorschau

Martens, Moritz ; Minnameier, Christoph ; Majster-Cederbaum, Mila (2006) Deciding Liveness in Component-Based Systems is NP-hard. Manuskripte / Reihe Informatik Mannheim 06-17 [Arbeitspapier]

Vorschau

Delporte-Gallet, Carole ; Fauconnier, Hugues ; Freiling, Felix (2006) Using Failure Detection and Consensus in the General Omission Failure Model to Solve Security Problems. None [Arbeitspapier]

Vorschau

Minnameier, Christoph (2006) Deadlock-Detection in Component-Based Systems is NP-hard. Technical Reports Mannheim 06-015 [Arbeitspapier]

Vorschau

Böhm, Alexander ; Kanne, Carl-Christian ; Moerkotte, Guido (2006) Implementierung von skalierbaren, hochperformanten Web Services durch deklarative Nachrichtenverarbeitung. None [Arbeitspapier]

Vorschau

Armknecht, Frederik ORCID: 0009-0003-9935-8095 ; Stegemann, Dirk (2006) Kryptowochenende 2006 - Workshop über Kryptographie. None [Arbeitspapier]

Vorschau

King, Thomas ; Kopf, Stephan ; Haenselmann, Thomas ; Lubberger, Christian ; Effelsberg, Wolfgang (2006) COMPASS: A Probabilistic Indoor Positioning System Based on 802.11 and Digital Compasses. Technical Reports Mannheim 06-012 [Arbeitspapier]

Vorschau

Brantner, Matthias ; Helmer, Sven ; Kanne, Carl-Christian ; Moerkotte, Guido (2006) Kappa-Join: Efficient Execution of Existential Quantification in XML Query Languages. None [Arbeitspapier]

Vorschau

Benenson, Zinaida ; Fort, Milan ; Freiling, Felix ; Kesdogan, Dogan ; Penso, Lucia Draque (2006) TrustedPals: Secure Multiparty Computation Implemented with Smart Cards. None [Arbeitspapier]

Vorschau

Freiling, Felix ; Henkel, Sven ; Widder, Josef (2006) Network Synchronization in the Crash-Recovery Model. None [Arbeitspapier]

Vorschau

Freiling, Felix ; Majuntke, Matthias ; Mittal, Neeraj (2006) Termination Detection in an Asynchronous Distributed System with Crash-Recovery Failures. None [Arbeitspapier]

Vorschau

Tatli, Emin Islam ; Stegemann, Dirk ; Lucks, Stefan (2006) Dynamic Mobile Anonymity with Mixing. Technical Reports Mannheim 06-007 [Arbeitspapier]

Vorschau

Kanne, Carl-Christian ; Moerkotte, Guido (2006) A Linear-Time Algorithm for Optimal Tree Sibling Partitioning and its Application to XML Data Stores. None [Arbeitspapier]

Vorschau

Busse, Marcel ; Haenselmann, Thomas ; Effelsberg, Wolfgang (2006) The Impact of Forward Error Correction on Wireless Sensor Network Performance. Technical Reports Mannheim 06-005 [Arbeitspapier]

Vorschau

Busse, Marcel ; Haenselmann, Thomas ; Effelsberg, Wolfgang (2006) The Impact of Resync on Wireless Sensor Network Performance. Technical Reports Mannheim 06-004 [Arbeitspapier]

Vorschau

Freiling, Felix ; Guerraoui, Rachid ; Kouznetsov, Petr (2006) The Failure Detector Abstraction. None [Arbeitspapier]

Vorschau

Moerkotte, Guido (2006) DP-Counter Analytics. None [Arbeitspapier]

Vorschau

Kopf, Stephan ; Knaus, Manuel (2006) Verbesserung der Qualität von historischen Filmen. Technical Reports Mannheim 06-001 [Arbeitspapier]

Vorschau

2005

Atkinson, Colin ; Kiko, Kilian (2005) A Detailed Comparison of UML and OWL. None [Arbeitspapier]

Vorschau

King, Thomas ; Haenselmann, Thomas ; Kopf, Stephan ; Effelsberg, Wolfgang (2005) Positionierung mit Wireless-LAN und Bluetooth. None [Arbeitspapier]

Vorschau

Kopf, Stephan (2005) Verfahren zur Inhaltsadaption von Darstellungselementen. None [Arbeitspapier]

Vorschau

Busse, Marcel ; Haenselmann, Thomas ; Effelsberg, Wolfgang (2005) An Energy-Efficient Forwarding Scheme for Wireless Sensor Networks. None [Arbeitspapier]

Vorschau

Stuckenschmidt, Heiner ORCID: 0000-0002-0209-3859 ; Klein, Michel (2005) Reasoning and Change Management in Modular Ontologies. None [Arbeitspapier]

Vorschau

Stuckenschmidt, Heiner ORCID: 0000-0002-0209-3859 ; Serafini, Luciano ; Wache, Holger (2005) Reasoning about Ontology Mappings. Technical Reports Mannheim 05-011 [Arbeitspapier]

Vorschau

Eßer, Hans-Georg ; Freiling, Felix (2005) Kapazitätsmessung eines verdeckten Kanals über HTTP. None [Arbeitspapier]

Vorschau

Kanne, Carl-Christian ; Moerkotte, Guido (2005) The Importance of Sibling Clustering for Efficient Bulkload of XML Document Trees. None [Arbeitspapier]

Vorschau

Kopf, Stephan ; Oertel, Alexander (2005) Gesichtserkennung in Bildern und Videos mit Hilfe von Eigenfaces. None [Arbeitspapier]

Vorschau

May, Norman ; Moerkotte, Guido (2005) Main Memory Implementations for Binary Grouping. None [Arbeitspapier]

Vorschau

Busse, Marcel ; Haenselmann, Thomas ; Effelsberg, Wolfgang (2005) TECA : A Topology and Energy Control Algorithm for Sensor Networks. None [Arbeitspapier]

Vorschau

Scheuermann, Björn ; Füßler, Holger ; Transier, Matthias ; Busse, Marcel ; Mauve, Martin ; Effelsberg, Wolfgang (2005) Huginn: A 3D Visualizer for Wireless ns-2 Traces. None [Arbeitspapier]

Vorschau

Krüger, Roland ; Füßler, Holger ; Torrent-Moreno, Marc ; Transier, Matthias ; Hartenstein, Hannes ; Effelsberg, Wolfgang (2005) Statistical Analysis of the FleetNet Highway Movement Patterns. None [Arbeitspapier]

Vorschau

Füßler, Holger ; Torrent-Moreno, Marc ; Krüger, Roland ; Transier, Matthias ; Hartenstein, Hannes ; Effelsberg, Wolfgang (2005) Studying Vehicle Movements on Highways and their Impact on Ad-Hoc Connectivity. None [Arbeitspapier]

Vorschau

Kopf, Stephan ; Haenselmann, Thomas ; Effelsberg, Wolfgang (2005) Robust Character Recognition in Low-Resolution Images and Videos. None [Arbeitspapier]

Vorschau

Kopf, Stephan ; Scheele, Nicolai ; Effelsberg, Wolfgang (2005) The Interactive Lecture: Teaching and Learning Technologies for Large Classrooms. None [Arbeitspapier]

Vorschau

2004

Lucks, Stefan ; Wolf, Christopher (2004) 1. Kryptotag - Workshop über Kryptographie. None [Arbeitspapier]

Vorschau

Rooyen, Hendrik O. van ; Geldenhuys, Aletta E. ; Stetter, Franz (2004) Modelling Knowledge Systems using Relation Nets and Hypernets. Manuskripte / Reihe Informatik Mannheim [Arbeitspapier]

Vorschau

Kopf, Stephan ; Haenselmann, Thomas ; Effelsberg, Wolfgang (2004) Automatic Generation of Video Summaries for Historical Films. None [Arbeitspapier]

Vorschau

Winschel, Lilli ; Kopf, Stephan (2004) Entwicklung einer Börsensimulation mit der multiagentenbasierten Entwicklungsumgebung NetLogo. None [Arbeitspapier]

Vorschau

Weber, Stefan ; Schnörr, Christoph ; Schüle, Thomas ; Hornegger, Joachim (2004) Binary tomography by iterating linear programs. None [Arbeitspapier]

Vorschau

Zenner, Erik (2004) Cryptanalysis of LFSR-based Pseudorandom Generators - a Survey. None [Arbeitspapier]

Vorschau

Vogel, Jürgen (2004) Conflict Visualization for Collaborative Multi-user Applications. Technical Reports Mannheim 04-003 [Arbeitspapier]

Vorschau

Transier, Matthias ; Füßler, Holger ; Widmer, Jörg ; Mauve, Martin ; Effelsberg, Wolfgang (2004) A Hierarchical Approach to Position-Based Multicast for Mobile Ad-hoc Networks. Technical Reports Mannheim 04-002 [Arbeitspapier]

Vorschau

Zenner, Erik (2004) On the Role of the Inner State Size in Stream Ciphers. None [Arbeitspapier]

Vorschau

2003

Neumann, Julia ; Steidl, Gabriele (2003) Dual-Tree Complex Wavelet Transform in the Frequency Domain and an Application to Signal Classification. Technical Reports Mannheim 03-013 [Arbeitspapier]

Vorschau

Moerkotte, Guido (2003) Constructing Optimal Bushy Trees Possibly Containing Cross Products for Order Preserving Joins is in P. None [Arbeitspapier]

Vorschau

Neumann, Thomas ; Moerkotte, Guido (2003) An Efficient Framework for Order Optimization. None [Arbeitspapier]

Vorschau

Heiler, Matthias ; Schnörr, Christoph (2003) Natural Image Statistics for Natural Image Segmentation. None [Arbeitspapier]

Vorschau

Keuchel, Jens ; Schnörr, Christoph (2003) Efficient graph cuts for unsupervised image segmentation using probabilistic sampling and SVD-based approximation. None [Arbeitspapier]

Vorschau

Helmer, Sven ; Kanne, Carl-Christian ; Moerkotte, Guido (2003) Lock-based Protocols for Cooperation on XML Documents. None [Arbeitspapier]

Vorschau

Neumann, Julia ; Schnörr, Christoph ; Steidl, Gabriele (2003) Effectively Finding the Optimal Wavelet for Hybrid Wavelet - Large Margin Signal Classification. Technical Reports Mannheim 03-005 [Arbeitspapier]

Vorschau

Mauve, Martin ; Füßler, Holger ; Widmer, Jörg ; Lang, Thomas (2003) Position-Based Multicast Routing for Mobile Ad-Hoc Networks. Technical Reports Mannheim 03-004 [Arbeitspapier]

Vorschau

Liebig, Hans Christian ; Effelsberg, Wolfgang (2003) Seamless Integration of Group Communication into an Adaptive Online Exercise System. Technical Reports Mannheim 03-003 [Arbeitspapier]

Vorschau

May, Norman ; Helmer, Sven ; Moerkotte, Guido (2003) Nested Queries and Quantifiers in an Ordered Context. None [Arbeitspapier]

Vorschau

Füßler, Holger ; Widmer, Jörg ; Käsemann, Michael ; Mauve, Martin ; Hartenstein, Hannes (2003) Beaconless Position-Based Routing for Mobile Ad-Hoc Networks. Technical Reports Mannheim 03-001 [Arbeitspapier]

Vorschau

2002

Neumann, Julia ; Schnörr, Christoph ; Steidl, Gabriele (2002) Feasible Adaptation Criteria for Hybrid Wavelet - Large Margin Classifiers. None [Arbeitspapier]

Vorschau

Käsemann, Michael ; Füßler, Holger ; Hartenstein, Hannes ; Mauve, Martin (2002) A Reactive Location Service for Mobile Ad Hoc Networks. Technical Reports Mannheim 02-014 [Arbeitspapier]

Vorschau

Helmer, Sven ; Kanne, Carl-Christian ; Moerkotte, Guido (2002) Optimized Translation of XPath into Algebraic Expressions Parameterized by Programs Containing Navigational Primitives. None [Arbeitspapier]

Vorschau

Vogel, Jürgen ; Widmer, Jörg ; Farin, Dirk ; Mauve, Martin (2002) Application-Aware Distribution Trees for Application-Level Multicast. Technical Reports Mannheim 02-010 [Arbeitspapier]

Vorschau

Helmer, Sven ; Neumann, Thomas ; Moerkotte, Guido (2002) Early Grouping Gets the Skew. Technical Reports Mannheim 02-009 [Arbeitspapier]

Vorschau

Fenn, Markus ; Steidl, Gabriele (2002) FMM and H-matrices: A Short Introduction to the Basic Idea. None [Arbeitspapier]

Vorschau

Käsemann, Michael ; Hartenstein, Hannes ; Füßler, Holger ; Mauve, Martin (2002) A Simulation Study of a Location Service for Position-Based Routing in Mobile Ad Hoc Networks. Technical Reports Mannheim 02-007 [Arbeitspapier]

Vorschau

Scheele, Nicolai ; Mauve, Martin ; Effelsberg, Wolfgang ; Wessels, Anja ; Fries, Stefan (2002) The Interactive Lecture: A new Teaching Paradigm based on Ubiquitous Computing. Technical report Mannheim 02-006 [Arbeitspapier]

Vorschau

Helmer, Sven ; Moerkotte, Guido (2002) Compiling Away Set Containment and Intersection Joins. Technical Reports Mannheim 02-004 [Arbeitspapier]

Vorschau

Füßler, Holger ; Mauve, Martin ; Hartenstein, Hannes ; Käsemann, Michael ; Vollmer, Dieter (2002) A Comparison of Routing Strategies for Vehicular Ad Hoc Networks. Technical Reports Mannheim 02-003 [Arbeitspapier]

Vorschau

Fiebig, Thorsten ; Helmer, Sven ; Kanne, Carl-Christian ; Mildenberger, Julia ; Moerkotte, Guido ; Schiele, Robert ; Westmann, Till (2002) Anatomy of a Native XML Base Management System. None [Arbeitspapier]

Vorschau

Schellewald, Christian ; Roth, Stefan ; Schnörr, Christoph (2002) Performance Evaluation of a Convex Relaxation Approach to the Quadratic Assignment of Relational Object Views. Technical Reports Mannheim 2/2002 [Arbeitspapier]

2001

Heiler, Matthias ; Cremers, Daniel ; Schnörr, Christoph (2001) Efficient Feature Subset Selection for Support Vector Machines. Technical Reports Mannheim 01-021 [Arbeitspapier]

Rooyen, Hendrik O. van ; Stetter, Franz ; Geldenhuys, Aletta E. (2001) Relation nets and hypernets. Manuskripte / Reihe Informatik Mannheim 01-020 [Arbeitspapier]

Vorschau

Helmer, Sven ; Neumann, Thomas ; Moerkotte, Guido (2001) A Robust Scheme for Multilevel Extendible Hashing. None [Arbeitspapier]

Vorschau

Vogel, Jürgen (2001) RTP/I Payload Type Definition for Application Launch Tools. Technical Reports Mannheim 01-018 [Arbeitspapier]

Vorschau

Helmer, Sven ; Kanne, Carl-Christian ; Moerkotte, Guido (2001) Isolation in XML Bases. None [Arbeitspapier]

Vorschau

Vogel, Jürgen (2001) RTP/I Payload Type Definition for Feedback Tools. Technical Reports Mannheim 01-014 [Arbeitspapier]

Vorschau

Widmer, Jörg ; Handley, Mark (2001) Extending Equation-based Congestion Control to Multicast Applications. Technical Reports Mannheim 01-013 [Arbeitspapier]

Vorschau

Widmer, Jörg ; Fuhrmann, Thomas T. (2001) Extremum Feedback for Very Large Multicast Groups. Manuskripte / Reihe Informatik Mannheim 01-012 [Arbeitspapier]

Vorschau

Vogel, Jürgen (2001) RTP/I Payload Type Definition for Chat Tools. Technical Reports Mannheim 01-011 [Arbeitspapier]

Vorschau

Vogel, Jürgen (2001) RTP/I Payload Type Definition for Hand-Raising Tools. Technical Reports Mannheim 01-010 [Arbeitspapier]

Vorschau

Vogel, Jürgen (2001) RTP/I Payload Type Definition for Telepointers. Technical Reports Mannheim 01-009 [Arbeitspapier]

Vorschau

Hinterberger, Walter ; Scherzer, Otmar ; Schnörr, Christoph ; Weickert, Joachim (2001) Analysis of optical flow models in the framework of calculus of variations. None [Arbeitspapier]

Vorschau

Schremmer, Claudia (2001) Empirical Evaluation of Boundary Policies for Wavelet-Based Image Coding. Technical Reports Mannheim 01-007 [Arbeitspapier]

Vorschau

Schremmer, Claudia ; Kuhmünch, Christoph ; Esser, Christoph (2001) Wavelet Filter Evaluation for Image Coding. Technical Reports Mannheim 01-006 [Arbeitspapier]

Vorschau

Vogel, Jürgen (2001) RTP/I Payload Type Definition for Shared Whiteboards. Technical Reports Mannheim 01-005 [Arbeitspapier]

Vorschau

Schremmer, Claudia ; Esser, Christoph ; Kuhmünch, Christoph ; Effelsberg, Wolfgang (2001) A Wavelet Transform Applet for Interactive Learning. Technical report Mannheim 01-004 [Arbeitspapier]

Vorschau

Widmer, Jörg ; Mauve, Martin ; Damm, Jan Peter (2001) Probabilistic Congestion Control for Non-Adaptable Flows. Technical Reports Mannheim 01-003 [Arbeitspapier]

Vorschau

Widmer, Jörg ; Denda, Robert ; Mauve, Martin (2001) A Survey on TCP-Friendly Congestion Control (extended version). Technical Reports Mannheim 01-002 [Arbeitspapier]

Vorschau

Schellewald, Christian ; Keuchel, Jens ; Schnörr, Christoph (2001) Image labeling and grouping by minimizing linear functionals over cones. None [Arbeitspapier]

Vorschau

2000

Schremmer, Claudia ; Kuhmünch, Christoph ; Effelsberg, Wolfgang (2000) Layered Wavelet Coding for Video. Technical Reports Mannheim 00-019 [Arbeitspapier]

Vorschau

Weickert, Joachim (2000) Applications of nonlinear diffusion in image processing and computer vision. None [Arbeitspapier]

Vorschau

Hilt, Volker ; Schremmer, Claudia ; Vogel, Jürgen (2000) Lehrszenarien-übergreifende Erzeugung und Verwendung Multimedialer Teachware. Technical Reports Mannheim 00-017 [Arbeitspapier]

Vorschau

Moerkotte, Guido ; Fiebig, Thorsten (2000) YAXQL : A powerful and web-aware query language supporting query reuse and data integration. Technical Reports Mannheim 00-016 [Arbeitspapier]

Vorschau

Weickert, Joachim ; Schnörr, Christoph (2000) Variational optic flow computation with a spatio-temporal smoothness constraint. Technical Reports Mannheim 00-015 [Arbeitspapier]

Vorschau

Polzin, Tobias ; Vahdati Daneshmand, Siavash (2000) Primal-dual approaches to the Steiner problem. None [Arbeitspapier]

Vorschau

Weickert, Joachim ; Schnörr, Christoph (2000) A theoretical framework for convex regularizers in PDE-based computation of image motion. None [Arbeitspapier]

Vorschau

Geyer, Werner ; Vogel, Jürgen ; Mauve, Martin (2000) Efficient State Initialization Mechanisms for Shared Whiteboards and Distributed Applications. Technical Reports Mannheim 00-012 [Arbeitspapier]

Vorschau

Banchs, Albert ; Denda, Robert (2000) A Scalable Share Differentiation Architecture for Elastic and Real-Time Traffic. None [Arbeitspapier]

Vorschau

Banchs, Albert ; Denda, Robert (2000) SBSD: A Relative Differentiated Services Architecture based on Bandwidth Shares. None [Arbeitspapier]

Vorschau

Weickert, Joachim ; Schnörr, Christoph (2000) PDE-based preprocessing of medical images. None [Arbeitspapier]

Vorschau

Majster-Cederbaum, Mila (2000) Underspecification for process algebras. Technical Reports Mannheim 00-007 [Arbeitspapier]

Vorschau

Denda, Robert (2000) The Fairness Challenge in Computer Networks. Technical Reports Mannheim 00-006 [Arbeitspapier]

Vorschau

Heers, Josef ; Schnörr, Christoph ; Stiehl, H. Siegfried (2000) Globally-convergent iterative numerical schemes for non-linear variational image smoothing and segmentation on a multi-processor machine. Manuskripte / Reihe Informatik Mannheim [Arbeitspapier]

Vorschau

Weickert, Joachim ; Scharr, Hanno (2000) A scheme for coherence-enhancing diffusion filtering with optimized rotation invariance. None [Arbeitspapier]

Vorschau

Weickert, Joachim (2000) Efficient image segmentation using partial differential equations and morphology. Technical Reports Mannheim 00-03a [Arbeitspapier]

Vorschau

Floyd, Sally ; Handley, Mark ; Padhye, Jitendra ; Widmer, Jörg (2000) Equation-Based Congestion Control for Unicast Applications: the Extended Version. Technical Reports Mannheim 00-003 [Arbeitspapier]

Vorschau

Fuhrmann, Thomas T. (2000) On the Scaling of Feedback Algorithms for Very Large Multicast Groups. Manuskripte / Reihe Informatik Mannheim 00-002 [Arbeitspapier]

Vorschau

Fuhrmann, Thomas T. (2000) Protocol Independent Multicast and Asymmetric Routing. Manuskripte / Reihe Informatik Mannheim 00-001 [Arbeitspapier]

Vorschau

Widmer, Jörg (2000) Network Simulations for A Mobile Network Architecture for Vehicles. Technical Reports Mannheim 00-009 [Arbeitspapier]

1999

Radmoser, Esther ; Scherzer, Otmar ; Weickert, Joachim (1999) Scale-Space Properties of Nonstationary Iterative Regularization Methods. Technical Report / Department for Mathematics and Computer Science, University of Mannheim Mannheim 012 [Arbeitspapier]

Vorschau

Winkens, Dunja ; Moerkotte, Guido (1999) Variationsmöglichkeiten bei der Transformation von UML-Basiskonzepten in Dokumenttypdefinitionen. Technical Reports Mannheim 99-010 [Arbeitspapier]

Vorschau

Mauve, Martin (1999) Consistency in Continuous Distributed Interactive Media. Technical Reports Mannheim 99-009 [Arbeitspapier]

Vorschau

Kanne, Carl-Christian ; Moerkotte, Guido (1999) Efficient storage of XML data. Technical Reports Mannheim 99-008 [Arbeitspapier]

Vorschau

Majster-Cederbaum, Mila ; Salger, Frank (1999) On syntactic action refinement and logic. Technical Reports Mannheim 99-007 [Arbeitspapier]

Vorschau

Tomczyk, Peter ; Pfeiffer, Silvia ; Effelsberg, Wolfgang (1999) Eine neue objektorientierte Analysetechnik für die Entwicklung von Audio-Inhaltsanalyse-Algorithmen. Technical Reports Mannheim 99-006 [Arbeitspapier]

Vorschau

Weickert, Joachim ; Heers, Josef ; Schnörr, Christoph ; Zuiderveld, Karel J. ; Scherzer, Otmar ; Stiehl, H. Siegfried (1999) Fast parallel algorithms for a broad class of nonlinear variational diffusion approaches. Technical Report / Department for Mathematics and Computer Science, University of Mannheim Mannheim [Arbeitspapier]

Vorschau

Weickert, Joachim ; Schnörr, Christoph (1999) Optic flow calculations with nonlinear smoothness terms extended into the temporal domain. Technical Reports Mannheim 99-004 [Arbeitspapier]

Vorschau

Baier, Christel ; Engelen, Bettina ; Roggenbach, Markus (1999) Establishing qualitative properties for probabilistic lossy channel systems : an algorithmic approach. None [Arbeitspapier]

Vorschau

Helmer, Sven ; Moerkotte, Guido (1999) A Study of Four Index Structures for Set-Valued Attributes of Low Cardinality. Technical Reports Mannheim 99-002 [Arbeitspapier]

Vorschau

Westmann, Till ; Moerkotte, Guido (1999) Variations on grouping and aggregation. Technical Reports Mannheim 99/011 [Arbeitspapier]

Lucks, Stefan ; Weis, Rüdiger (1999) A Related Key Attack against 14 Rounds of SKIPJACK. Technical Reports Mannheim 99,011 [Arbeitspapier]

1998

Pfeiffer, Silvia ; Lienhart, Rainer ; Effelsberg, Wolfgang (1998) Scene Determination based on Video and Audio Features. Technical Reports Mannheim 98-020 [Arbeitspapier]

Vorschau

Majster-Cederbaum, Mila (1998) Infinite possible worlds for process algebras. Technical Reports Mannheim 98-019 [Arbeitspapier]

Vorschau

Pfeiffer, Silvia (1998) The Importance of Perceptive Adaptation of Sound Features in Audio Content Processing. Technical Reports Mannheim 98-018 [Arbeitspapier]

Vorschau

Majster-Cederbaum, Mila ; Roggenbach, Markus (1998) The essence of bisimulation : a comparative study. Technical Reports Mannheim 98-017 [Arbeitspapier]

Vorschau

Mauve, Martin ; Hilt, Volker ; Kuhmünch, Christoph ; Effelsberg, Wolfgang (1998) A General Framework and Communication Protocol for the Real-Time Transmission of Interactive Media. Technical Reports Mannheim 98-016 [Arbeitspapier]

Vorschau

Hilt, Volker (1998) The Recording of Interactive Media Streams Using a Common Framework. Technical Reports Mannheim 98-014 [Arbeitspapier]

Vorschau

Mauve, Martin (1998) Access to and Encoding of VRML State Information. Technical Reports Mannheim 98-013 [Arbeitspapier]

Vorschau

Lienhart, Rainer ; Effelsberg, Wolfgang (1998) Automatic text segmentation and text recognition for video indexing. Technical Reports Mannheim 98-009 [Arbeitspapier]

Vorschau

Kuhmünch, Christoph ; Kühne, Gerald (1998) Efficient Video Transport over Lossy Networks. Technical Reports Mannheim 98-007 [Arbeitspapier]

Vorschau

Polzin, Tobias ; Vahdati Daneshmand, Siavash (1998) Improved Algorithms for the Steiner Problem in Networks. None [Arbeitspapier]

Vorschau

Polzin, Tobias ; Vahdati Daneshmand, Siavash (1998) A Comparison of Steiner Tree Relaxations. None [Arbeitspapier]

Vorschau

Kuhmünch, Christoph (1998) A Multicast Gateway for Dial-In Lines. Technical Reports Mannheim 98/004 [Arbeitspapier]

Vorschau

Kuhmünch, Christoph (1998) Teleteaching over Low-Bandwidth Network Channels. Technical Reports Mannheim 98-004 [Arbeitspapier]

Vorschau

Westmann, Till ; Kossmann, Donald ; Helmer, Sven ; Moerkotte, Guido (1998) The Implementation and Performance of Compressed Databases. Technical Reports Mannheim 98-003 [Arbeitspapier]

Vorschau

Fiebig, Thorsten ; Moerkotte, Guido (1998) The Evaluation of Content-Based Web Queries. Technical Reports Mannheim 98-002 [Arbeitspapier]

Vorschau

Moerkotte, Guido (1998) Small materialized aggregates : a light weight index structure for data warehousing. None [Arbeitspapier]

Vorschau

1997

Benjes, Friederike ; Majster-Cederbaum, Mila (1997) A categorical view of action refinement in models of concurrency. Technical Reports Mannheim 97-007 [Arbeitspapier]

Vorschau

Helmer, Sven ; Westmann, Till ; Moerkotte, Guido (1997) Diag-Join: An Opportunistic Join Algorithm for 1:N Relationships. None [Arbeitspapier]

Vorschau

Lienhart, Rainer ; Effelsberg, Wolfgang ; Jain, Ramesh (1997) VisualGREP : a systematic method to compare and retrieve video sequences. None Mannheim [Arbeitspapier]

Vorschau

Fischer, Stefan ; Meer, Hermann de (1997) Decision Support in Cooperative QoS Management. Technical Reports Mannheim 97-004 [Arbeitspapier]

Vorschau

Lienhart, Rainer ; Pfeiffer, Silvia ; Effelsberg, Wolfgang (1997) Automatic Movie Abstracting. Technical Reports Mannheim 97-003 [Arbeitspapier]

Vorschau

Helmer, Sven (1997) Index Structures for Databases Containing Data Items with Set-valued Attributes. Technical Reports Mannheim 97-002 [Arbeitspapier]

Vorschau

Roggenbach, Markus (1997) Categorical characterization of bisimulation. Technical Reports Mannheim 97-001 [Arbeitspapier]

Vorschau

1996

Lienhart, Rainer ; Kuhmünch, Christoph ; Effelsberg, Wolfgang (1996) On the Detection and Recognition of Television Commercials. Technical Reports Mannheim 96-016 [Arbeitspapier]

Vorschau

Do, H. Trung (1996) A generalized inverse expansion for pure interleaving. None [Arbeitspapier]

Vorschau

Benjes, Friederike (1996) Some Properties of Refinement. Technical Reports Mannheim 96-014 [Arbeitspapier]

Vorschau

Helmer, Sven ; Moerkotte, Guido (1996) Evaluation of Main Memory : Join Algorithms for Joins with Set Comparison Predicates. Technical Reports Mannheim 96-013 [Arbeitspapier]

Vorschau

Do, H. Trung (1996) Maximale Zerlegung von parallelen Prozessen ohne Rekursion. None [Arbeitspapier]

Vorschau

Moerkotte, Guido ; Scheufele, Wolfgang (1996) Constructing Optimal Bushy Processing Trees for Join Queries is NP-hard. Technical Reports Mannheim 96-011 [Arbeitspapier]

Vorschau

Roggenbach, Markus (1996) On completions of semantic domains. None [Arbeitspapier]

Vorschau

Pfeiffer, Silvia ; Fischer, Stefan ; Effelsberg, Wolfgang (1996) Automatic Audio Content Analysis. Technical Reports Mannheim 96-008 [Arbeitspapier]

Vorschau

Majster-Cederbaum, Mila ; Roggenbach, Markus (1996) On two different characterizations of bisimulation. None [Arbeitspapier]

Vorschau

Lienhart, Rainer (1996) Indexing and Retrieval of Digital Video Sequences based on Automatic Text Recognition. None [Arbeitspapier]

Vorschau

Pfeiffer, Silvia ; Lienhart, Rainer ; Fischer, Stephan ; Effelsberg, Wolfgang (1996) Abstracting Digital Movies Automatically. Technical Reports Mannheim 96-005 [Arbeitspapier]

Vorschau

Fischer, Stefan ; Wytrebowicz, Jacek ; Budkowski, Stan (1996) Hardware/Software Co-design of Communication Protocols. Technical Reports Mannheim 96-004 [Arbeitspapier]

Vorschau

Fischer, Stefan (1996) Real-Time Estelle. Technical Reports Mannheim 96-003 [Arbeitspapier]

Vorschau

Boss, Birgit ; Helmer, Sven (1996) Indexing a Fuzzy Database Using the Technique of Superimposed Coding - Cost Models and Measurements. Technical Reports Mannheim 96-002 [Arbeitspapier]

Vorschau

Baier, Christel ; Majster-Cederbaum, Mila (1996) The connection between the initial and unique solutions of domain equations in the partial order and metric approach. None [Arbeitspapier]

Vorschau

Baier, Christel ; Majster-Cederbaum, Mila (1996) How to interpret and establish consistency results for semantics of concurrent programming languages. None [Arbeitspapier]

Vorschau

1995

Lienhart, Rainer ; Stuber, Frank (1995) Automatic text recognition in digital videos. Technical Reports Mannheim 95-036 [Arbeitspapier]

Vorschau

Do, H. Trung (1995) Parallelitaet in Basic LOTOS. None [Arbeitspapier]

Vorschau

Lienhart, Rainer ; Pfeiffer, Silvia ; Effelsberg, Wolfgang (1995) The MoCA Workbench: Support for Creativity in Movie Content Analysis. Technical Reports Mannheim 95-034 [Arbeitspapier]

Vorschau

Kuo, Franklin F. ; Li, Xing (1995) Perspectives on the Development of China's Internet. Technical Reports Mannheim 95-033 [Arbeitspapier]

Vorschau

Makhaniok, Mikhail ; Männer, Reinhard (1995) Improved 3-Line Hardware Synchronization. None [Arbeitspapier]

Vorschau

Baier, Christel ; Majster-Cederbaum, Mila (1995) Denotational Linear Time Semantics and Sequential Composition. None [Arbeitspapier]

Vorschau

Baier, Christel ; Majster-Cederbaum, Mila (1995) Construction of a cms on a given cpo. None [Arbeitspapier]

Vorschau

Zhang, Eryi ; Dietrich, Christoph H. ; Noehte, Steffen ; Männer, Reinhard (1995) Half-Optimal Error Diffusion for Binary Fourier Transform Holograms. None [Arbeitspapier]

Vorschau

Gröpl, Alexander ; Günther, Thomas ; Hesser, Jürgen ; Kröll, Joe ; Männer, Reinhard ; Poliwoda, Christoph ; Reinhart, Christof (1995) VIRIM, A Real-Time Volume Rendering System for Medicine. Technical Reports Mannheim 95-026 [Arbeitspapier]

Vorschau

Högl, Hubert ; Kugel, Andreas ; Ludvig, Jozsef ; Männer, Reinhard ; Noffz, Klaus-Henning ; Zoz, Ralf (1995) Enable++ : a second generation FPGA processor. None [Arbeitspapier]

Vorschau

Hesser, Jürgen ; Männer, Reinhard ; Knittel, Günter ; Straßer, Wolfgang ; Pfister, Hanspeter ; Kaufman, Arie (1995) Three architectures for volume rendering. None [Arbeitspapier]

Vorschau

Makhaniok, Mikhail ; Männer, Reinhard (1995) Duration of asynchronous operations in distributed systems. None [Arbeitspapier]

Vorschau

Klefenz, Frank ; Oberle, Markus ; Männer, Reinhard (1995) VLSI Implementierung eines parallelen Hough-Transformations-Prozessors mit dynamisch nachladbaren Mustern. None [Arbeitspapier]

Vorschau

Männer, Reinhard (1995) Die technische Implementierung neuronaler Netzwerke. Technical Reports Mannheim 95-021 [Arbeitspapier]

Vorschau

Zhang, Eryi ; Hesser, Jürgen ; Dietrich, Christoph H. ; Noehte, Steffen ; Männer, Reinhard (1995) Mathematical Analysis of Computer Generated Binary Fourier Transform Holograms. None [Arbeitspapier]

Vorschau

Zhang, Eryi ; Noehte, Steffen ; Dietrich, Christoph H. ; Männer, Reinhard (1995) Gradual and Random Binarization of Gray Scale Holograms. None [Arbeitspapier]

Vorschau

Günther, Thomas ; Poliwoda, Christoph ; Reinhart, Christof ; Hesser, Jürgen ; Männer, Reinhard ; Meinzer, Hans-Peter ; Baur, Hans-Jürgen (1995) VIRIM: A Massively Parallel Processor for Real-Time Volume Visualization in Medicine. None [Arbeitspapier]

Vorschau

Noffz, Klaus-Henning ; Zoz, Ralf ; Kugel, Andreas ; Klefenz, Frank ; Männer, Reinhard (1995) Results of On-Line Tests of the ENABLE Prototype, a 2nd Level Trigger Processor for the TRT of ATLAS/LHC. None [Arbeitspapier]

Vorschau

Ackermann, J. ; Dietrich, Christoph H. ; Männer, Reinhard ; Noehte, Steffen ; Schwartz, Kurt (1995) Optical Grating Studies in A-As2S3 Films using Scanning Force Microscopy. Technical Reports Mannheim 95-016 [Arbeitspapier]

Vorschau

Noehte, Steffen ; Dietrich, Christoph H. ; Fischer, Gunther ; Grosskopf, Peter ; Lange, Rupert ; Männer, Reinhard ; Zhang, Eryi (1995) A High Quality Lithograph with Integrated Environment for Computer Generated Holograms. None [Arbeitspapier]

Vorschau

Dietrich, Christoph H. ; Noehte, Steffen ; Männer, Reinhard ; Schwartz, Kurt (1995) Linear Phase Shift Response with High Dynamic Range for Holographic recording in As2S3. None [Arbeitspapier]

Vorschau

Stotzka, Rainer ; Männer, Reinhard ; Bartels, Peter H. (1995) Neural Classifier Systems for Histopathologic Diagnosis. None [Arbeitspapier]

Vorschau

Hauser, Rainer ; Männer, Reinhard ; Makhaniok, Mikhail (1995) NERV: A Parallel Processor for Standard Genetic Algorithms. None [Arbeitspapier]

Vorschau

Anlauf, Joachim K. ; Beichter, Jörg ; Brüls, Nico ; Gläß, Joachim ; Hachmann, Ulrich ; Männer, Reinhard ; Raab, Wolfgang ; Ramacher, Ulrich ; Sicheneder, Elisabeth ; Wesseling, Matthias (1995) SYNAPSE-1: A High-Speed General Purpose Parallel Neurocomputer System. None [Arbeitspapier]

Vorschau

Klefenz, Frank ; Noffz, Klaus-Henning ; Zoz, Ralf ; Männer, Reinhard (1995) ENABLE - A Systolic 2nd Level Trigger Processor for Track Finding and e/p Discrimination for ATLAS/LHC. None [Arbeitspapier]

Vorschau

Belosloudtsev, D. A. ; Bertin, P. Y. ; Bock, Rudolf K. ; Boucard, Philippe ; Dörsing, Volker ; Kammel, Peter ; Khabarov, S. V. ; Klefenz, Frank ; Krischer, Werner ; Kugel, Andreas ; Männer, Reinhard ; Noffz, Klaus-Henning ; Moll, Laurent ; Vuillemin, Jean ; Lundheim, Lars ; Zoz, Ralf (1995) Programmable active memories in real-time tasks: implementing data-driven triggers for LHC experiments. None [Arbeitspapier]

Vorschau

Hauser, Rainer ; Männer, Reinhard (1995) Implementation of Standard Genetic Algorithm on MIMD machines. Technical Reports Mannheim 95-008 [Arbeitspapier]

Vorschau

Makhaniok, Mikhail ; Cherniavsky, Victor ; Männer, Reinhard ; Noffz, Klaus-Henning (1995) Extremal Codes for Speed-up of Distributed Parallel Arbitration. None [Arbeitspapier]

Vorschau

Fischer, Stefan ; Lienhart, Rainer ; Effelsberg, Wolfgang (1995) Automatic Recognition of Film Genres. Technical Reports Mannheim 95-006 [Arbeitspapier]

Vorschau

Fischer, Stefan (1995) On the Suitability of Estelle for Multimedia Systems. Technical Reports Mannheim 95-005 [Arbeitspapier]

Vorschau

Danner, Gerd ; Müller, Walter (1995) Multi-Media Mail in heterogeneous Networks. None [Arbeitspapier]

Vorschau

Lange, Rupert ; Männer, Reinhard (1995) Quantifying a critical training set size for generalization and overfitting using teacher neural networks. None [Arbeitspapier]

Vorschau

Lange, Rupert ; Männer, Reinhard (1995) MONNET: a software system for modular neural networks based on object passing. None [Arbeitspapier]

Vorschau

Christgau, Martin (1995) Bisimulationen und Äquivalenzbegriffe für Transitionssysteme und Ereignisstrukturen. None [Abschlussarbeit]

Vorschau

1994

Lamparter, Bernd ; Effelsberg, Wolfgang (1994) eXtended Color Cell Compression -- A Runtime-efficient Compression Scheme for Software Video. Manuskripte / Reihe Informatik Mannheim 94-15 [Arbeitspapier]

Vorschau

Keller, Ralf ; Effelsberg, Wolfgang (1994) Effiziente Verarbeitung von multimedialen Datenströmen in Window-Systemen. Manuskripte / Reihe Informatik Mannheim 94-14 [Arbeitspapier]

Vorschau

Keller, Ralf (1994) Architektur und Implementierung eines Anwendungsprotokolls für digitale Filme. Technical Reports Mannheim 94-013 [Arbeitspapier]

Vorschau

Keller, Ralf ; Effelsberg, Wolfgang ; Lamparter, Bernd (1994) XMovie: Architecture and Implementation of a Distributed Movie System. Technical Reports Mannheim 94-012 [Arbeitspapier]

Vorschau

Meyer-Boudnik, Thomas ; Effelsberg, Wolfgang (1994) MHEG: An Interchange Format for Interactive Multimedia Presentations. None [Arbeitspapier]

Vorschau

Fischer, Stefan ; Hofmann, Bernd ; Effelsberg, Wolfgang (1994) Efficient Configuration of Protocol Software for Multiprocessors. Technical Reports Mannheim 94-006 [Arbeitspapier]

Vorschau

Keller, Ralf ; Fischer, Stefan ; Effelsberg, Wolfgang (1994) Implementing Movie Control, Access and Management - from a Formal Description to a Working Multimedia System. Technical Reports Mannheim 94-005 [Arbeitspapier]

Vorschau

Frohn, Jürgen ; Lausen, Georg ; Uphoff, Heinz (1994) Access to Objects by Path Expressions and Rules. None [Arbeitspapier]

Vorschau

Meyer-Boudnik, Thomas (1994) MHEG: Ein Austauschformat fuer interaktive Multimedia-Praesentationen. Manuskripte / Reihe Informatik Mannheim 94-02 [Arbeitspapier]

Vorschau

Lausen, Georg ; Ludaescher, Bertram (1994) Updates by Reasoning about States. None [Arbeitspapier]

Vorschau

1993

Lamparter, Bernd ; Böhrer, Otto ; Effelsberg, Wolfgang ; Turau, Volker (1993) Adaptable Forward Error Correction for Multimedia Data Streams. Technical Reports Mannheim 93-009 [Arbeitspapier]

Vorschau

Keller, Ralf ; Effelsberg, Wolfgang ; Lamparter, Bernd (1993) Performance Bottlenecks in Digital Movie Systems. Technical Reports Mannheim 93-007 [Arbeitspapier]

Vorschau

Fischer, Stefan ; Hofmann, Bernd (1993) An Estelle Compiler for Multiprocessor Platforms. Technical Reports Mannheim 93-005 [Arbeitspapier]

Vorschau

Hofmann, Bernd (1993) Integration von Darstellungs- und Kommunikationssteuerungsschicht in Estelle. Technical Reports Mannheim 93-004 [Arbeitspapier]

Vorschau

Hofmann, Bernd ; Effelsberg, Wolfgang (1993) Efficient Implementation of Estelle Specifications. Technical Reports Mannheim 93-003 [Arbeitspapier]

Vorschau

Keller, Ralf ; Effelsberg, Wolfgang (1993) MCAM: An Application Layer Protocol for Movie Control, Access, and Management. Arbeitspapier / Reihe Informatik Mannheim 93-01 [Arbeitspapier]

Vorschau

1992

Baier, Christel ; Majster-Cederbaum, Mila (1992) On the definability of concurrency and communication : event structures versus pomset classes. None [Arbeitspapier]

Vorschau

Keller, Ralf ; Lamparter, Bernd ; Effelsberg, Wolfgang (1992) Erweiterung von X für digitale Filme. Technical Reports Mannheim 92-006 [Arbeitspapier]

Vorschau

Lamparter, Bernd ; Effelsberg, Wolfgang ; Michl, Norman (1992) MTP: A Movie Transmission Protocol for Multimedia Applications. Technical Reports Mannheim 92-005 [Arbeitspapier]

Vorschau

Lamparter, Bernd ; Effelsberg, Wolfgang (1992) X-MOVIE: Transmission and Presentation of Digital Movies under X. Technical Reports Mannheim 92-004 [Arbeitspapier]

Vorschau

Majster-Cederbaum, Mila ; Peters, Peter (1992) A definition of redundancy in relational databases. None [Arbeitspapier]

Vorschau

Lausen, Georg ; Marx, Beate (1992) Evaluation Aspects of a Object-Oriented Deductive Database Language. None [Arbeitspapier]

Vorschau

Lausen, Georg ; Kramer, Michael ; Saake, Gunter (1992) Updates in a Rule based Language for Objects. None [Arbeitspapier]

Vorschau

1991

Baier, Christel ; Majster-Cederbaum, Mila (1991) The connection between an event structure semantics and an operational semantics for TCSP. None [Arbeitspapier]

Vorschau

1990

Baier, Christel ; Majster-Cederbaum, Mila (1990) The consistency of a noninterleaving and an interleaving model for full TCSP. None [Arbeitspapier]

Vorschau

Kifer, Michael ; Lausen, Georg ; Wu, James (1990) Logical Foundations of Object-Oriented and Frame-Based Languages. None [Arbeitspapier]

Vorschau

Majster-Cederbaum, Mila (1990) Ensuring the existence of a BCNF-decomposition that preserves functional dependencies in O (N2) time. None [Arbeitspapier]

Vorschau

Majster-Cederbaum, Mila (1990) On redundancy, anomalies and on the question "what do normal forms really do". None [Arbeitspapier]

Vorschau

1989

Majster-Cederbaum, Mila (1989) Some comments on CPO-semantics and metric space semantics for imperative languages. None [Arbeitspapier]

Vorschau

Lausen, Georg ; Soisalon-Soininen, Eljas (1989) Pre-analysis locking. None [Arbeitspapier]

Vorschau

Majster-Cederbaum, Mila ; Zetzsche, Frank (1989) Towards a foundation for semantics in complete metric spaces. None [Arbeitspapier]

Vorschau

Majster-Cederbaum, Mila (1989) The contraction property is sufficient to guarantee the uniqueness of fixed points of endofunctors in a category of acomplete metric spaces. None [Arbeitspapier]

Vorschau

1988

Majster-Cederbaum, Mila (1988) On the uniqueness of fixed points endofunctors in a category of complete metric spaces. None [Arbeitspapier]

Vorschau

1987

Majster-Cederbaum, Mila ; Zetzsche, Frank (1987) Foundations for semantics in complete metric spaces. None [Arbeitspapier]

Vorschau