F. Arbab and E. Monfroy. Coordination of Heterogeneous Distributed Cooperative Constraint Solving. ACM SIGAPP Applied Computing Review, 6(2):4--17, 1998. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Collaborative Constraint Functional Logic System in an.. - Kobayashi, Marin, Ida (2003) (Correct)
....repeat[seq[ aHOLN, aDeriv, aLinear ] NewCollaborative returns the entity collaborative. Finally, we apply the goal G to the collaborative aCollabo: Invoke collaborative ) ApplyCollaborative[aCollabo, and obtain the following solution. y ## ] k 2 Log[5] Log[3] The following transformation of goals took place during the solving process of the initial goal G. G # where exists[ h, T 1 , y ## #[ t , h[t] T 1 , #[ t , h # [t] #[ t , k h[t] h[0] 1, h[2] 3, h[T 1 ] 5, exists[ c, ....
.... where exists[ h, T 1 , y ## #[ t , h[t] T 1 , #[ t , h # [t] #[ t , k h[t] h[0] 1, h[2] 3, h[T 1 ] 5, exists[ c, k, T 1 , h ## T 1 , y c = 1, c e 2 k = 3, c e k T 1 = 5, c ## 1, T 1 2 Log[5] Log[3], k h ] y 2 Log[5] Log[3] Note that the collaborative operates on a list of goals and returns a list of goals and that can be obtained if we evaluate ApplyCollaborative[ NewCollaborative[aHOLN] G ] 3. Languages of Open CFLP From the example in the previous ....
[Article contains additional citation context not shown here]
F. Arbab and E. Monfroy, "Coordination of heterogeneous distributed cooperative constraint solving,", Applied Computing Review, SIGAPP. ACM, vol.6, pp.4--17, 1998.
Basic Components for Constraint Solver Cooperations - Monfroy, Castro (2003) Self-citation (Monfroy) (Correct)
No context found.
F. Arbab and E. Monfroy. Coordination of Heterogeneous Distributed Cooperative Constraint Solving. ACM SIGAPP Applied Computing Review, 6(2):4--17, 1998.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC