Sciweavers

214 search results - page 32 / 43
» On the separability of structural classes of communities
Sort
View
CVPR
2008
IEEE
15 years 11 months ago
Spectrally optimal factorization of incomplete matrices
From the recovery of structure from motion to the separation of style and content, many problems in computer vision have been successfully approached by using bilinear models. The...
Pedro M. Q. Aguiar, João M. F. Xavier, Mark...
CVPR
2008
IEEE
15 years 11 months ago
A joint appearance-spatial distance for kernel-based image categorization
The goal of image categorization is to classify a collection of unlabeled images into a set of predefined classes to support semantic-level image retrieval. The distance measures ...
Guo-Jun Qi, Xian-Sheng Hua, Yong Rui, Jinhui Tang,...
ICPR
2008
IEEE
15 years 10 months ago
Hand motion expertise analysis using dynamic hierarchical activity modeling and isomap
Several domains such as sports, surgery, dance etc. are characterized by a significant influence of expertise of the performer on the motion pattern and style. The retrieval of ex...
Kanav Kahol, Mithra Vankipuram
77
Voted
CAV
2009
Springer
182views Hardware» more  CAV 2009»
15 years 4 months ago
Generalizing DPLL to Richer Logics
The DPLL approach to the Boolean satisfiability problem (SAT) is a combination of search for a satisfying assignment and logical deduction, in which each process guides the other....
Kenneth L. McMillan, Andreas Kuehlmann, Mooly Sagi...
CONCUR
2009
Springer
15 years 4 months ago
Model-Checking Games for Fixpoint Logics with Partial Order Models
Abstract. We introduce model-checking games that allow local secondorder power on sets of independent transitions in the underlying partial order models where the games are played....
Julian Gutierrez, Julian C. Bradfield