8699 search results - page 1457 / 1740 » Elements of the Theory of Computation |
174
click to vote
ICNP
2005
IEEE
16 years 9 days ago
2005
IEEE
In this paper, we analyze the problem of network disconnection in the context of large-scale P2P networks and understand how both static and dynamic patterns of node failure affec...
151
click to vote
INFOVIS
2005
IEEE
16 years 9 days ago
2005
IEEE
The general problem of visualizing “family trees”, or genealogical graphs, in 2D, is considered. A graph theoretic analysis is given, which identifies why genealogical graphs...
203
click to vote
ISCAS
2005
IEEE
16 years 9 days ago
2005
IEEE
— This paper addresses an effective technique for digital fingerprinting for video. While orthogonal modulation technique is a straightforward and widely used method for digital ...
166
click to vote
LCN
2005
IEEE
16 years 9 days ago
2005
IEEE
— The seminar work of Gupta and Kumar [1] showed that multi-hop wireless networks with capacity scalable with the number of nodes, n, are achievable in theory. The transport capa...
172
click to vote
LICS
2005
IEEE
16 years 9 days ago
2005
IEEE
We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthem...