Centrum Wiskunde & Informatica

Automatic generation of interactive overview diagrams for the navigation of large graphs Tech Report

M.S. Marshall (Scott), I. Herman (Ivan) and G. Melançon (Guy)

January 2000
Exploring the space of emotional faces of subjects without acting experience Tech Report

J. Hendrix (Jeroen) and Z.M. Ruttkay

January 2000
Numerical solution of steady free-surface Navier-Stokes flow Tech Report

E.H. van Brummelen (Harald)

January 2000
Partial servicing of on-line jobs Tech Report

R. van Stee (Rob) and J.A. La Poutré (Han)

January 2000
Towards automated verification of Splice in $ mu $CRL Tech Report

P.F.G. Dechering and I.A. van Langevelde

January 2000
A geometric proof of confluence by decreasing diagrams Tech Report

J.W. Klop (Jan Willem), V. van Oostrom (Vincent) and R. de Vrijer

January 2000
Induced burstiness in generalized processor sharing queues with long-tailed traffic flows Tech Report

S.C. Borst (Sem), O.J. Boxma (Onno) and P.R. Jelenkovic

January 2000
Transient analysis of traffic generated by bursty sources, and its application to measurement-based admission control Tech Report

M.R.H. Mandjes (Michel) and M.J.G. van Uitert (Miranda)

January 2000

Previous

Next