Centrum Wiskunde & Informatica

Report specification on design of authoring interfaces for Video Annotation Tech Report

R. Troncy (Raphael), Z. Obrenovic, L. Hardman (Lynda) and not CWI et al

January 2007
Expressivity of finitary coalgebraic logics Article

Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica

C.A. Kupke (Clemens)

January 2007
Symmetry and partial order reduction techniques in model checking Rebeca Tech Report

M.M. Jaghoori (Mohammad Mahdi), M. Sirjani (Marjan), M.R. Mousavi and A. Movaghar (Ali)

January 2007
SAT-based Abstraction Refinement for Real-time Systems Article

Electronic Notes in Theoretical Computer Science, 107-122.

S. Kemper (Stephanie) and A. Platzer

January 2007
Bisimulation for Neighbourhood Structures Tech Report

H.H. Hansen (Helle), C.A. Kupke (Clemens) and E. Pacuit

January 2007
Description of the stable Multimedia Ontology and tutorial on how to use it for annotation (using Domain Ontology) Tech Report

L. Hardman (Lynda), R. Troncy (Raphael) and not CWI et al

January 2007
Multimedia Annotation Interoperability Framework Tech Report

V. Tzouvaras, R. Troncy (Raphael) and J.Z. Pan (Jeff)

January 2007
MPEG-7 and the Semantic Web Tech Report

O. Celma, S. Dasiopoulou, C. Tsinaraki, M. Hausenblas, S. Little and R. Troncy (Raphael)

January 2007

Previous

Next