Research Day 2003 Program
Center
Program of the ICS Researchday 2003
April 28, 2003
- Karianne Vermaas and Lidwien van de Wijngaert -- Broadband technology and services from a user perspective
- Hermi Schijf and Jan Herman Verpoorten -- Interpretatieproblemen met diagrammen
- Cees Pierik -- A convenient Hoare logic for Java
- Joris Hulstijn -- de agent-programmeertaal 3APL
- Roland Geraerts -- Motion planning in virtual Environments
- Andres Loh -- Generic Haskell: From Types to Programs
- Karina Olmos and Martin Bravenboer -- Program Transformation with Stratego/XT
- Carsten Riggelsen -- Learning Bayesian networks from incomplete data samples
- Danielle Sent
- Joris Graaumans
- Ion Juvina -- Human Factors in Web-asisted Personal Finance
- Joske Houtkamp -- Affective appraisal of 3D models of buildings
- Jurriaan van Diggelen -- Dialogue Protocols for Ontological Commitment in Multi Agent Systems
- Mirela Tanase -- Partial Shape-based Image Retrieval by Decomposition based on the Straight Line Skeleton
- Jaesook Cheong -- Fixturing a polygon with less than four contacts
- Martijn Schrage -- Proxima: A generic presentation-oriented XML editor
- Eelco Dolstra -- TraCE : Transparent Configuration Environments
- Rainer Malik -- Bioinformatics: Analysing SNPs in Rat
- Zeger Knops -- Normalized Mutual Information Based Registration Using K-Means Clustering
- Herman Haverkort
- Stacey Nagata -- Personal Assistance for Mobile Web Services
- Linda van den Brink -- Bruikbaarheid van transformatietalen voor gestructureerde documenten
- Henk-Jan Lebbink -- Dialogue Games: Agents in Conversation
- Silja Renooij -- From qualitative to quantitative probabilistic networks
- Ronnie Bathoorn -- Spatio-Temporal Data Mining on Gene Expression Data
- Muhammad Subianto -- Visualization for Data Mining
- Bastiaan Heeren and Arjan van IJzendoorn -- Helium, for Learning Haskell
- Ade Azurat -- x-Mech : Towards scalable software verification
- Marc van Kreveld -- Schematization of Road Networks
- Hans Bodlaender -- Treewidth
- Peter Bosman -- Learning Probabilistic Models for Enhanced and Scalable Evolutionary Optimization