3395 search results - page 528 / 679 » Designs, Disputes and Strategies |
ARITH
1993
IEEE
14 years 1 months ago
1993
IEEE
This paper describes a logarithmic number system (LNS) arithmetic unit using a new methodfor polynomial interpolation in hardware. The use of an interleaved memory reduces storage...
AI
2007
Springer
14 years 1 months ago
2007
Springer
We have constructed a poker classification system which makes informed betting decisions based upon three defining features extracted while playing poker: hand value, risk, and agg...
ICALP
2010
Springer
14 years 1 months ago
2010
Springer
Energy parity games are infinite two-player turn-based games played on weighted graphs. The objective of the game combines a (qualitative) parity condition with the (quantitative)...
ATAL
2007
Springer
14 years 1 months ago
2007
Springer
In this paper, we present a new protocol to address multilateral multi-issue negotiation in a cooperative context. We consider complex dependencies between multiple issues by mode...
B
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...