3317 search results - page 185 / 664 » Strategies in Rigid-Variable Methods |
210
click to vote
CSFW
2005
IEEE
16 years 4 days ago
2005
IEEE
We develop a general method for proving properties of contract-signing protocols using a specialized protocol logic. The method is applied to the Asokan-ShoupWaidner and the Garay...
145
click to vote
ATAL
2005
Springer
16 years 2 days ago
2005
Springer
This paper presents an agent strategy for complex bilateral negotiations over many issues with inter-dependent valuations. We use ideas inspired by graph theory and probabilistic ...
153
click to vote
GECCO
2005
Springer
16 years 1 days ago
2005
Springer
This paper presents a kernel density estimation method by means of real-coded crossovers. Estimation of density algorithms (EDAs) are evolutionary optimization techniques, which d...
203
click to vote
IDEAL
2004
Springer
15 years 12 months ago
2004
Springer
Recommender systems are widely used to cope with the problem of information overload and, consequently, many recommendation methods have been developed. However, no one technique i...
159
click to vote
PADS
2003
ACM
15 years 11 months ago
2003
ACM
In simulating large-scale networks, due to the limitation of available resources on computers, the size of the networks and the scale of simulation scenarios are often restricted....