Sciweavers

710 search results - page 100 / 142
» Structural Descriptors for 3D Shapes
Sort
View
CAV
2007
Springer
104views Hardware» more  CAV 2007»
14 years 1 months ago
Revamping TVLA: Making Parametric Shape Analysis Competitive
Abstract. TVLA is a parametric framework for shape analysis that can be easily instantiated to create different kinds of analyzers for checking properties of programs that use link...
Igor Bogudlov, Tal Lev-Ami, Thomas W. Reps, Mooly ...
GECCO
2008
Springer
164views Optimization» more  GECCO 2008»
13 years 8 months ago
Genetic algorithms with local search optimization for protein structure prediction problem
This paper presents a new Genetic Algorithm for Protein Structure Prediction problem in both 2D and 3D hydrophobichydrophilic lattice models, introduced in [1]. Our algorithm evol...
Igor Berenboym, Mireille Avigal
CORR
2007
Springer
113views Education» more  CORR 2007»
13 years 7 months ago
Virtual screening with support vector machines and structure kernels
Support vector machines and kernel methods have recently gained considerable attention in chemoinformatics. They offer generally good performance for problems of supervised classi...
Pierre Mahé, Jean-Philippe Vert
CG
2011
Springer
12 years 11 months ago
IA*: An adjacency-based representation for non-manifold simplicial shapes in arbitrary dimensions
We propose a compact, dimension-independent data structure for manifold, non-manifold and non-regular simplicial complexes, that we call the Generalized Indexed Data structure wit...
David Canino, Leila De Floriani, Kenneth Weiss
ICPR
2006
IEEE
14 years 8 months ago
Automatic Hip Bone Segmentation Using Non-Rigid Registration
This paper presents a method for automatic segmentation of bone from volumetric computed tomography (CT) data. Due to osteoporosis, which degenerates the bone density and hence de...
Hans Knutsson, Johanna Pettersson, Magnus Borga