This paper presents a new worklist algorithm that significantly speeds up a large class of flow-sensitive data-flow analyses, including typestate error checking and pointer analysi...
Visual tracking is a challenging problem, as an object may change its appearance due to viewpoint variations, illumination changes, and occlusion. Also, an object may leave the fie...
Understanding fluid flow is a difficult problem and of increasing importance as computational fluid dynamics produces an abundance of simulation data. Experimental flow analysis h...
Carson Brownlee, Vincent Pegoraro, Singer Shankar,...
We incorporate an attractive interaction in two dimensional optimal velocity model and investigate the stability of homogeneous flow. There exists a new type of instability and a...
In [Z. Cai, C. Tong, P. S. Vassilevski, and C. Wang, Numer. Methods Partial Differential Equations, to appear], the authors developed and analyzed a mixed finite element method for...