5417 search results - page 714 / 1084 » Simulation Optimization: Methods and Applications |
163
click to vote
IFIP
2001
Springer
15 years 7 months ago
2001
Springer
— Semi-formal verification based on symbolic simulation offers a good compromise between formal model checking and numerical simulation. The generation of functional test vector...
125
click to vote
ECAI
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Computational Game Theory is a way to study and evaluate behaviors using game theory models, via agent-based computer simulations. One of the most known example of this a...
122
click to vote
LCN
2003
IEEE
15 years 8 months ago
2003
IEEE
Recently, IEEE 802.11 wireless networks have been widely deployed in public areas for mobile Internet services. In the public wireless LAN systems, paging function is necessary to...
127
click to vote
RAS
2006
15 years 2 months ago
2006
This paper proposes a mobile printer system (MPS) based on multi-robot cooperation. The system consists of multiple mobile robots, a wireless LAN system, a graphic user interface ...
137
click to vote
TCOM
2008
15 years 2 months ago
2008
Abstract--Incremental-redundancy hybrid automatic repeatrequest (IR-HARQ) schemes are proposed in several wireless standards for increased throughput-efficiency and greater reliabi...