Sciweavers

1018 search results - page 99 / 204
» Property Testing in Computational Geometry
Sort
View
RC
2007
60views more  RC 2007»
13 years 9 months ago
Linear Systems with Large Uncertainties, with Applications to Truss Structures
Linear systems whose coefficients have large uncertainties arise routinely in finite element calculations for structures with uncertain geometry, material properties, or loads. Ho...
Arnold Neumaier, Andrzej Pownuk
CVPR
2011
IEEE
13 years 1 months ago
Symmetric Piecewise Planar Object Reconstruction from a Single Image
Recovering 3D geometry from a single view of an object is an important and challenging problem in computer vision. Previous methods mainly focus on one specific class of objects ...
Tianfan XUE, Jianzhuang LIU
TEC
2002
128views more  TEC 2002»
13 years 9 months ago
A framework for evolutionary optimization with approximate fitness functions
It is not unusual that an approximate model is needed for fitness evaluation in evolutionary computation. In this case, the convergence properties of the evolutionary algorithm are...
Yaochu Jin, Markus Olhofer, Bernhard Sendhoff
CAV
2004
Springer
202views Hardware» more  CAV 2004»
14 years 3 months ago
Statistical Model Checking of Black-Box Probabilistic Systems
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
Koushik Sen, Mahesh Viswanathan, Gul Agha
SIGGRAPH
1996
ACM
14 years 2 months ago
A Volumetric Method for Building Complex Models from Range Images
A number of techniques have been developed for reconstructing surfaces by integrating groups of aligned range images. A desirable set of properties for such algorithms includes: i...
Brian Curless, Marc Levoy