Sciweavers

1190 search results - page 72 / 238
» Scalable Active Matching
Sort
View
DAC
2010
ACM
13 years 11 months ago
Scalable specification mining for verification and diagnosis
Effective system verification requires good specifications. The lack of sufficient specifications can lead to misses of critical bugs, design re-spins, and time-to-market slips. I...
Wenchao Li, Alessandro Forin, Sanjit A. Seshia
ICDCS
2012
IEEE
11 years 10 months ago
Scalable Name Lookup in NDN Using Effective Name Component Encoding
—Name-based route lookup is a key function for Named Data Networking (NDN). The NDN names are hierarchical and have variable and unbounded lengths, which are much longer than IPv...
Yi Wang, Keqiang He, Huichen Dai, Wei Meng, Junche...
ACCV
1998
Springer
14 years 11 days ago
Automatic Detection and Tracking of Human Heads Using an Active Stereo Vision System
A head tracking system for automatically detecting and tracking human heads in complex backgrounds is developed. In this paper, two issues are addressed: the detection ofhumanhead...
Cheng-Yuan Tang, Yi-Ping Hung, Zen Chen
ICCV
2003
IEEE
14 years 10 months ago
View-invariant Alignment and Matching of Video Sequences
In this paper, we propose a novel method to establish temporal correspondence between the frames of two videos. 3D epipolar geometry is used to eliminate the distortion generated ...
Cen Rao, Alexei Gritai, Mubarak Shah, Tanveer Fath...
ICIP
2007
IEEE
14 years 2 months ago
Dominant Sets-Based Action Recognition using Image Sequence Matching
Action recognition is one of the most active research fields in computer vision. In this paper, we propose a novel method for classifying human actions in a series of image seque...
Qingdi Wei, Weiming Hu, Xiaoqin Zhang, Guan Luo