6599 search results - page 129 / 1320 » Towards a Theory of Information |
177
click to vote
CSL
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Girard’s Geometry of Interaction (GoI) develops a mathematical framework for modelling the dynamics of cut-elimination. We introduce a typed version of GoI, called Mult...
160
click to vote
FOIS
2006
15 years 7 months ago
2006
Abstract. A variety of disciplines and research areas have separately studied the notions of action, agents and agency, but no integrated and well-developed formal ontology for the...
146
click to vote
EUROSSC
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. In the domain of ubiquitous computing, the ability to identify the occurrence of situations is a core function of being ’contextaware’. Given the uncertain nature of ...
154
click to vote
CG
2008
Springer
15 years 8 months ago
2008
Springer
Since Chase and Simon presented their influential paper on perception in chess in 1973, the use of chunks has become the subject of a number of studies into the cognitive behavior ...
164
click to vote
AIMS
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. Traditional approaches to multipath routing ignore the economic incentives necessary in aligning both networks and users towards a common goal. While theory suggests cong...