7112 search results - page 53 / 1423 » Power in normative systems |
102
Voted
IGPL
2010
14 years 11 months ago
2010
Hegselmann and Krause have developed a simple yet powerful computational model for studying the opinion dynamics in societies of epistemically interacting truth-seeking agents. We...
84
Voted
IISWC
2006
IEEE
15 years 6 months ago
2006
IEEE
74
Voted
USENIX
1994
15 years 2 months ago
1994
89
Voted
CC
2006
Springer
15 years 25 days ago
2006
Springer
108
click to vote
CSL
2000
Springer
15 years 5 months ago
2000
Springer
This paper introduces a typed λ-calculus called λPower , a predicative reformulation of part of Cardelli’s power type system. Power types integrate subtyping into the typing t...