2042 search results - page 91 / 409 » Variable Number of |
124
click to vote
CSCLP
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. We propose here a number of approaches to implement constraint propagation for arithmetic constraints on integer intervals. To this end we introduce integer interval arit...
119
click to vote
EPEW
2006
Springer
15 years 7 months ago
2006
Springer
We propose new techniques to simplify the computation of the cycle times and the absorption times for a large class of PEPA models. These techniques allow us to simplify the model ...
148
click to vote
AAAI
2008
15 years 6 months ago
2008
This paper investigates the impact of symbolic search for solving domain-independent action planning problems with binary decision diagrams (BDDs). Polynomial upper and exponential...
143
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: In current comparative proteomics studies, the large number of images generated by 2D gels is currently compared using spot matching algorithms. Unfortunately, differe...
131
click to vote
CCDS
2010
15 years 4 months ago
2010
A boolean function of n boolean variables is correlation-immune of order k if the function value is uncorrelated with the values of any k of the arguments. Such functions are of co...