2082 search results - page 9 / 417 » Change Paths in Reasoning! |
EUROPAR
2009
Springer
13 years 5 months ago
2009
Springer
Unstructured overlay networks for peer-to-peer applications combined with stochastic algorithms for clustering and resource location are attractive due to low-maintenance costs and...
IEICET
2010
13 years 6 months ago
2010
ERSHOV
1999
Springer
13 years 11 months ago
1999
Springer
Abstract. The paper describes a problem of multi-agent path planning in environment with obstacles. Novel approach to multi-agent optimal path planning, using graph representation ...
LPAR
2010
Springer
13 years 6 months ago
2010
Springer
traction for Size-Change Termination
CADE
2007
Springer
14 years 7 months ago
2007
Springer
We develop a formalization of the Size-Change Principle in Isabelle/HOL and use it to construct formally certified termination proofs for recursive functions automatically.