Sciweavers

4850 search results - page 361 / 970
» Proof and Computation in Geometry
Sort
View
COCOA
2010
Springer
15 years 4 months ago
Feasibility-Based Bounds Tightening via Fixed Points
Abstract. The search tree size of the spatial Branch-and-Bound algorithm for Mixed-Integer Nonlinear Programming depends on many factors, one of which is the width of the variable ...
Pietro Belotti, Sonia Cafieri, Jon Lee, Leo Libert...
BCB
2010
125views Bioinformatics» more  BCB 2010»
15 years 1 months ago
Protein structure alignment using elastic shape analysis
In this paper we present a method for flexible protein structure alignment based on elastic shape analysis of backbones, in a manner that can incorporate different characteristics...
Wei Liu, Anuj Srivastava, Jinfeng Zhang
COMPGEOM
2011
ACM
14 years 10 months ago
Zigzag persistent homology in matrix multiplication time
We present a new algorithm for computing zigzag persistent homology, an algebraic structure which encodes changes to homology groups of a simplicial complex over a sequence of sim...
Nikola Milosavljevic, Dmitriy Morozov, Primoz Skra...
ICCV
2001
IEEE
16 years 8 months ago
A Novel Modeling Algorithm for Shape Recovery of Unknown Topology
This paper presents a novel modeling algorithm that is capable of simultaneously recovering correct shape geometry as well as its unknown topology from arbitrarily complicated dat...
Ye Duan, Hong Qin
COMPGEOM
2003
ACM
16 years 2 days ago
Controlled perturbation for arrangements of circles
Given a collection C of circles in the plane, we wish to construct the arrangement A(C) (namely the subdivision of the plane into vertices, edges and faces induced by C) using fl...
Dan Halperin, Eran Leiserowitz