10271 search results - page 1951 / 2055 » Computer Science |
120
Voted
SIGECOM
2009
ACM
15 years 9 months ago
2009
ACM
Voting trees describe an iterative procedure for selecting a single vertex from a tournament. vide a very general abstract model of decision-making among a group of individuals, a...
131
click to vote
INFOCOM
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract—Complex networks, modeled as large graphs, received much attention during these last years. However, data on such networks is only available through intricate measuremen...
104
click to vote
LICS
2008
IEEE
15 years 9 months ago
2008
IEEE
We show that the asymptotic complexity of uniformly generated (expressible in First-Order (FO) logic) propositional tautologies for the Nullstellensatz proof system (NS) as well a...
148
Voted
AIMSA
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. The paper addresses an important challenge for the automatic processing of English written text: understanding noun compounds’ semantics. Following Downing (1977) [1], ...
113
click to vote
LICS
2007
IEEE
15 years 8 months ago
2007
IEEE
We consider two-player games played over finite state spaces for an infinite number of rounds. At each state, the players simultaneously choose moves; the moves determine a succ...