Centrum Wiskunde & Informatica

Zero, Sucessor and Equality in BDDs Article

Annals of Pure and Applied Logic, 101-123.

B. Badban (Bahareh) and J.C. van de Pol (Jaco)

January 2005
Formalizing UML Models and OCL Constraints in PVS In Proceedings

F.S. de Boer (Frank)

January 2005
Capture and Transfer of Metadata During Video Production In Proceedings

F.-M. Nack (Frank)

January 2005
Bucket Game with Applications to Set Multicover and Dynamic Page Migration In Proceedings

M. Bienkowski (Marcin) and J. Byrka (Jaroslaw)

January 2005
Using Rhetorical Annotations for Generating Video Documentaries In Proceedings

S. Bocconi, F.-M. Nack (Frank) and L. Hardman (Lynda)

January 2005
Normative Multiagent Systems and Trust Dynamics In Proceedings

G. Boella (Guido) and L.W.N. van der Torre (Leon)

January 2005
Bliksem boven bliksem Article

Zenit

U. Ebert (Ute) and F. van der Lijn

January 2005
Representations of isotropic random fields with homogeneous increments, with applications to spacial fractional Brownian motion Tech Report

K.O. Dzhaparidze (Kacha)

January 2005

Previous

Next