2742 search results - page 311 / 549 » Deriving Category Theory from Type Theory |
CIKM
2010
Springer
13 years 8 months ago
2010
Springer
Current recommendation methods are mainly classified into contentbased, collaborative filtering and hybrid methods. These methods are based on similarity measurements among item...
CCR
2011
13 years 4 months ago
2011
This document collects together reports of the sessions from the 2010 ACM SIGCOMM Conference, the annual conference of the ACM Special Interest Group on Data Communication (SIGCOM...
IJCAI
1989
13 years 10 months ago
1989
Several theories of grammar currently converge toward inserting subcategorization information within lexical entries. Such a tendency would benefit from a parsing algorithm able t...
MOBIHOC
2002
ACM
14 years 9 months ago
2002
ACM
This paper investigates two fundamental characteristics of a wireless multihop network: its minimum node degree and its k?connectivity. Both topology attributes depend on the spat...
CCS
2009
ACM
14 years 4 months ago
2009
ACM
In mobile networks, authentication is a required primitive of the majority of security protocols. However, an adversary can track the location of mobile nodes by monitoring pseudo...