Results 1  10
of
4,296
Canonical Sets of Horn Clauses
, 1990
"... Rewrite rules are oriented equations used to replace equalsbyequals in the specified direction. Input terms are repeatedly rewritten according to the rules. When and if no rule applies... ..."
Abstract

Cited by 6 (2 self)
 Add to MetaCart
Rewrite rules are oriented equations used to replace equalsbyequals in the specified direction. Input terms are repeatedly rewritten according to the rules. When and if no rule applies...
Stable bounded canonical sets and image matching
 IN ENERGY MINIMIZATION METHODS IN COMPUTER VISION AND PATTERN RECOGNITION, EMMCVPR 2005
, 2005
"... A common approach to the image matching problem is representing images as sets of features in some feature space followed by establishing correspondences among the features. Previous work by Huttenlocher and Ullman [1] shows how a similarity transformation rotation, translation, and scaling betw ..."
Abstract

Cited by 6 (5 self)
 Add to MetaCart
 between two images may be determined assuming that three corresponding image points are known. While robust, such methods suffer from computational inefficiencies for general feature sets. We describe a method whereby the feature sets may be summarized using the Stable Bounded Canonical Set (SBCS), thus
Approximation of canonical sets and their application to 2D view simplification
 IN IEEE CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION
, 2004
"... Given a set of patterns and a similarity measure between them, we will present an optimization framework to approximate a small subset, known as a canonical set, whose members closely resemble the members of the original set. We will present a combinatorial formulation of the canonical set problem i ..."
Abstract

Cited by 13 (5 self)
 Add to MetaCart
Given a set of patterns and a similarity measure between them, we will present an optimization framework to approximate a small subset, known as a canonical set, whose members closely resemble the members of the original set. We will present a combinatorial formulation of the canonical set problem
Combining Different Types of Scale Space Interest Points Using Canonical Sets
, 2007
"... Scale space interest points capture important photometric and deep structure information of an image. The information content of such points can be made explicit using image reconstruction. In this paper we will consider the problem of combining multiple types of interest points used for image rec ..."
Abstract
 Add to MetaCart
reconstruction. It is shown that ordering the complete set of points by differential (quadratic) TVnorm (which works for single feature types) does not yield optimal results for combined point sets. The paper presents a method to solve this problem using canonical sets of scale space features. Qualitative
Ricci Flow with Surgery on ThreeManifolds
"... This is a technical paper, which is a continuation of [I]. Here we verify most of the assertions, made in [I, §13]; the exceptions are (1) the statement that a 3manifold which collapses with local lower bound for sectional curvature is a graph manifold this is deferred to a separate paper, as the ..."
Abstract

Cited by 448 (2 self)
 Add to MetaCart
was considered by Hamilton [H 5,§4,5]; unfortunately, his argument, as written, contains an unjustified statement (RMAX = Γ, on page 62, lines 710 from the bottom), which I was unable to fix. Our approach is somewhat different, and is aimed at eventually constructing a canonical Ricci flow, defined on a largest
Extracting the Canonical Set of Closed Contours Using the BestFirst Search Algorithm
"... We address the problem of finding an intermediatelevel representation of structured objects based on the output of an edge detector. The adopted approach for grouping edge elements is based on three principles of perceptual organization: proximity, continuation and closure. We are interested in a sp ..."
Abstract
 Add to MetaCart
special subset of all closed contours in the image which is called canonical since it exhibits the desired properties of completeness, uniqueness, and minimality. Unfortunately, the elements of edge maps are often discontinuous where a single contour is perceived and vice versa, which imposes the need
Frequent Subgraph Discovery
, 2001
"... Over the years, frequent itemset discovery algorithms have been used to solve various interesting problems. As data mining techniques are being increasingly applied to nontraditional domains, existing approaches for finding frequent itemsets cannot be used as they cannot model the requirement of th ..."
Abstract

Cited by 406 (10 self)
 Add to MetaCart
transactions and it is able to discover frequent subgraphs from a set of graph transactions reasonably fast, even though we have to deal with computationally hard problems such as canonical labeling of graphs and subgraph isomorphism which are not necessary for traditional frequent itemset discovery.
A CONSTRUCTION OF TWO DISTINCT CANONICAL SETS OF LIFTS OF BRAUER CHARACTERS OF A pSOLVABLE GROUP
, 2006
"... Abstract. In [5], Navarro defines the set Irr(G  Q, δ) ⊆ Irr(G), where Q is a psubgroup of a psolvable group G, and shows that if δ is the trivial character of Q, then Irr(G  Q, δ) provides a set of canonical lifts of IBrp(G), the irreducible Brauer characters with vertex Q. Previously, in [2], ..."
Abstract

Cited by 4 (4 self)
 Add to MetaCart
Abstract. In [5], Navarro defines the set Irr(G  Q, δ) ⊆ Irr(G), where Q is a psubgroup of a psolvable group G, and shows that if δ is the trivial character of Q, then Irr(G  Q, δ) provides a set of canonical lifts of IBrp(G), the irreducible Brauer characters with vertex Q. Previously, in [2
Instrumental Variables and the Search for Identification: From Supply and Demand to Natural Experiments
 Journal of Economic Perspectives
, 2001
"... The method of instrumental variables is a signature technique in the econometrics toolkit. The canonical example, and earliest applications, of instrumental variables involved attempts to estimate demand and supply curves. 1 Economists such as P.G. Wright, Henry Schultz, Elmer Working and Ragnar Fri ..."
Abstract

Cited by 379 (3 self)
 Add to MetaCart
The method of instrumental variables is a signature technique in the econometrics toolkit. The canonical example, and earliest applications, of instrumental variables involved attempts to estimate demand and supply curves. 1 Economists such as P.G. Wright, Henry Schultz, Elmer Working and Ragnar
Nonholonomic motion planning: Steering using sinusoids
 IEEE fins. Auto. Control
, 1993
"... AbstractIn this paper, we investigate methods for steering systems with nonholonomic constraints between arbitrary configurations. Early work by Brockett derives the optimal controls for a set of canonical systems in which the tangent space to the configuration manifold is spanned by the input vec ..."
Abstract

Cited by 363 (15 self)
 Add to MetaCart
AbstractIn this paper, we investigate methods for steering systems with nonholonomic constraints between arbitrary configurations. Early work by Brockett derives the optimal controls for a set of canonical systems in which the tangent space to the configuration manifold is spanned by the input
Results 1  10
of
4,296