4099 search results - page 522 / 820 » A Framework for Interactive Proof |
183
click to vote
NIPS
1994
15 years 8 months ago
1994
Many real world learning problems are best characterized by an interaction of multiple independent causes or factors. Discovering such causal structure from the data is the focus ...
146
Voted
BIRTHDAY
2010
Springer
15 years 7 months ago
2010
Springer
Over the past two decades, Gurevich and his colleagues have developed axiomatic foundations for the notion of algorithm, be it classical, interactive, or parallel, and formalized t...
183
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. This paper puts forward a view on conditional commitments as causal rules, using action language K as the specification framework. The proposal builds upon an operational...
146
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract: This paper considers the problem of cooperative power control in distributed small cell wireless networks. We introduce a novel framework, based on repeated games, which ...
174
click to vote
CG
2006
Springer
15 years 6 months ago
2006
Springer
This paper presents a method to simulate the melting and flowing phenomena with different materials in multiple phases. In such a multiphase environment, solid objects are melted ...