Sciweavers

893 search results - page 93 / 179
» Analysis of new variable selection methods for discriminant ...
Sort
View
156
Voted
CVPR
2009
IEEE
16 years 7 months ago
Shape Analysis with Conformal Invariants for Multiply Connected Domains and its Application to Analyzing Brain Morphology
All surfaces can be classified by the conformal equivalence relation. Conformal invariants, which are shape indices that can be defined intrinsically on a surface, may be used t...
Paul M. Thompson, Tony F. Chan, Xianfeng Gu, Yalin...
134
Voted
FMCAD
2000
Springer
15 years 4 months ago
SAT-Based Image Computation with Application in Reachability Analysis
Image computation nds wide application in VLSI CAD, such as state reachability analysis in formal veri cation and synthesis, combinational veri cation, combinational and sequential...
Aarti Gupta, Zijiang Yang, Pranav Ashar, Anubhav G...
87
Voted
VMV
2003
237views Visualization» more  VMV 2003»
15 years 2 months ago
Image Cube Trajectory Analysis for 3D Reconstruction of Concentric Mosaics
We present a new concept for the extension of epipolar image analysis to more general camera configurations like circular camera movements usually occuring for concentric mosaic ...
Ingo Feldmann, Peter Kauff, Peter Eisert
MOC
2010
14 years 7 months ago
A direct coupling of local discontinuous Galerkin and boundary element methods
The coupling of local discontinuous Galerkin (LDG) and boundary element methods (BEM), which has been developed recently to solve linear and nonlinear exterior transmission proble...
Gabriel N. Gatica, Norbert Heuer, Francisco-Javier...
126
Voted
SAT
2005
Springer
107views Hardware» more  SAT 2005»
15 years 6 months ago
Local and Global Complete Solution Learning Methods for QBF
Solvers for Quantified Boolean Formulae (QBF) use many analogues of technique from SAT. A significant amount of work has gone into extending conflict based techniques such as co...
Ian P. Gent, Andrew G. D. Rowley