77 search results - page 7 / 16 » Clustering Validity Checking Methods: Part II |
82
Voted
ICRA
2009
IEEE
15 years 4 months ago
2009
IEEE
— In this paper we present a method for fast surface reconstruction from large noisy datasets. Given an unorganized 3D point cloud, our algorithm recreates the underlying surface...
ICIP
2010
IEEE
14 years 7 months ago
2010
IEEE
Copy-move forgeries are parts of the image that are duplicated elsewhere into the same image, often after being modified by geometrical transformations. In this paper we present a...
88
Voted
CAV
2009
Springer
15 years 10 months ago
2009
Springer
We provide a verification technique for a class of programs working on integer arrays of finite, but not a priori bounded length. We use the logic of integer arrays SIL [13] to spe...
100
click to vote
FMICS
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Bounded model checking (BMC) based on satisfiability testing (SAT) has been introduced as a complementary technique to BDDbased symbolic model checking of LTL properties ...
AIIDE
2008
14 years 12 months ago
2008
We present a domain independent off-line adaptation technique called Stochastic Plan Optimization for finding and improving plans in real-time strategy games. Our method is based ...