8016 search results - page 1212 / 1604 » On the practical genetic algorithms |
173
click to vote
ICCAD
2003
IEEE
16 years 3 months ago
2003
IEEE
The application of general clock skew scheduling is practically limited due to the difficulties in implementing a wide spectrum of dedicated clock delays in a reliable manner. Th...
175
click to vote
PADL
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rule...
174
click to vote
CVPR
2010
IEEE
16 years 3 months ago
2010
IEEE
Surface registration is a fundamental step in the reconstruction of three-dimensional objects. This is typically a two step process where an initial coarse motion estimation is fo...
165
click to vote
CVPR
2010
IEEE
16 years 2 months ago
2010
IEEE
In this paper we consider the problem of outlier removal for large scale multiview reconstruction problems. An efficient and very popular method for this task is RANSAC. However, a...
183
click to vote
TACAS
2010
Springer
16 years 1 months ago
2010
Springer
Boolean satisfiability (SAT) and its extensions are becoming a core technology for the analysis of systems. The SAT-based approach divides into three steps: encoding, preprocessin...