1888 search results - page 310 / 378 » Proof theory and computational analysis |
IJCAI
1989
15 years 1 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...
101
click to vote
DIALM
2010
ACM
14 years 9 months ago
2010
ACM
We present a method for using real world mobility traces to identify tractable theoretical models for the study of distributed algorithms in mobile networks. We validate the metho...
180
click to vote
ICDE
2008
IEEE
16 years 1 months ago
2008
IEEE
We consider a privacy threat to a social network in which the goal of an attacker is to obtain knowledge of a significant fraction of the links in the network. We formalize the ty...
104
click to vote
WWW
2008
ACM
16 years 15 days ago
2008
ACM
We discuss the use of social networks in implementing viral marketing strategies. While influence maximization has been studied in this context (see Chapter 24 of [10]), we study ...
118
click to vote
PODS
2005
ACM
15 years 12 months ago
2005
ACM
Suppose we have a large table T of items i, each with a weight wi, e.g., people and their salary. In a general preprocessing step for estimating arbitrary subset sums, we assign e...