The paper first develops the core IS view of business activity, which comprises informational and physical work systems and central to which is the informational work system deliv...
This paper investigates the adequacy of various principal components (p.c.) approaches as data reduction schemes for processing contingent claim valuations on baskets of equities....
The traditional use of formal methods has been for the veri cation of algorithms or protocols. Given the high cost and limitations in state space coverage provided by conventional...
This paper presents an application of optic flow estimation to image metamorphosis. It uses a state of the art optical flow algorithm to do image metamorphosis, which is used in v...
This paper introduces decision-theoretic planning techniques into automatic music generation. Markov decision processes (MDPs) are a mathematical model of planning under uncertain...