Sciweavers

1566 search results - page 76 / 314
» On a Cone Covering Problem
Sort
View
ICSE
2012
IEEE-ACM
13 years 8 months ago
Industrial application of concolic testing approach: A case study on libexif by using CREST-BV and KLEE
—As smartphones become popular, manufacturers such as Samsung Electronics are developing smartphones with rich functionality such as a camera and photo editing quickly, which acc...
Yunho Kim, Moonzoo Kim, Young Joo Kim, Yoonkyu Jan...
AAAI
2008
15 years 8 months ago
Relaxed Survey Propagation: A Sum-Product Algorithm for Max-SAT
The survey propagation (SP) algorithm has been shown to work well on large instances of the random 3-SAT problem near its phase transition. It was shown that SP estimates marginal...
Hai Leong Chieu, Wee Sun Lee
WWW
2007
ACM
16 years 6 months ago
Efficient training on biased minimax probability machine for imbalanced text classification
The Biased Minimax Probability Machine (BMPM) constructs a classifier which deals with the imbalanced learning tasks. In this paper, we propose a Second Order Cone Programming (SO...
Xiang Peng, Irwin King
ACCV
2006
Springer
16 years 5 days ago
On Using Silhouettes for Camera Calibration
This paper addresses the problem of camera calibration using object silhouettes in image sequences. It is known that silhouettes encode information on camera parameters by the fact...
Edmond Boyer
SMI
2003
IEEE
142views Image Analysis» more  SMI 2003»
15 years 11 months ago
Approximate Congruence Detection of Model Features for Reverse Engineering
Reverse engineering allows the geometric reconstruction of simple mechanical parts. However, the resulting models suffer from inaccuracies caused by errors in measurement and reco...
C. H. Gao, Frank C. Langbein, A. David Marshall, R...