Results 1 - 10
of
12,249
Progressive search space reduction for human pose estimation
- In CVPR
, 2008
"... The objective of this paper is to estimate 2D human pose as a spatial configuration of body parts in TV and movie video shots. Such video material is uncontrolled and extremely challenging. We propose an approach that progressively reduces the search space for body parts, to greatly improve the chan ..."
Abstract
-
Cited by 226 (30 self)
- Add to MetaCart
The objective of this paper is to estimate 2D human pose as a spatial configuration of body parts in TV and movie video shots. Such video material is uncontrolled and extremely challenging. We propose an approach that progressively reduces the search space for body parts, to greatly improve
Laplacian Eigenmaps for Dimensionality Reduction and Data Representation
, 2003
"... One of the central problems in machine learning and pattern recognition is to develop appropriate representations for complex data. We consider the problem of constructing a representation for data lying on a low-dimensional manifold embedded in a high-dimensional space. Drawing on the correspondenc ..."
Abstract
-
Cited by 1226 (15 self)
- Add to MetaCart
One of the central problems in machine learning and pattern recognition is to develop appropriate representations for complex data. We consider the problem of constructing a representation for data lying on a low-dimensional manifold embedded in a high-dimensional space. Drawing
The irreducibility of the space of curves of given genus
- Publ. Math. IHES
, 1969
"... Fix an algebraically closed field k. Let Mg be the moduli space of curves of genus g over k. The main result of this note is that Mg is irreducible for every k. Of course, whether or not M s is irreducible depends only on the characteristic of k. When the characteristic s o, we can assume that k ~- ..."
Abstract
-
Cited by 506 (2 self)
- Add to MetaCart
is to construct families of curves X, some singular, with pa(X)-=g, over non-singular parameter spaces, which in some sense contain enough singular curves to link together any two components that Mg might have. The essential thing that makes this method work now is a recent " stable reduction theorem "
Approximation Spaces, Reducts and Representatives
, 1998
"... . The main objective of this chapter is to discuss different approaches to searching for optimal approximation spaces. Basic notions concerning rough set concept based on generalized approximation spaces are presented. Different constructions of approximation spaces are described. The problems of at ..."
Abstract
-
Cited by 6 (1 self)
- Add to MetaCart
. The main objective of this chapter is to discuss different approaches to searching for optimal approximation spaces. Basic notions concerning rough set concept based on generalized approximation spaces are presented. Different constructions of approximation spaces are described. The problems
Laplacian eigenmaps and spectral techniques for embedding and clustering.
- Proceeding of Neural Information Processing Systems,
, 2001
"... Abstract Drawing on the correspondence between the graph Laplacian, the Laplace-Beltrami op erator on a manifold , and the connections to the heat equation , we propose a geometrically motivated algorithm for constructing a representation for data sampled from a low dimensional manifold embedded in ..."
Abstract
-
Cited by 668 (7 self)
- Add to MetaCart
in a higher dimensional space. The algorithm provides a computationally efficient approach to nonlinear dimensionality reduction that has locality preserving properties and a natural connection to clustering. Several applications are considered. In many areas of artificial intelligence, information
Model Checking Programs
, 2003
"... The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it easier to experiment with mechanized formal methods such as theorem provers, proof checkers and model checkers. In this pape ..."
Abstract
-
Cited by 592 (63 self)
- Add to MetaCart
environment for Java, called Java PathFinder (JPF), which integrates model checking, program analysis and testing. Part of this work has consisted of building a new Java Virtual Machine that interprets Java bytecode. JPF uses state compression to handle big states, and partial order and symmetry reduction
Motion Space Reduction in a
"... A haptic model of bowing the violin and viola is presented that focuses on just the geometry of the contact point between the bow hair and the string, giving a simplified description that focuses on aspects which the performer thinks about consciously. The model allows artificial constraints on the ..."
Abstract
- Add to MetaCart
A haptic model of bowing the violin and viola is presented that focuses on just the geometry of the contact point between the bow hair and the string, giving a simplified description that focuses on aspects which the performer thinks about consciously. The model allows artificial constraints on the bow motion to be provided, giving the player physical feedback if one dimension of the contact point becomes incorrect, while allowing full movement in other dimensions.
Password Generation and Search Space Reduction
"... Abstract — It is easy for humans to design passwords that are easily remembered. However, such passwords may have a predictable structure, making exhaustive search feasible. We have divided human-generated passwords into three categories: Non-word passwords, Mixture passwords, and Word passwords; de ..."
Abstract
- Add to MetaCart
; depending on their overall structure. Within these categories, we have analyzed the search-space reduction of several common password sub-structures. From this analysis, we have derived guidelines that yield strong passwords within in each password category. Our results contribute towards the goal
Search Space Reduction in R-trees
"... Abstract. Pruning plays an integral role in reducing the search space of nearest neighbor queries on data structures like the R-tree. We show that a popular pruning strategy for nearest queries can reduce the search space exponentially in R-trees. In light of this, we provide a generalization of the ..."
Abstract
- Add to MetaCart
of the strategy to k-nearest neighbors. We call the extension Promise-Pruning and, for any k, construct a class of R-trees where its application preserves the exponential search space reduction. 1
Results 1 - 10
of
12,249