2084 search results - page 322 / 417 » Set Constraints in Logic Programming |
ESOP
2007
Springer
14 years 8 hour ago
2007
Springer
Abstract. General refinement types allow types to be refined by predicates written in a general-purpose programming language, and can express function pre- and postconditions and d...
IJCAI
1993
13 years 9 months ago
1993
We have written a prototype computer program called TrenDx for automated trend detection during process monitoring. The program uses a representation called trend templates that d...
SIAMJO
2000
13 years 7 months ago
2000
Abstract. Despite the efficiency shown by interior-point methods in large-scale linear programming, they usually perform poorly when applied to multicommodity flow problems. The ne...
ICALP
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. Tile sets and tilings of the plane appear in many topics ranging from logic (the Entscheidungsproblem) to physics (quasicrystals). The idea is to enforce some global prop...
VTS
2003
IEEE
14 years 1 months ago
2003
IEEE
Irreversible computation necessarily results in energy dissipation due to information loss. While small in comparison to the power consumption of today’s VLSI circuits, if curre...