2 citations found. Retrieving documents...
Maloney, J. H., Borning, A. & Freman-Benson, B. N. Comstraint technology for user-interface construction in thinglabII, in Proceedings of the ACM Conference on Objet-Oriented-Programing Systems Languages and Applications, pp 381-388, Oct . 1989.

 Home/Search   Document Not in Database   Summary   Related Articles   Check  

This paper is cited in the following contexts:
Houria II: A Solver For Hierarchical Constraint Systems.. - Bouzoubaa, Neveu, Hasle (1995)   (1 citation)  (Correct)

....S = q: q S 0 h S 0 better C (h, q) Many alternative definitions for comparators are given in [1, 2, 4] better is irreflexive and transitive. However, better will not provide a total ordering, so, there may exist q and h in S such that better C (h, q) and better C (q, h) In [1, 6, 7, 4] several different comparators are defined. The error function e is used. This error function returns a non negative real number indicating how nearly constraint c is satisfied for a valuation q. This function has the property that e(cq) 0 if and only if Sat(q, c) For any domain D, the trivial ....

Maloney, J. H., Borning, A. & Freman-Benson, B. N. Comstraint technology for user-interface construction in thinglabII, in Proceedings of the ACM Conference on Objet-Oriented-Programing Systems Languages and Applications, pp 381-388, Oct . 1989.


Houria III: A Solver For Hierarchical Systems Of.. - Bouzoubaa, Neveu, Hasle   (Correct)

....)g and S = f : 2 S 0 8j 2 S 0 :better C (j; g Many alternative definitions for comparators are given in [11, 12, 4] better is irreflexive and transitive. However, better will not provide a total ordering, so, there may exist and j in S such that :better C ( j) and :better C (j; In [11, 13, 8, 4] several different comparators are defined. The error function e(c ) is used. This error function returns a non negative real number indicating how nearly constraint c is satisfied for a valuation . This function has the property that e(c ) 0 if and only if Sat( c) For any domain D, the ....

J. H. Maloney, A. Borning, and B. Freman-Benson. Comstraint technology for user-interface construction in thinglabii. In ACM Conference on Objet-OrientedPrograming Systems Languages and Applications, pages 381--388, April 1989.

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