ERCIM Research ReportsThe ERCIM Research Reports series is discontinued. The ERCIM research reports series was an occasion for the ERCIM fellows (see ERCIM fellowship programme) to publish their research results. Their reports are now published by the hosting institute. Research and technical reports published by our member institutes can be found in the ERCIM members' libraries: http://www.ercim.eu/publication/libraries.html Title: Satellite Image Analysis and Processing Tools to be used in Air-Pollution Forecast and Simulation Systems Author: Alfons H Salden Origin: INRIA, February 1999 Number: ERCIM-03/99-R058 Title: Bluman and Kumei's Nonlinear Scale-Space Theory Author: Alfons H Salden Origin: INRIA, February 1999 Number: ERCIM-02/99-R057 Title: Dynamic Scale-Space Paradigms versus Mathematical Morphology? Author: Alfons H Salden Origin: INRIA, February 1999 Number: ERCIM-02/99-R056 Title: Bayesian Color Image Segmentation Using Reversible Jump Markov Chain Monte Carlo Author: Zoltan Kato Origin: CWI, January 1999 Number: ERCIM-01/99-R055 Title: Using UPPAAL for the Specification and Verification of a Lip-Sync Protocol Authors: H. Bowman, G. Faconti, J-P. Katoen, D. Latella & M. Massink Origin: CNUCE-CNR, July 1998 Number: ERCIM-07/98-R054 Title: Exploiting Enterprise Models for the Automatic Distribution of Corporate Information Authors: Michael Wolverton Origin: SINTEF-DELAB, October 1997 Number: ERCIM-10/97-R053 Title: Typing Confluence Authors: Uwe Nestmann and Martin Steen Origin: INRIA, October 1997 Number: ERCIM-10/97-R052 Title: Decoding Choice Encodings Authors: Uwe Nestmann and Benjamin C. Pierce Origin: INRIA, October 1997 Number: ERCIM-10/97-R051 Title: The Changing Face of Standardization: A Place for Formal Methods? Authors: David Duce, David Duke, Giorgio Faconti and Ivan Herman Origin: ERCIM Computer Graphics Network, August 1997 Number: ERCIM-08/97-R050 Title: ERCIM Computer Graphics Network Report and Recommendations from the VRML Workshop 29/30 January 1997, The Coseners House, Abingdon, UK Edited by David Duce, Klaus Kansy and Michael Wilson Origin: ERCIM Computer Graphics Network, February 1997 Number: ERCIM-02/97-R049 Title: Specifying the PREMO Synchronization Objects Author: D.J. Duke, D.A.Duce, I. Herman, G.Faconti Origin: ERCIM Computer Graphics Network, February 1997 Number: ERCIM-02/97-R048 Title: A General Animation Framework for Gaseous Phenomena Author: Jos Stam Origin: VTT, January 1997 Number: ERCIM-01/97-R047 Title: Aperiodic Texture Mapping Author: Jos Stam Origin: VTT, January 1997 Number: ERCIM-01/97-R046 Title: Wordwise Algorithms and Improved Heuristics for Solving Hard Constraint Satisfaction Problems Author: Christian Bliek Origin: INRIA, December 1996 Number: ERCIM-12/96-R045 Title: Dynamic Server Assignment in a Two-Queue Model Author: O.J. Boxma and D.G. Down Origin: CWI, January 1996 Number: ERCIM-01/96-R044 Title: Updating Object Oriented Schema Structures Viewed as Logical Theories Author: Dimitri Theodoratos Origin: INRIA, December 1995 Number: ERCIM-12/95-R043 Title: Deduction and Consistency Checking in Object Oriented Schema Structures viewed as Logical Theories Author: Dimitri Theodoratos Origin: INRIA, November 1995 Number: ERCIM-11/95-R042 Title: Presenting Significant Information in Expert System Explanation Author: Michael Wolverton Origin: CLRC, November 1995 Number: ERCIM-11/95-R041 Title: Multimodal Scanning Input with Non-Speech Sounds Author: Stephen A. Brewster, Veli-Pekka Raty & Atte Kortekangas Origin: SINTEF-DELAB, October 1995 Number: ERCIM-10/95-R040 Title: Grey-Scale Images Author: L.M.J. Florack Origin: INESC, September 1995 Number: ERCIM-09/95-R039 Title: On the Role of Rouché's Theorem in Queueing Analysis Author: J.W. Cohen, D.G. Down Origin: CWI, August '95 Number: ERCIM-08/95-R038 Title: Representing Complex Hierarchies with Earcons Author: Stephen A. Brewster, Veli-Pekka Raty and Atte Kortekangas Origin: SINTEF-DELAB, May '95 Number: ERCIM-05/95-R037 Title: Extending Locking Techniques to Improve Concurrent Database Access Author: Cesar Galindo-Legaria and Fausto Rabitti Origin: CNR, April '95 Number: ERCIM-04/95-R036 Title: Storage and Retrieval Techniques for Multimedia Data Author: P.Zuela and Cesar Galindo-Legaria Origin: CNR, April '95 Number: ERCIM-04/95-R035 Title: Revising Propositional Horn Clause Knowledge Bases Author: Dimitri Theodoratos, Foto Afrati and Theodoros G. Kavalieros Origin: DRAL, November '94 Number: ERCIM-11/94-R034 Title: The Intrinsic Structure of the Optic Flow Field Author: Luck Florack and Mads Nielsen Origin: INRIA, July '94 Number: ERCIM-07/94-R033 Title: On the Traffic Equations for Batch Routing Queueing Networks and Stochastic Petri Nets Author: Richard J. Boucherie and Matteo Sereno Origin: CWI, April '94 Number: ERCIM-04/94-R032 Title: An Optimal O(log log n) Time Parallel Algorithm for Detecting all Squares in a String Author: Dany Breslauer and Alberto Apostolico Origin: CNR, March '94 Number: ERCIM-03/94-R031 Title: Situation Assessment and Adaptive Learning Theoretical and Experimental Issues Author: Mukesh J. Patel Origin: CNR, March '94 Number: ERCIM-03/94-R030 Title: From Synchronous-Flow Dependence Graphs to Reliable and Efficient Implementations Author: Olivier Maffeïs and Paul Le Guernic Origin: RAL, February '94 Number: ERCIM-02/94-R029 Title: GKS-9x: The Design Output Primitiv - An Approach to a Specification Author:Philippe Nehlig and David Duce Origin: RAL, January '94 Number: ERCIM-01/94-R028 Title: GKS-9x: A Specification of the Framework Author:Ljiljana Damnjanovic and David Duce Origin: RAL, August '93 Number: ERCIM-08/93-R027 Title: Norton's Equivalent for Queueing Networks with Non-Product Form Subnetworks Author: Richard J. Boucherie Origin: INRIA, May '93, Number: ERCIM-05/93-R026 Title: On the Transient Behaviour of Markov Chains Obtained Via Isomoric Reflections Author: Richard J. Boucherie Origin INRIA, May '93 Number: ERCIM-05/93-R025 Title: Testing String Superprimitivity in Parallel Author: Dany Breslauer Origin: INRIA, May '93 Number: ERCIM-05/93-R024 Title: High Level Language Support for Protocol Processing Author: Ellen Siegel Origin: INRIA, May '93 Number: ERCIM-05/93-R023 Title: Parallel Assignment and Scientific Computation Author: Alan Stewart Origin: INRIA, June '93 Number: ERCIM-92-R022 Title: Tight Comparison Bounds for the String Prefix-Matching Problem Author: Dany Breslauer, Livio Colussi and Laura Toniolo Origin: CWI, June '93 Number: ERCIM-92-R021 Title: Saving Comparisons in the Crochemore-Perrin String Matching Algorithm Author: Dany Breslauer Origin: CWI, June '93 Number: ERCIM-93-R020 Title: Gesture Interaction in a 3D User Interface Author: Monica Bordigoni Origin: GMD, April '93 Number: ERCIM-93-R019 Title: Some Experiences of Solving 1-D Semiconductor Device Equations on a Matrix Coprocessor by a Domain Decomposition Method Author: Choi-Hong Lai and Hermann te Riele Origin: CWI, April '93 Number: ERCIM-93-R018 Title: GKS-9x: Some Implementation Consideration Author: Lilijana Damnjanovic, David Duce and Stuart Robinson Origin: RAL, April '93 Number: ERCIM-93-R017 Title: Finding All Periods and Initial Palindromes of a String in Parallel Author: Dany Breslauer Origin: CWI, April '93 Number: ERCIM-93-R016 Title: Fast Parallel String Prefix-Matching Author: Dany Breslauer Origin: CWI, April '93 Number: ERCIM-93-R015 Title: Efficient Comparison Based String Matching Author: Dany Breslauer Origin: CWI, April '93 Number: ERCIM-93-R014 Title: Formal Specification of Manifold: a Preliminary Study Author: Eric Rutten, Farhad Arbab and Ivan Herman Origin: CWI, January '93 Number: ERCIM-93-R013 Title: Associative Matching for Linear Terms Author: Steven Eker Origin: CWI, January '93 Number: ERCIM-93-R012 Title: Verification of Parameterised Synchronous Concurrent Algorithms with OBJ3: The Pixel Planes Architecture Revisited Author: Steven Eker Origin: CWI, January '93 Number: ERCIM-93-R011 Title: Texture Synthesis Author: Michal Haindl Origin: CWI, January '93 Number: ERCIM-93-R010 Title: A Comparison of OBJ3 and ASF+SDF Author: Steven Eker Origin: CWI, January '93 Number: ERCIM-92-R009 Title: Parallel Aspects of Some Spectral Problems in Linear Algebra Author: Alexander Malyshev Origin: CWI, January '93 Number: ERCIM-93-R008 Title: Iterative Refinement of Linear Least Squares Solutions Author: Alexander Malyshev Origin: GMD, January '93 Number: ERCIM-93-R007 Title: The Qwertz Document Types Version 1.1 Reference Manual Author: Thomas Gordon Origin: GMD, January '93 Number: ERCIM-93-R006 Title: An Imperative Planning Language: From Temporal Representation to Real-Time Execution Author: Eric Rutten Origin: GMD, January '93 Number: ERCIM-93-R005 Title: An Imperative Language for Task-Level Programming: Definition in Temporal Logic Author: Eric Rutten and Lionel Marcé Origin: GMD, January '93 Number: ERCIM-93-R004 Title: An Iteration Scheme for Non-Symmetric Interface Operator Author: Choi-Hong Lai Origin: INRIA, October '92 Number: ERCIM-92-R003 Title: Dynamic Gesture Machine Author: Monica Bordigoni Origin: RAL, October '92 Number: ERCIM-92-R002 Title: Numerical Solutions of Some Semiconductor Devices by a Domain Decomposition Method Author: Choi-Hong Lai and Chris Greenough Origin: RAL, October '92 Number: ERCIM-92-R001 |