14084 search results - page 191 / 2817 » A Theory for Game Theories |
170
click to vote
DESRIST
2009
Springer
15 years 11 months ago
2009
Springer
Design science is slowly but surely establishing itself as a recognized paradigm for conducting research in information systems. Researchers in the IS field have tried to study d...
186
click to vote
CADE
2000
Springer
15 years 11 months ago
2000
Springer
We provide techniques to integrate resolution logic with equality in type theory. The results may be rendered as follows. − A clausification procedure in type theory, equipped w...
203
click to vote
AISC
2010
Springer
15 years 9 months ago
2010
Springer
A lot of mathematical knowledge has been formalized and stored in repositories by now: Different mathematical theorems and theories have been taken into consideration and included ...
135
click to vote
FLAIRS
2006
15 years 8 months ago
2006
This paper outlines a symbolic computational theory for recognizing variable spatial environments-The Theory of Cognitive Prism, (Dong 2005). This theory defines distance and orie...
158
click to vote
INTERACT
2003
15 years 8 months ago
2003
Abstract: This paper proposes a way to identify professional knowledge in a heterogeneous HCI (HumanComputer Interaction) community of usability professionals, designers and resear...