1683 search results - page 283 / 337 » Game Theory Basics |
142
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. STP is a decision procedure for the satisfiability of quantifier-free formulas in the theory of bit-vectors and arrays that has been optimized for large problems encoun...
204
click to vote
IWCLS
2007
Springer
15 years 10 months ago
2007
Springer
Learning Classifier Systems use evolutionary algorithms to facilitate rule- discovery, where rule fitness is traditionally payoff based and assigned under a sharing scheme. Most c...
142
click to vote
RSKT
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. A fundamental data modeling problem in geographical information systems and spatial database systems refers to an appropriate treatment of the vagueness or indeterminacy ...
156
click to vote
WADS
2007
Springer
15 years 10 months ago
2007
Springer
An approach for reducing the navigation effort for the users of a web site is to enhance its hyperlink structure with additional hotlinks. We address the task of adding at most on...
115
click to vote
HICSS
2006
IEEE
15 years 9 months ago
2006
IEEE
The future of mobile telephony is expected to rely on mobile services and the use of mobile services will be an integral part of the revenues to be generated by third generation m...