2742 search results - page 413 / 549 » Deriving Category Theory from Type Theory |
ICC
2009
IEEE
14 years 3 months ago
2009
IEEE
— In wireless local area networks (WLANs), quality of service (QoS) can be provided by mapping applications with different requirements (e.g., delay and throughput) into one of t...
ATAL
2009
Springer
14 years 3 months ago
2009
Springer
In hedonic games, players have the opportunity to form coalitions, and have preferences over the coalitions they might join. Such games can be used to model a variety of settings ...
ATAL
2009
Springer
14 years 3 months ago
2009
Springer
This paper presents a model of neural network embodiment of intentions and planning mechanisms for autonomous agents. The model bridges the dichotomy of symbolic and non-symbolic ...
CIKM
2009
Springer
14 years 3 months ago
2009
Springer
On-line news agents provide commenting facilities for readers to express their views with regard to news stories. The number of user supplied comments on a news article may be ind...
CIKM
2009
Springer
14 years 3 months ago
2009
Springer
Despite the widespread use of BM25, there have been few studies examining its effectiveness on a document description over single and multiple field combinations. We determine t...