The Community Z Tools (CZT) project is an open-source Java framework for building formal methods tools for Z and Z dialects. It also includes a set of tools for parsing, typechecki...
The aim of the NEONATE project is to investigate sub-optimal decision making in the neonatal intensive care unit and to implement decision support tools which will draw the attenti...
Jim Hunter, Gary Ewing, Yvonne Freer, Forbert Logi...
Change and evolution of business and technology imply change and evolution of development processes. Besides that for a certain enterprise or a project we will usually integrate e...
Michael Gnatz, Frank Marschall, Gerhard Popp, Andr...
We have assembled a standalone, movable system that can capture long sequences of omnidirectional images (up to 1,500 images at 6.7 Hz and a resolution of 1140 × 1030). The goal ...
In this paper, we propose a new approach to detect camera cuts and wipes. The approach projects a video into two images representing the spatio-tempoml continuity of a video life....