14084 search results - page 218 / 2817 » A Theory for Game Theories |
170
click to vote
ECSCW
2011
14 years 6 months ago
2011
There are many theories useful for framing CSCW research and they may in principle be irreducible to a single theory. CSCW research explores questions involving numerous distinctâ€...
192
click to vote
Lecture Notes
These notes cover several topics such as Interest Rate Calculations, More Details on Bond Conventions, Bond Portfolios, Basic Option Pricing, The Binomial Option Pricing Model, The...
175
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
Design and verification of systems at the Register-Transfer (RT) or behavioral level require the ability to reason at higher levels of abstraction. Difference logic consists of an...
308
click to vote
ICLP
2009
Springer
16 years 7 months ago
2009
Springer
Over the years, the stable-model semantics has gained a position of the correct (two-valued) interpretation of default negation in programs. However, for programs with aggregates (...
165
click to vote
ICFP
2002
ACM
16 years 6 months ago
2002
ACM
We present the type theory LTT, intended to form a basis for typed target languages, providing an internal notion of logical proposition and proof. The inclusion of explicit proof...