Results 1  10
of
47,093
Existence of minimal models for varieties of log general type
 J. AMER. MATH. SOC
, 2008
"... We prove that the canonical ring of a smooth projective variety is finitely generated. ..."
Abstract

Cited by 380 (37 self)
 Add to MetaCart
We prove that the canonical ring of a smooth projective variety is finitely generated.
Training Products of Experts by Minimizing Contrastive Divergence
, 2002
"... It is possible to combine multiple latentvariable models of the same data by multiplying their probability distributions together and then renormalizing. This way of combining individual “expert ” models makes it hard to generate samples from the combined model but easy to infer the values of the l ..."
Abstract

Cited by 850 (75 self)
 Add to MetaCart
It is possible to combine multiple latentvariable models of the same data by multiplying their probability distributions together and then renormalizing. This way of combining individual “expert ” models makes it hard to generate samples from the combined model but easy to infer the values
Logarithmic minimal models
"... Working in the dense loop representation, we use the planar TemperleyLieb algebra to build integrable lattice models called logarithmic minimal models LM(p,p ′). Specifically, we construct YangBaxter integrable TemperleyLieb models on the strip acting on link states and consider their associated ..."
Abstract

Cited by 88 (25 self)
 Add to MetaCart
Working in the dense loop representation, we use the planar TemperleyLieb algebra to build integrable lattice models called logarithmic minimal models LM(p,p ′). Specifically, we construct YangBaxter integrable TemperleyLieb models on the strip acting on link states and consider their associated
Snakes: Active contour models
 INTERNATIONAL JOURNAL OF COMPUTER VISION
, 1988
"... A snake is an energyminimizing spline guided by external constraint forces and influenced by image forces that pull it toward features such as lines and edges. Snakes are active contour models: they lock onto nearby edges, localizing them accurately. Scalespace continuation can be used to enlarge ..."
Abstract

Cited by 3951 (17 self)
 Add to MetaCart
A snake is an energyminimizing spline guided by external constraint forces and influenced by image forces that pull it toward features such as lines and edges. Snakes are active contour models: they lock onto nearby edges, localizing them accurately. Scalespace continuation can be used to enlarge
On active contour models and balloons
 CVGIP: Image
"... The use.of energyminimizing curves, known as “snakes, ” to extract features of interest in images has been introduced by Kass, Witkhr & Terzopoulos (Znt. J. Comput. Vision 1, 1987,321331). We present a model of deformation which solves some of the problems encountered with the original method. ..."
Abstract

Cited by 588 (43 self)
 Add to MetaCart
The use.of energyminimizing curves, known as “snakes, ” to extract features of interest in images has been introduced by Kass, Witkhr & Terzopoulos (Znt. J. Comput. Vision 1, 1987,321331). We present a model of deformation which solves some of the problems encountered with the original method
Symbolic Model Checking without BDDs
, 1999
"... Symbolic Model Checking [3, 14] has proven to be a powerful technique for the verification of reactive systems. BDDs [2] have traditionally been used as a symbolic representation of the system. In this paper we show how boolean decision procedures, like Stalmarck's Method [16] or the Davis ..."
Abstract

Cited by 917 (75 self)
 Add to MetaCart
& Putnam Procedure [7], can replace BDDs. This new technique avoids the space blow up of BDDs, generates counterexamples much faster, and sometimes speeds up the verification. In addition, it produces counterexamples of minimal length. We introduce a bounded model checking procedure for LTL
A scheduling model for reduced CPU energy
 ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE
, 1995
"... The energy usage of computer systems is becoming an important consideration, especially for batteryoperated systems. Various methods for reducing energy consumption have been investigated, both at the circuit level and at the operating systems level. In this paper, we propose a simple model of job s ..."
Abstract

Cited by 558 (3 self)
 Add to MetaCart
scheduling aimed at capturing some key aspects of energy minimization. In this model, each job is to be executed between its arrival time and deadline by a single processor with variable speed, under the assumption that energy usage per unit time, P, is a convex function of the processor speed s. We give
On existence of log minimal models
"... Abstract. In this paper, we prove that the log minimal model program in dimension d − 1 implies the existence of log minimal models for effective lc pairs (eg of nonnegative Kodaira dimension) in dimension d. In fact, we prove that the same conclusion follows from a weaker assumption, namely, the lo ..."
Abstract

Cited by 25 (10 self)
 Add to MetaCart
Abstract. In this paper, we prove that the log minimal model program in dimension d − 1 implies the existence of log minimal models for effective lc pairs (eg of nonnegative Kodaira dimension) in dimension d. In fact, we prove that the same conclusion follows from a weaker assumption, namely
Regression Shrinkage and Selection Via the Lasso
 JOURNAL OF THE ROYAL STATISTICAL SOCIETY, SERIES B
, 1994
"... We propose a new method for estimation in linear models. The "lasso" minimizes the residual sum of squares subject to the sum of the absolute value of the coefficients being less than a constant. Because of the nature of this constraint it tends to produce some coefficients that are exactl ..."
Abstract

Cited by 4212 (49 self)
 Add to MetaCart
We propose a new method for estimation in linear models. The "lasso" minimizes the residual sum of squares subject to the sum of the absolute value of the coefficients being less than a constant. Because of the nature of this constraint it tends to produce some coefficients
Results 1  10
of
47,093