6456 search results - page 122 / 1292 » Constraint Solving on Terms |
181
click to vote
IWCMC
2006
ACM
16 years 7 days ago
2006
ACM
This paper presents a neural network model for routing in the space segment of a Satellite Personal Communication System. At first, a proper energy function is constructed from th...
169
click to vote
CCS
2005
ACM
15 years 11 months ago
2005
ACM
We provide an effective procedure for deciding the existence of off-line guessing attacks on security protocols, for a bounded number of sessions. The procedure consists of a co...
209
click to vote
ICCS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Replication of content on geographically distributed servers can improve both performance and reliability of the Web service. Anycast is a one-toone-of-many delivery tech...
163
click to vote
ICTAI
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper presents a simple ¢¤£¦¥¨§© Evolution Strategy and three simple selection criteria to solve engineering optimization problems. This approach avoids the use of a...
184
click to vote
MFCS
2001
Springer
15 years 10 months ago
2001
Springer
Combinatorial games lead to several interesting, clean problems in algorithms and complexity theory, many of which remain open. The purpose of this paper is to provide an overview...