1333 search results - page 11 / 267 » Termination Detection of Local Computations |
GMP
2006
IEEE
14 years 2 months ago
2006
IEEE
Abstract. The need for robust solutions for sets of non-linear multivariate constraints or equations needs no motivation. Subdivision-based multivariate constraint solvers [1–3] ...
KR
2010
Springer
14 years 1 months ago
2010
Springer
This is a case-study in knowledge representation. We analyze the ‘one hundred prisoners and a lightbulb’ puzzle. In this puzzle it is relevant what the agents (prisoners) know...
E2EMON
2006
IEEE
14 years 2 months ago
2006
IEEE
—Active probing is an active network monitoring technique that has potential for developing effective solutions for fault localization. In this paper we use active probing to pre...
ECAL
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. We quantify the local information dynamics at each spatiotemporal point in a complex system in terms of each element of computation: information storage, transfer and mod...
ICPR
2002
IEEE
14 years 9 months ago
2002
IEEE