Publication

Adapted Maximum-Likelihood Gaussian Models for Numerical Optimization with Continuous EDAs Tech Report

P.A.N. Bosman (Peter), J. Grahl and D. Thierens (Dirk)

Searching for Temporal Patterns in AmI Sensor Data In Proceedings

R. Tavenard (Romain), A.A. Salah (Albert Ali) and E.J.E.M. Pauwels (Eric)

Social Sharing of Television Content: An Architecture In Proceedings

P.S. César Garcia (Pablo Santiago), D.C.A. Bulterman (Dick) and A.J. Jansen (Jack)

Diagonal Circuit Identity Testing and Lower Bounds Tech Report

N. Saxena (Nitin)

Applications of Formal Methods to System Design and Verification Proceedings

Video on the Web: Experiences from SMIL and from the Ambulant Annotator In Proceedings

D.C.A. Bulterman (Dick), A.J. Jansen (Jack) and P.S. César Garcia (Pablo Santiago)

Finite de Finetti theorem for conditional probability distributions describing physical theories Tech Report

M. Christandl (Matthias) and B.F. Toner (Ben)

The Epistemics of Presupposition Projection In Proceedings

D.J.N. van Eijck (Jan) and A. C. Unger (Christina)