770 search results - page 119 / 154 » Dinatural Terms in System F |
122
Voted
WWW
2006
ACM
16 years 2 months ago
2006
ACM
It is well known that Web-page classification can be enhanced by using hyperlinks that provide linkages between Web pages. However, in the Web space, hyperlinks are usually sparse...
205
click to vote
POPL
2008
ACM
16 years 2 months ago
2008
ACM
The C language definition leaves the sizes and layouts of types partially unspecified. When a C program makes assumptions about type layout, its semantics is defined only on platf...
114
click to vote
ATAL
2007
Springer
15 years 5 months ago
2007
Springer
Merging operators try to define the beliefs of a group of agents according to the beliefs of each member of the group. Several model-based propositional belief merging operators h...
198
click to vote
ICDE
2008
IEEE
16 years 3 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...
246
click to vote
PLDI
2009
ACM
16 years 2 months ago
2009
ACM
High-level languages are growing in popularity. However, decades of C software development have produced large libraries of fast, timetested, meritorious code that are impractical...