Both parametric design tasks and analysis tasks of technical systems have a similar problem setting: The structure of the system to be configured or analyzed is defined already. W...
The successful development of any geographic information system project needs the careful design and implementation of spatial databases via conceptual and logical data-modeling. T...
— Today’s spectral reflection prediction models are able to predict the reflection spectra of printed color images with an accuracy as high as the reproduction variability allo...
Abstract. We introduce model-checking games that allow local secondorder power on sets of independent transitions in the underlying partial order models where the games are played....
For the conventional relational model there has been considerable research in the area of incomplete information. On the other hand, research in temporal databases has concentrated...