ERCIM research reports R

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	European Research Consortium for Informatics and Mathematics (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	Le Chesnay ERCIM 1992-1999
Schlagworte:	Monografische Reihe
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Titel	Jahr	Band
Bayesian color image segmentation using reversible jump Markov chain Monte Carlo	1999
Bluman and Kumei's nonlinear scale-space theory	1999
Satellite image analysis and processing tools to be used in air-pollution forecast and simulation systems	1999
Dynamic scale-space paradigms versus mathematical morphology?	1999
Using UPPAAL for the specification and verification of a lip-sync protocol	1998
Specifying the PREMO synchronization objects	1997
Decoding choice encodings	1997
Typing confluence	1997
Exploiting enterprise models for the automatic distribution of corporate information	1997
Aperiodic texture mapping	1997
A general animation framework for gaseous phenomena	1997
Report and recommendations from the VRML Workshop : 29/30 January 1997, The Coseners House, Abingdon, UK	1997
The changing face of standardization : a place for formal methods?	1997
Dynamic server assignment in a two-queue model	1996
Worldwise algorithms and improved heuristics for solving hard constraint satisfaction problems	1996
Representing complex hierarchies with earcons	1995
On the role of Rouché's theorem in queueing analysis	1995
Presenting significant information in expert system explanation	1995
Deduction and consistency checking in object oriented schema structures viewed as logical theories	1995
Updating object oriented schema structures viewed as logical theories	1995