We present a modelling approach to rapidly assess the effect of management decisions on ecological problems and demonstrate its use in fishery management. Each stage of the approa...
F. Boschetti, A. de La Tour, E. A. Fulton, L. R. L...
Background: Serial Analysis of Gene Expressions (SAGE) produces gene expression measurements on a discrete scale, due to the finite number of molecules in the sample. This means t...
In Proc. of IEEE Conf. on CVPR'03, Madison, Wisconsin, 2003 We propose a generative model approach to contour tracking against non-stationary clutter and to coping with occlu...
Much current work on modelling and verifying microprocessors can accommodate pipelined and superscalar processors. However, superscalar and pipelined processors are no longer state...
Software model checkers can be applied directly to single-process programs, which typically are multithreaded. Multi-process applications cannot be model checked directly. While m...