1615 search results - page 87 / 323 » Distributed Forward Checking |
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
There is an increasing number of agent-oriented programming languages that have working interpreters and platforms, with significant progress in the quality of such platforms over...
IPMI
2005
Springer
14 years 8 months ago
2005
Springer
Abstract. This paper presents a new approach to inverse consistent image registration. A uni-directional algorithm is developed using symmetric cost functionals and regularizers. I...
ICRA
2005
IEEE
14 years 1 months ago
2005
IEEE
— The self-propelled swimming performance of two prototypes designed to mimic the kinematics of real fish swimming at high Reynolds numbers is presented. The design methodology ...
SIAMSC
2010
13 years 6 months ago
2010
Frequently, the computation of derivatives for optimizing time-dependent problems is based on the integration of the adjoint differential equation. For this purpose, the knowledge...
SSS
2007
Springer
14 years 1 months ago
2007
Springer
In this paper, we concentrate on distributed algorithms for automated synthesis of fault-tolerant programs in the high atomicity model, where all processes can read and write all p...