675 search results - page 94 / 135 » A parallel search algorithm for CLNS addition optimization |
99
Voted
CADE
2006
Springer
16 years 1 months ago
2006
Springer
Abstract. Verification by network invariants is a heuristic to solve uniform verification of parameterized systems. Given a system P, a network invariant for P is that abstracts th...
96
Voted
CORR
2011
Springer
14 years 4 months ago
2011
Springer
Searching for optimal ways in a network is an important task in multiple application areas such as social networks, co-citation graphs or road networks. In the majority of applicat...
104
Voted
ICRA
2007
IEEE
15 years 7 months ago
2007
IEEE
— This paper presents the ResolveSpatialConstraints (RSC) algorithm for manipulation planning in a domain with movable obstacles. Empirically we show that our algorithm quickly g...
106
click to vote
TKDE
2002
15 years 12 days ago
2002
In this paper, we have developed a HiTi (Hierarchical MulTi) graph model for structuring large topographical road maps to the minimum cost route computation. The HiTi graph model p...
100
Voted
PPSN
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. We present and analyse the behaviour of specialised operators designed for cooperative coevolution strategy in the framework of 3D tomographic PET reconstruction. The bas...