1053 search results - page 21 / 211 » On k-Path Covers and their applications |
SE
2007
13 years 10 months ago
2007
: This paper is a tutorial on the principles and applications of static tion by Abstract Interpretation to development, verification and validation ded applications. The topics cov...
CVPR
2010
IEEE
13 years 11 months ago
2010
IEEE
The primary and novel contribution of this work is the conjecture that large collections of georeferenced photo collections can be used to derive maps of what-is-where on the surf...
AMAI
2000
Springer
14 years 13 days ago
2000
Springer
This paper proposes new algorithms for the Binate Covering Problem (BCP), a well-known restriction of Boolean Optimization. Binate Covering finds application in many areas of Comp...
IGARSS
2009
13 years 6 months ago
2009
Karst rocky desertification is a special kind of land desertification developed under violent human impacts on the vulnerable eco-geo-environment of karst ecosystem. The fractiona...
AUSAI
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Ant Colony Optimization (ACO) is a collection of metaheuristics inspired by foraging in ant colonies, whose aim is to solve combinatorial optimization problems. We identi...