In this paper we present a stable automatic system for image composition, which can well control the color difference between two images, and produce a seamless composite image wit...
Standard detection algorithms for nonlinearity linkage fail when applied to typical problems in the analysis of financial time-series data. We explain how this failure arises whe...
We approach the problem of computational crystal structure prediction, implementing an evolutionary algorithm--USPEX (Universal Structure Predictor: Evolutionary Xtallography). St...
This paper discusses the use of formal methods for analysing human-computer interaction. We focus on the mode confusion problem that arises whenever the user thinks that the syste...
Recent research in compositional real-time systems has focused on determination of a component’s real-time interface parameters. An important objective in interface-parameter de...