14084 search results - page 267 / 2817 » A Theory for Game Theories |
287
click to vote
ICFP
2009
ACM
16 years 7 months ago
2009
ACM
A number of important program rewriting scenarios can be recast as type-directed coercion insertion. These range from more theoretical applications such as coercive subtyping and ...
293
click to vote
POPL
2008
ACM
16 years 7 months ago
2008
ACM
Contracts are behavioural descriptions of Web services. We devise a theory of contracts that formalises the compatibility of a client to a service, and the safe replacement of a s...
190
click to vote
ICIAP
2005
ACM
16 years 6 months ago
2005
ACM
This paper presents a system for classifying facial expressions based on a data fusion process relying on the Belief Theory (BeT). Four expressions are considered: joy, surprise, d...
155
click to vote
DCC
2006
IEEE
16 years 6 months ago
2006
IEEE
This paper considers the development of a general framework for the analysis of transmit beamforming methods in multiple antenna systems with finite-rate feedback. Inspired by the...
163
click to vote
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. This paper considers the probabilistic may/must testing theory for processes having external, internal, and probabilistic choices. We observe that the underlying testing ...