Sciweavers

119 search results - page 16 / 24
» On-the-fly Object Modeling while Tracking
Sort
View
BMVC
2001
13 years 10 months ago
Learning Pixel-Wise Signal Energy for Understanding Semantics
Visual interpretation of events requires both an appropriate representation of change occurring in the scene and the application of semantics for differentiating between different...
Jeffrey Ng, Shaogang Gong
OOPSLA
2007
Springer
14 years 1 months ago
Modular typestate checking of aliased objects
Objects often define usage protocols that clients must follow in order for these objects to work properly. Aliasing makes it notoriously difficult to check whether clients and i...
Kevin Bierhoff, Jonathan Aldrich
CRV
2006
IEEE
187views Robotics» more  CRV 2006»
13 years 11 months ago
Confidence Based updation of Motion Conspicuity in Dynamic Scenes
Computational models of visual attention result in considerable data compression by eliminating processing on regions likely to be devoid of meaningful content. While saliency map...
Vivek Kumar Singh, Subhransu Maji, Amitabha Mukerj...
SPIN
2004
Springer
14 years 1 months ago
Model-Driven Software Verification
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
Gerard J. Holzmann, Rajeev Joshi
JMM2
2007
132views more  JMM2 2007»
13 years 7 months ago
Contour Tracking of Targets with Large Aspect Change
In this paper we present a novel method for tracking contour of a moving rigid object in natural video sequences from a mobile camera. While a mobile camera is keeping track of a m...
Behzad Jamasbi, Seyed Ahmad Motamedi, Alireza Behr...