Sciweavers

893 search results - page 93 / 179
» Analysis of new variable selection methods for discriminant ...
Sort
View
CVPR
2009
IEEE
15 years 4 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...
FMCAD
2000
Springer
14 years 15 days 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...
VMV
2003
237views Visualization» more  VMV 2003»
13 years 10 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
13 years 3 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...
SAT
2005
Springer
107views Hardware» more  SAT 2005»
14 years 2 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