2705 search results - page 305 / 541 » Formal Ontology for Subject |
97
Voted
ICFP
2004
ACM
16 years 22 days ago
2004
ACM
It is possible to extend the basic notion of "function call" to allow functions to have multiple return points. This turns out to be a surprisingly useful mechanism. Thi...
83
Voted
AOSD
2010
ACM
15 years 7 months ago
2010
ACM
Statically typed aspect-oriented programming languages restrict application of around advice only to the join points that have conforming types. Though the restriction guarantees ...
102
Voted
PLDI
2009
ACM
15 years 7 months ago
2009
ACM
In this paper, we initiate a formal study of security on Android: Google’s new open-source platform for mobile devices. Specifically, we present a core typed language to descri...
ATAL
2009
Springer
15 years 7 months ago
2009
Springer
The paper proposes a unification of the two main frameworks commonly used for the analysis of collective decisionmaking: the framework of preference aggregation, developed from t...
107
click to vote
ATAL
2009
Springer
15 years 7 months ago
2009
Springer
This paper introduces a multiagent reinforcement learning algorithm that converges with a given accuracy to stationary Nash equilibria in general-sum discounted stochastic games. ...