Sciweavers

1169 search results - page 70 / 234
» Two Ways to Common Knowledge
Sort
View
TLCA
2005
Springer
15 years 3 months ago
Call-by-Name and Call-by-Value as Token-Passing Interaction Nets
Two common misbeliefs about encodings of the λ-calculus in interaction nets (INs) are that they are good only for strategies that are not very well understood (e.g. optimal reduct...
François-Régis Sinot
WWW
2002
ACM
15 years 10 months ago
A pragmatic application of the semantic web using SemTalk
The Semantic Web is a new layer of the Internet that enables semantic representation of the contents of existing web pages. Using common ontologies, human users sketch out the mos...
Christian Fillies, Gay Wood-Albrecht, Frauke Weich...
ADHOCNOW
2008
Springer
15 years 4 months ago
Self-interference in Multi-hop Wireless Chains: Geometric Analysis and Performance Study
Abstract. In the presence of interference, two single hop links can interact in a number of different ways, exhibiting significantly different behavior. In this paper, we consid...
Saquib Razak, Nael B. Abu-Ghazaleh
INFOCOM
2006
IEEE
15 years 3 months ago
Sampling Techniques for Large, Dynamic Graphs
— Peer-to-peer systems are becoming increasingly popular, with millions of simultaneous users and a wide range of applications. Understanding existing systems and devising new pe...
Daniel Stutzbach, Reza Rejaie, Nick G. Duffield, S...
VLDB
2005
ACM
139views Database» more  VLDB 2005»
15 years 3 months ago
Tree-Pattern Queries on a Lightweight XML Processor
Popular XML languages, like XPath, use “treepattern” queries to select nodes based on their structural characteristics. While many processing methods have already been propose...
Mirella Moura Moro, Zografoula Vagena, Vassilis J....