Sciweavers

676 search results - page 82 / 136
» A Visualization Framework for Task-Oriented Modeling Using U...
Sort
View
109
Voted
FASE
2009
Springer
15 years 6 months ago
Interface Generation and Compositional Verification in JavaPathfinder
Abstract. We present a novel algorithm for interface generation of software components. Given a component, our algorithm uses learning techniques to compute a permissive interface ...
Dimitra Giannakopoulou, Corina S. Pasareanu
124
Voted
ICPR
2008
IEEE
15 years 10 months ago
Online Feature Evaluation For Object Tracking Using Kalman Filter
An online feature evaluation method for visual object tracking is put forward in this paper. Firstly, a combined feature set is built using color histogram (HC) bins and gradien...
Zhenjun Han, Qixiang Ye, Jianbin Jiao+
ICCV
2009
IEEE
16 years 7 months ago
Adaptive Fragments-Based Tracking of Non-Rigid Objects Using Level Sets
We present an approach to visual tracking based on dividing a target into multiple regions, or fragments. The target is represented by a Gaussian mixture model in a joint feature...
Prakash Chockalingam, Nalin Pradeep
AUSAI
2004
Springer
15 years 8 months ago
Enhanced Importance Sampling: Unscented Auxiliary Particle Filtering for Visual Tracking
Abstract. The particle filter has attracted considerable attention in visual tracking due to its relaxation of the linear and Gaussian restrictions in the state space model. It is...
Chunhua Shen, Anton van den Hengel, Anthony R. Dic...
TCIAIG
2010
14 years 9 months ago
Cinematic Visual Discourse: Representation, Generation, and Evaluation
In this paper, we present the design, implementation, and evaluation of an end-to-end camera planning system called Darshak. Darshak automatically constructs cinematic narrative di...
Arnav Jhala, R. Michael Young