Sciweavers

5205 search results - page 359 / 1041
» Tilings and model theory
Sort
View
ALIFE
2002
15 years 6 months ago
"Artificial Societies" and the Social Sciences
nized according to abstract classificatory principles..."5 Adorno's point was that 1 Adorno, T.W., Dahrendorf, R., Pilot, H., Albert, H., Habermas, J. and Popper, K.:The ...
J. Stephen Lansing
TCS
2010
15 years 5 months ago
Alternating states for dual nondeterminism in imperative programming
The refinement calculus of Back, Morgan, Morris, and others is based on monotone predicate transformers (weakest preconditions) where conjunctions stand for demonic choices betwee...
Wim H. Hesselink
IFIP
2010
Springer
15 years 1 months ago
Reasoning about Probabilistic Security Using Task-PIOAs
Abstract. Task-structured probabilistic input/output automata (taskPIOAs) are concurrent probabilistic automata that, among other things, have been used to provide a formal framewo...
Aaron D. Jaggard, Catherine Meadows, Michael Mislo...
SIGIR
2011
ACM
14 years 9 months ago
The interactive PRP for diversifying document rankings
The assumptions underlying the Probability Ranking Principle (PRP) have led to a number of alternative approaches that cater or compensate for the PRP’s limitations. In this pos...
Guido Zuccon, Leif Azzopardi, C. J. van Rijsbergen
SIGECOM
2006
ACM
139views ECommerce» more  SIGECOM 2006»
16 years 24 days ago
Playing games in many possible worlds
In traditional game theory, players are typically endowed with exogenously given knowledge of the structure of the game—either full omniscient knowledge or partial but fixed in...
Matt Lepinski, David Liben-Nowell, Seth Gilbert, A...