Sciweavers

878 search results - page 89 / 176
» A Scalable Approach to Activity Recognition based on Object ...
Sort
View
ATVA
2006
Springer
153views Hardware» more  ATVA 2006»
14 years 20 days ago
Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...
Wonhong Nam, Rajeev Alur
CVPR
2005
IEEE
14 years 11 months ago
Segmentation of Edge Preserving Gradient Vector Flow: An Approach Toward Automatically Initializing and Splitting of Snakes
Active contours or snakes have been extensively utilized in handling image segmentation and classification problems. In traditional active contour models, snake initialization is ...
Chunming Li, Jundong Liu, Martin D. Fox
PSIVT
2009
Springer
400views Multimedia» more  PSIVT 2009»
14 years 3 months ago
Local Image Descriptors Using Supervised Kernel ICA
PCA-SIFT is an extension to SIFT which aims to reduce SIFT’s high dimensionality (128 dimensions) by applying PCA to the gradient image patches. However PCA is not a discriminati...
Masaki Yamazaki, Sidney Fels
SIGMOD
2000
ACM
158views Database» more  SIGMOD 2000»
14 years 1 months ago
NiagaraCQ: A Scalable Continuous Query System for Internet Databases
Continuous queries are persistent queries that allow users to receive new results when they become available. While continuous query systems can transform a passive web into an ac...
Jianjun Chen, David J. DeWitt, Feng Tian, Yuan Wan...
CVPR
2009
IEEE
1962views Computer Vision» more  CVPR 2009»
15 years 3 months ago
Histograms of Oriented Optical Flow and Binet-Cauchy Kernels on Nonlinear Dynamical Systems for the Recognition of Human Actions
System theoretic approaches to action recognition model the dynamics of a scene with linear dynamical systems (LDSs) and perform classification using metrics on the space of LDSs, ...
Rizwan Chaudhry, Avinash Ravichandran, Gregory D. ...