Sciweavers

4426 search results - page 93 / 886
» Concurrent Constraint Programming
Sort
View
191
Voted
CSCLP
2004
Springer
16 years 19 days ago
A Note on Bilattices and Open Constraint Programming
Abstract. We propose to use bilattice as a constraint valuation structure in order to represent truth and belief at the same time. A bilattice is a set which owns two lattices orde...
Arnaud Lallouet
174
Voted
CPAIOR
2007
Springer
16 years 1 months ago
Modeling the Regular Constraint with Integer Programming
Many optimisation problems contain substructures involving constraints on sequences of decision variables. Such constraints can be very complex to express with mixed integer progra...
Marie-Claude Côté, Bernard Gendron, L...
PPDP
2001
Springer
15 years 11 months ago
Granularity of Constraint-Based Analysis for Java
Ì × Ô Ô ÖÔÖÓÔÓ× × ØÖ Ò× ÓÖÑ Ø ÓÒ¹ × ÔÔÖÓ ØÓ ¹ × Ò ÓÒ×ØÖ ÒØ¹ × Ò ÐÝ× × ÓÖ Â Ú Ø Ó Ö× Ö Ö ÒÙ¹ Ð Ö ØÝº ÁÒ Ø × Ô...
Byeong-Mo Chang, Jang-Wu Jo
PLDI
1998
ACM
15 years 11 months ago
Partial Online Cycle Elimination in Inclusion Constraint Graphs
Manuel Fähndrich, Jeffrey S. Foster, Zhendong...