6562 search results - page 111 / 1313 » Noetherianity and Combination Problems |
138
click to vote
IJCAI
2003
15 years 6 months ago
2003
We investigate interchangeability of values in CSPs, based on an approach where a single value in the domain of a variable can be treated as a combination of “sub-values”. An ...
137
click to vote
IPL
2006
15 years 4 months ago
2006
We present complexity results for the verification of security protocols. Since the perfect cryptography assumption is unrealistic for cryptographic primitives with visible algebr...
126
click to vote
KES
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. This work presents an analysis of the static Aging operator for different evolutionary algorithms: two immunological algorithms (OptIA and Clonalg), a standard genetic a...
118
click to vote
EOR
2002
15 years 4 months ago
2002
In this paper we propose five heuristic procedures for the solution of the multiple competitive facilities location problem. A franchise of several facilities is to be located in ...
140
click to vote
ICIP
2000
IEEE
16 years 6 months ago
2000
IEEE
There is often a trade-off between the accuracy and the speed of optical flow techniques. Given similar computational resources, this trade-off results in some techniques making i...