Sciweavers

1776 search results - page 174 / 356
» Uncertain Linear Constraints
Sort
View
RTA
2010
Springer
15 years 9 months ago
Automated Confluence Proof by Decreasing Diagrams based on Rule-Labelling
Decreasing diagrams technique (van Oostrom, 1994) is a technique that can be widely applied to prove confluence of rewrite systems. To directly apply the decreasing diagrams techn...
Takahito Aoto
NIPS
2004
15 years 7 months ago
Mistake Bounds for Maximum Entropy Discrimination
We establish a mistake bound for an ensemble method for classification based on maximizing the entropy of voting weights subject to margin constraints. The bound is the same as a ...
Philip M. Long, Xinyu Wu
CGF
2007
97views more  CGF 2007»
15 years 6 months ago
Volume Preservation of Multiresolution Meshes
Geometric constraints have proved to be efficient for enhancing the realism of shape animation. The present paper addresses the computation and the preservation of the volume enc...
Basile Sauvage, Stefanie Hahmann, Georges-Pierre B...
TNN
2008
129views more  TNN 2008»
15 years 6 months ago
Data Visualization and Dimensionality Reduction Using Kernel Maps With a Reference Point
In this paper, a new kernel-based method for data visualization and dimensionality reduction is proposed. A reference point is considered corresponding to additional constraints ta...
Johan A. K. Suykens
COMPUTING
2004
115views more  COMPUTING 2004»
15 years 5 months ago
Length Preserving Multiresolution Editing of Curves
In this paper a method for multiresolution deformation of planar piecewise linear curves that preserves the curve length is presented. In a wavelet based multiresolution editing f...
Basile Sauvage, Stefanie Hahmann, Georges-Pierre B...