Centrum Wiskunde & Informatica

Coalgebraic reasoning in Coq: bisimulation and lambda-coiteration scheme Tech Report

M. Niqui (Milad)

October 2008
Foresighted policy gradient reinforcement learning: solving large-scale social dilemmas with rational altruistic punishment Tech Report

P.J. 't Hoen (Pieter Jan), S.M. Bohte (Sander) and J.A. La Poutré (Han)

October 2008
The Implications of Program Genres for the Design of Social Television Systems In Proceedings

D. Geerts (David), P.S. César Garcia (Pablo Santiago) and D.C.A. Bulterman (Dick)

October 2008
RDFa in XHTML: Syntax and processing 1.1 In Proceedings

S. Pemberton (Steven) and not CWI et al

October 2008
A Scheduling Algorithm for Time Bounded Delivery of Packets on the Internet In Proceedings

I. Vaishnavi (Ishan)

October 2008
Explicit Knowledge Programming for Computer Games In Proceedings

S. A. Witzel (Andreas), J.A. Zvesper (Jonathan) and E. Kennerly

October 2008
K-Space at TRECVid 2008 In Proceedings

P. Wilkins, R. Troncy (Raphael), A.K. Amin (Alia) and not CWI et al

October 2008
Monotonicity properties for multi-class queueing systems Tech Report

I.M. Verloop (Maaike), U. Ayesta (Urtzi) and S.C. Borst (Sem)

October 2008

Previous

Next