1888 search results - page 167 / 378 » Proof theory and computational analysis |
117
Voted
ICCS
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. We propose an approach to many-valued contexts using formal descriptions instead of scaling. The underlying idea is the philosphical definition of a concept as a set of ...
113
click to vote
WIOPT
2010
IEEE
14 years 11 months ago
2010
IEEE
—We consider a Ferry based Wireless Local Area Network (FWLAN), in which information is forwarded from a base station to sensors, or gathered from sensors to a base station using...
104
click to vote
WWW
2004
ACM
16 years 1 months ago
2004
ACM
The web graph follows the power law distribution and has a hierarchy structure. But neither the PageRank algorithm nor any of its improvements leverage these attributes. In this p...
111
Voted
WWW
2008
ACM
16 years 1 months ago
2008
ACM
We analyze the social network emerging from the user comment activity on the website Slashdot. The network presents common features of traditional social networks such as a giant ...
110
Voted
DCC
2007
IEEE
16 years 9 days ago
2007
IEEE
We consider a first-order Markov source, which is predictively encoded using a DPCM-style encoder. The quantized compressed prediction residual is transmitted over an erasure chan...