135 search results - page 24 / 27 » A Distributed Algorithm to Evaluate Quantified Boolean Formu... |
ICNP
2006
IEEE
15 years 5 months ago
2006
IEEE
— The BitTorrent (BT) file sharing protocol is popular due to its scalability property and the incentive mechanism to reduce free-riding. However, in designing such P2P file sh...
102
click to vote
MCS
2007
Springer
14 years 11 months ago
2007
Springer
Mesh generation is a critical step in high fidelity computational simulations. High-quality and high-density meshes are required to accurately capture the complex physical phenome...
123
Voted
WSC
2008
15 years 1 months ago
2008
Staffing and scheduling optimization in large multiskill call centers is time-consuming, mainly because it requires lengthy simulations to evaluate performance measures and their ...
108
Voted
DAC
2003
ACM
16 years 1 days ago
2003
ACM
We present an algorithm that checks behavioral consistency between an ANSI-C program and a circuit given in Verilog using Bounded Model Checking. Both the circuit and the program ...
107
click to vote
ATAL
2008
Springer
15 years 1 months ago
2008
Springer
In this paper, we investigate multi-agent learning (MAL) in a multi-agent resource selection problem (MARS) in which a large group of agents are competing for common resources. Si...