14084 search results - page 238 / 2817 » A Theory for Game Theories |
197
click to vote
CNSR
2007
IEEE
16 years 1 months ago
2007
IEEE
The theory of natural movement is fundamental to space syntax: a set of theories and methods developed in the late 1970s that seeks, at a general level, to reveal the mutual effec...
161
click to vote
ATAL
2005
Springer
16 years 5 days ago
2005
Springer
a growing need to study abstract problems in distributed multi-agent systems in a systematic way, as well as to provide a qualitative mathematical framework in which to compare po...
155
Voted
CIE
2005
Springer
16 years 5 days ago
2005
Springer
In this work we focus on a formalisation of the algorithms of lazy exact arithmetic `a la Potts and Edalat [1]. We choose the constructive type theory as our formal verification t...
194
click to vote
IWQOS
2004
Springer
16 years 5 hour ago
2004
Springer
— Quality of Service (QoS) is an area with high academic curiosity. Our long-term goal is to develop a unified mathematical model. This paper is a first step towards this ambit...
193
click to vote
MFCS
2004
Springer
16 years 2 hour ago
2004
Springer
Abstract. Bidimensionality provides a tool for developing subexponential fixed-parameter algorithms for combinatorial optimization problems on graph families that exclude a minor....