14084 search results - page 174 / 2817 » A Theory for Game Theories |
101
click to vote
JMIS
2010
15 years 1 months ago
2010
This paper presents Bounded Ideation Theory (BIT) to explain the relationship between the number-of-ideas and the number-of-good-ideas contributed during ideation. BIT posits that...
138
click to vote
CHI
2002
ACM
16 years 7 months ago
2002
ACM
Generative design theories are needed to b ridge the gaps between pure scientific knowledge, individual ("point") designs and systematic generation of viable design alte...
213
click to vote
FROCOS
2009
Springer
16 years 1 months ago
2009
Springer
Deduction modulo consists in applying the inference rules of a deductive system modulo a rewrite system over terms and formulæ. This is equivalent to proving within a so-called co...
187
click to vote
ISIPTA
2005
IEEE
16 years 22 days ago
2005
IEEE
Logic and probability theory have both a long history in science. They are mainly rooted in philosophy and mathematics, but are nowadays important tools in many other fields such...
196
click to vote
ICALP
2005
Springer
16 years 20 days ago
2005
Springer
Abstract. Most of the decision procedures for symbolic analysis of protocols are limited to a fixed set of algebraic operators associated with a fixed intruder theory. Examples o...