CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Algebraic process verification Book Chapter
January 2001 -
On nonoscillating integrals for computing inhomogeneous Airy functions Article
Mathematics of Computation, 1183-1194.January 2001 -
January 2001
-
Denotative and Connotative Semantics in Hypermedia: Proposal for a Semiotic-Aware Architecture Article
New Review of Hypermedia and Multimedia, 7-37.January 2001
-
January 2001
-
Multimedia Standards: Building Blocks of the Web Article
IEEE MultiMedia, 13-15.January 2001
-
The Role of High-level and Low-level Features in Style-based Retrieval and Generation of Multimedia Presentations Article
New Review of Hypermedia and Multimedia, 39-65.F.-M. Nack (Frank), M.A. Windhouwer (Menzo), L. Hardman (Lynda), E.J.E.M. Pauwels (Eric) and M.W.J.H. Huijberts
January 2001
-
Exact sampling from conditional Boolean models with applications to maximum likelihood inference Article
Advances in Applied Probability, 33(2), 339-353.January 2001