1258 search results - page 95 / 252 » Architecture-driven Problem Decomposition |
ICPR
2008
IEEE
14 years 3 months ago
2008
IEEE
In this paper we use doubly stochastic matrices to establish a link between Birkhoff polytopes and heat kernels on graphs. Based on this analysis we construct a multi-dimensional ...
IROS
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract— Distributed reconfiguration is an important problem in multi-robot systems such as mobile sensor nets and metamorphic robot systems. In this work, we present a scalabl...
GECCO
1999
Springer
14 years 1 months ago
1999
Springer
Top-down or analytical provers based on the connection tableau calculus are rather powerful, yet have notable shortcomings regarding redundancy control. A well-known and successfu...
AISC
2006
Springer
14 years 26 days ago
2006
Springer
Abstract. We describe a method for managing large expressions in symbolic computations which combines a hierarchical representation with signature calculations. As a case study, th...
HPCN
2000
Springer
14 years 22 days ago
2000
Springer
A class of parallel incomplete factorization preconditionings for the solution of large linear systems is investigated. The approach may be regarded as a generalized domain decompo...