Abstract. We propose a semantic and syntactic framework for modelling linearly used effects, by giving the monadic transforms of the computational lambda calculus (considered as th...
In this paper, we present an easy, efficient and practical algorithm, which extracts the feature silhouette from a photograph for virtual human modeling. Our segmentation algorith...
Yu Wang 0010, Charlie C. L. Wang, Matthew Ming-Fai...
Model Driven Development (MDD) aims to promote the role of modeling in Software Engineering. Enterprise systems and architectures are often modeled via multiple representations. F...
Fluorescent microscopy of biological samples allows noninvasive screening of specific molecular events in-situ. This approach is useful for investigating intricate signalling path...
Shaun Fitch, Trevor Jackson, Peter Andras, Craig R...
A new method for object tracking in video sequences is presented. This method exploits the benefits of particle filters to tackle the multimodal distributions emerging from clutte...
Alexandros Makris, Dimitrios I. Kosmopoulos, Stavr...