2976 search results - page 547 / 596 » On the bounded integer programming |
CSB
2005
IEEE
14 years 1 months ago
2005
IEEE
The availability of entire genome sequences, coupled with genome-wide studies of gene expression, offers promise for discovering new pathways along with their regulatory programs....
RTCSA
2005
IEEE
14 years 1 months ago
2005
IEEE
Garbage collection considerably increases programmer productivity and software quality. However, it is difficult to implement garbage collection both efficiently and suitably fo...
CP
2005
Springer
14 years 1 months ago
2005
Springer
The two most popular backtrack algorithms for solving Constraint Satisfaction Problems (CSPs) are Forward Checking (FC) and Maintaining Arc Consistency (MAC). MAC maintains full ar...
ICALP
2005
Springer
14 years 1 months ago
2005
Springer
The firing rule of Petri nets relies on a residuation operation for the commutative monoid of natural numbers. We identify a class of residuated commutative monoids, called Petri ...
ICALP
2005
Springer
14 years 1 months ago
2005
Springer
Given two rooted, ordered, and labeled trees P and T the tree inclusion problem is to determine if P can be obtained from T by deleting nodes in T. This problem has recently been r...