1948 search results - page 170 / 390 » Formalizing Mirror Theory |
155
click to vote
AAAI
1990
15 years 7 months ago
1990
Joint action by a team does not consist merely of simultaneous and coordinated individual actions; to act together, a team must be aware of and care about the status of the group ...
191
click to vote
GPCE
2008
Springer
15 years 7 months ago
2008
Springer
Building complex component-based software architectures can lead to subtle assemblage errors. In this paper, we introduce a typesystem-based approach to avoid message handling err...
165
click to vote
ENTCS
2006
15 years 6 months ago
2006
We present a formalization of a version of Abadi and Plotkin's logic for parametricity for a polymorphic dual intuitionistic / linear type theory with fixed points, and show,...
181
click to vote
TRS
2008
15 years 6 months ago
2008
An implicit assumption of many machine learning algorithms is that all attributes are of the same importance. An algorithm typically selects attributes based solely on their statis...
172
click to vote
AMAI
2004
Springer
15 years 6 months ago
2004
Springer
Sequential von Neumann-Morgernstern (VM) games are a very general formalism for representing multi-agent interactions and planning problems in a variety of types of environments. ...