Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

Proceedings of the Third International Symposium on Formal Methods for Components and Objects Proceedings

January 2005
Proceedings CIM 05 Proceedings

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

F.S. de Boer (Frank)

January 2005
An integrated approach to text and image retrieval - The Lowlands Team at Trecvid In Proceedings

T.H.W. Westerveld (Thijs), J.C. van Gemert, R. Cornacchia (Roberto), D. Hiemstra and A.P. de Vries (Arjen)

January 2005
The Lowlands' TREC Experiments 2005 - Notebook paper In Proceedings

H. Rode (Henning), G. Ramirez Camps (Georgina), T.H.W. Westerveld (Thijs), D. Hiemstra and A.P. de Vries (Arjen)

January 2005
Storing XML Documents in Databases Book Chapter

A.R. Schmidt, S. Manegold (Stefan) and M.L. Kersten (Martin)

January 2005
Cracking the Database Store In Proceedings

M.L. Kersten (Martin) and S. Manegold (Stefan)

January 2005
Updating the Pre/Post Plane in MonetDB/XQuery In Proceedings

P.A. Boncz (Peter), S. Manegold (Stefan) and J. Rittinger

January 2005
An algorithm for binary image segmentation using polygonal (Markov) fields In Proceedings

R. Kluszczynski, M.N.M. van Lieshout (Marie-Colette) and T. Schreiber

January 2005
Cruising the Semantic Web with Noadster (poster description in conference proceedings) In Proceedings

L. Rutledge (Lloyd) and J.R. van Ossenbruggen (Jacco)

January 2005
Cruising the Semantic Web with Noadster Magazine Article

L. Rutledge (Lloyd) and J.R. van Ossenbruggen (Jacco)

January 2005
Generalized Semantics-to-Document Derivation Magazine Article

L. Rutledge (Lloyd), M. Alberink, L. Hardman (Lynda) and M. Veenstra

January 2005
MonetDB/X100: Hyper-Pipelining Query Execution In Proceedings

P.A. Boncz (Peter), M. Zukowski (Marcin) and N.J. Nes (Niels)

January 2005
Pathfinder:XQuery-The Relational Way Presentation

P.A. Boncz (Peter), T. Grust, M. van Keulen, S. Manegold (Stefan), J. Rittinger and J. Teubner (Jens)

January 2005
oMAP: Results of the Ontology Alignment Contest In Proceedings

U. Straccia and R. Troncy (Raphael)

January 2005
oMAP: Combining Classifiers for Aligning OWL Ontologies In Proceedings

U. Straccia and R. Troncy (Raphael)

January 2005
oMAP: An Implemented Framework for Automatically Aligning OWL Ontologies In Proceedings

U. Straccia and R. Troncy (Raphael)

January 2005
Normative Multiagent Systems and Trust Dynamics In Proceedings

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

January 2005
Recommending Topics from Rated Objects In Proceedings

L. Rutledge (Lloyd), L. Aroyo (Lora), P. Gorgels, N. Stash, M. Veenstra and R. Brussee

January 2005
Cruising the Semantic Web with Noadster (poster) In Proceedings

L. Rutledge (Lloyd) and J.R. van Ossenbruggen (Jacco)

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

F.-M. Nack (Frank)

January 2005
Generating Media Stories - Play It Again, Sam In Proceedings

F.-M. Nack (Frank) and S. Bocconi

January 2005
Generalized Semantics-to-Document Derivation (poster description in conference proceedings) In Proceedings

L. Rutledge (Lloyd), M. Alberink, L. Hardman (Lynda) and M. Veenstra

January 2005
Using Rhetorical Annotations for Generating Video Documentaries In Proceedings

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

January 2005
Vox populi: a tool for automatically generating video documentaries In Proceedings

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

January 2005
Canonical Processes of Media Production In Proceedings

L. Hardman (Lynda)

January 2005
Using Rhetorical Annotations for Generating Video Documentaries In Proceedings

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

January 2005
Supporting the Generation of Argument Structure within Video Sequences In Proceedings

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

January 2005
Semantic Timeline Interfaces for Annotated Multimedia Assets In Proceedings

J.R. van Ossenbruggen (Jacco) and L. Hardman (Lynda)

January 2005
Generalized Semantics-to-Document Derivation Presentation

L. Rutledge (Lloyd), M. Alberink, L. Hardman (Lynda) and M. Veenstra

January 2005
Requirements for practical multimedia annotation In Proceedings

J.P.T.M. Geurts (Joost), J.R. van Ossenbruggen (Jacco) and L. Hardman (Lynda)

January 2005
Creating a Semantic-based Discourse Model for Hypermedia Presentations: (Un)discovered Problems In Proceedings

K. Falkovych (Kateryna) and S. Bocconi

January 2005
Share Conversion, Pseudorandom Secret-Sharing and Applications to Secure Computation In Proceedings

R.J.F. Cramer (Ronald), I.B. Damgård (Ivan) and Y. Ishai (Yuval)

January 2005
Efficient Optimal Design of Electromagnetic Actuators Using Space-Mapping In Proceedings

L. Encica, D. Echeverria (David), E.A. Lomonova, A.J.A. Vandenput, P.W. Hemker (Piet) and D.J.P. Lahaye (Domenico)

January 2005
Computer ergooglen die Bedeurung von Worten Article

Telepolis

P.M.B. Vitányi (Paul)

January 2005
Discussion Article

Slashdot - News for Nerds

P.M.B. Vitányi (Paul)

January 2005
A search for meaning Article

New Scientist

P.M.B. Vitányi (Paul)

January 2005
MonetDB keert een DBMS binnenste-buiten Magazine Article

M.L. Kersten (Martin)

January 2005
MonetDB: optimal and dynamic Magazine Article

M.L. Kersten (Martin)

January 2005
Relevance information: A loss of entropy but a gain for idf? In Proceedings

A.P. de Vries (Arjen) and T. Roelleke

January 2005
Reliability tests for the xcg and inex-2002 metrics In Proceedings

G. Kazai, M. Lalmas and A.P. de Vries (Arjen)

January 2005
Proceedings of the International Conference on Very Large Data Bases Proceedings

January 2005
interview Volkskrant Magazine Article

R.M. de Wolf (Ronald)

January 2005
Tros Radio online News Broadcast

P.M.B. Vitányi (Paul)

January 2005
interview VPRO Noorderlicht News Broadcast

H.M. Buhrman (Harry)

January 2005
Google Teaches Computers the Meaning of Words Article

ERCIM News, 48-49.

R.L. Cilibrasi (Rudi) and P.M.B. Vitányi (Paul)

January 2005
Algorithmic statistics and Kolmogorov’s Structure Functions Book Chapter

P.M.B. Vitányi (Paul)

January 2005
A Tutorial Introduction to the Minimum Description Length Principle Book Chapter

P.D. Grünwald (Peter)

January 2005
CompLearn Toolkit Software

R.L. Cilibrasi (Rudi)

January 2005
Compression-based Stemmatology: A Study of the Legend of St. Henry of Finland Tech Report

T. Roos (Teemu), T. Heikki, R.L. Cilibrasi (Rudi) and P. Myllymäki (Petri)

January 2005
Improved Lower Bounds for Locally Decodable Codes and Private Information Retrieval In Proceedings

S.D.C. Wehner (Stephanie) and R.M. de Wolf (Ronald)

January 2005
Distortion-rate theory for individual data In Proceedings

P.M.B. Vitányi (Paul)

January 2005
Time, Space, and Energy in Reversible Computing In Proceedings

P.M.B. Vitányi (Paul)

January 2005
Universal Similarity In Proceedings

P.M.B. Vitányi (Paul)

January 2005
All Quantum Adversary Methods are Equivalent In Proceedings

R. Spalek (Robert) and M. Szegedy (Mario)

January 2005
On discriminative Bayesian network classifiers and logistic regression Article

Machine Learning, 59(3), 267-296.

T. Roos (Teemu), H. Wettig (Hannes), P.D. Grünwald (Peter), P. Myllymäki (Petri) and H. Tirri

January 2005
MDL model selection using the ML plug-in code In Proceedings

S. de Rooij (Steven) and P.D. Grünwald (Peter)

January 2005
Timing Games and Shared Memory In Proceedings

Z. Lotker (Zvi), B. Patt-Shamir and M.R. Tuttle

January 2005
On polynomial time bounded symmetry of information Article

Theoretical Computer Science, 345(2-3), 386-405.

T. J. Lee (Troy) and A. Romashchenko

January 2005
Bounded-depth Circuits: SeparatingWires from Gates In Proceedings

M. Koucký (Michal), P. Pudlak and D. Therien

January 2005
From Balls and Bins to Points and Vertices In Proceedings

R. Klasing, Z. Lotker (Zvi), A. Navarra and S. Perennes

January 2005
Lower Bounds on Quantum Query Complexity Article

Bulletin of the EATCS, 78-103.

P. Høyer (Peter) and R. Spalek (Robert)

January 2005
Quantum Fanout is Powerful Article

Theory of Computing, 1(5), 83-101.

P. Høyer (Peter) and R. Spalek (Robert)

January 2005
The quantum adversary method and classical formula size lower bounds Article

Complexity, 76-90.

S. Laplante, T. J. Lee (Troy) and M. Szegedy (Mario)

January 2005
Advances in Minimum Description Length: Theory and Applications Book

January 2005
Asymptotic log-loss of prequential maximum likelihood codes In Proceedings

P.D. Grünwald (Peter) and S. de Rooij (Steven)

January 2005
The statistical strength of nonlocality proofs Article

IEEE Transactions on Information Theory, 51(8), 2812-2835.

W. van Dam (Wim), R.D. Gill (Richard) and P.D. Grünwald (Peter)

January 2005
Quantum Anonymous Transmissions In Proceedings

M. Christandl (Matthias) and S.D.C. Wehner (Stephanie)

January 2005
Clustering by compression Article

IEEE Transactions on Information Theory, 51(4), 1523-1545.

R.L. Cilibrasi (Rudi) and P.M.B. Vitányi (Paul)

January 2005
Language compression and pseudorandom generators Article

Computational Complexity, 247-274.

H.M. Buhrman (Harry), T. J. Lee (Troy) and D. van Melkebeek

January 2005
Some Results on Derandomization Article

Theory of Computing Systems, 38(2), 211-227.

H.M. Buhrman (Harry), L. Fortnow (Lance) and A. Pavan

January 2005
A Post’s Program for Complexity Theory Article

Bulletin of the EATCS, 41-51.

H.M. Buhrman (Harry) and L. Torenvliet (Leen)

January 2005
Increasing Kolmogorov Complexity In Proceedings

H.M. Buhrman (Harry), L. Fortnow (Lance), I. Newman and N.K. Vereshchagin (Nikolay Konstantinovich)

January 2005
Robust Quantum Algorithms and Polynomials In Proceedings

H.M. Buhrman (Harry), I. Newman, H. Röhrig (Hein) and R.M. de Wolf (Ronald)

January 2005
Causality and Tsirelson’s bounds Article

Physical Review A: Atomic, Molecular and Optical Physics, 72(5), 1-7.

H.M. Buhrman (Harry) and S. Massar (Serge)

January 2005
Quantum Algorithms for Element Distinctness Article

SIAM Journal on Computing, 34(6), 1324-1330.

H.M. Buhrman (Harry), C. Dürr, M. Heiligman, P. Høyer (Peter), F. Magniez, M. Santha (Miklos) and R.M. de Wolf (Ronald)

January 2005
Collaborate With Strangers To Find Own Preferences In Proceedings

B. Awerbuch, Y. Azar, Z. Lotker (Zvi), B. Patt-Shamir and M.R. Tuttle

January 2005
PVR Software

R. van Liere (Robert)

January 2005
Argos Software

R. van Liere (Robert)

January 2005
Interacting with Molecular Structures: User Performance versus System Complexity In Proceedings

R. van Liere (Robert), A.J.F. Kok (Arjan), J.-B. Martens and M. van Tienen

January 2005
Evaluation of Collaborative Construction in Mixed Reality In Proceedings

B.R. Boschker (Breght) and J.D. Mulder (Jurriaan)

January 2005
Menu Selection in Desktop Virtual Reality In Proceedings

J.D. Mulder (Jurriaan)

January 2005
Realistic Occlusion Effects in Mirror-Based Co-Located Augmented Reality Systems In Proceedings

J.D. Mulder (Jurriaan)

January 2005
An Analysis of Orientation Prediction and Filtering Methods for VR/AR In Proceedings

A.J. van Rhijn (Arjen), R. van Liere (Robert) and J.D. Mulder (Jurriaan)

January 2005
Optical Tracking and Calibration of Tangible Interaction Devices In Proceedings

A.J. van Rhijn (Arjen) and J.D. Mulder (Jurriaan)

January 2005
Comparing three PCA-based Methods for the 3D Visualization of Imaging Spectroscopy Data In Proceedings

A. Broersen (Alexander), R. van Liere (Robert) and R.M.A. Heeren (Ron)

January 2005
Transfer Functions for Imaging Spectroscopy Data using Principle Component Analysis In Proceedings

A. Broersen (Alexander) and R. van Liere (Robert)

January 2005
In vivo HP1 targeting causes large-scale chromatin condensation and enhanced histone lysine methylation Article

Molecular and Cellular Biology, 4552-4564.

P.J. Verschure (Pernette), I. van der Kraan, W.C. de Leeuw (Wim), J. van der Vlag, A.S. Belmont and R. van Driel (Roel)

January 2005
oMAP: an ontology alignment tool Software

R. Troncy (Raphael)

January 2005
Noadster demo Software

L. Rutledge (Lloyd)

January 2005
Prototype of the SampLe system Software

K. Falkovych (Kateryna)

January 2005
Extended implementation of the Vox Populi demo Software

S. Bocconi

January 2005
Eculture MultimediaN demonstrator Software

J.R. van Ossenbruggen (Jacco)

January 2005
Multimedia Annotations and the Semantic Web. SemanticWeb Case Studies and Best Practices for eBusiness In Proceedings

J.R. van Ossenbruggen (Jacco), G. Stamou and J.Z. Pan (Jeff)

January 2005
Semantic Timeline Interfaces for Annotated Multimedia Assets Presentation

J.R. van Ossenbruggen (Jacco) and L. Hardman (Lynda)

January 2005
oMAP: Results of the Ontology Alignment Contest In Proceedings

U. Straccia and R. Troncy (Raphael)

January 2005
Cruising the Semantic Web with Noadster Presentation

L. Rutledge (Lloyd) and J.R. van Ossenbruggen (Jacco)

January 2005
Recommending Topics from Rated Objects In Proceedings

L. Rutledge (Lloyd) and not CWI et al

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

F.-M. Nack (Frank)

January 2005
Domain model enhanced search - A comparison of taxonomy, thesaurus and ontology Master Thesis

K. Schwarz

January 2005