Sciweavers

1307 search results - page 103 / 262
» Follow the intellectual property
Sort
View
SIGMETRICS
2008
ACM
15 years 1 months ago
A Diophantine model of routes in structured P2P overlays
Abstract-- An important intrinsic property of any structured Peer-to-Peer (P2P) overlay is multi-hop paths. Understanding their structure helps to solve challenging problems relate...
Dmitry Korzun, Andrei Gurtov
TVCG
2008
96views more  TVCG 2008»
15 years 1 months ago
Distributed Cognition as a Theoretical Framework for Information Visualization
Even though information visualization (InfoVis) research has matured in recent years, it is generally acknowledged that the field still lacks supporting, encompassing theories. In ...
Zhicheng Liu, Nancy J. Nersessian, John T. Stasko
SCP
1998
138views more  SCP 1998»
15 years 1 months ago
A Hierarchy of Constraint Systems for Data-Flow Analysis of Constraint Logic-Based Languages
Many interesting analyses for constraint logic-based languages are aimed at the detection of monotonic properties, that is to say, properties that are preserved as the computation...
Roberto Bagnara
LATA
2009
Springer
15 years 8 months ago
Monadic Second-Order Logic for Graphs: Algorithmic and Language Theoretical Applications
This tutorial will present an overview of the use of Monadic Second-Order Logic to describe sets of finite graphs and graph transformations, in relation with the notions of tree-w...
Bruno Courcelle
109
Voted
APPROX
2006
Springer
105views Algorithms» more  APPROX 2006»
15 years 5 months ago
Space Complexity vs. Query Complexity
Abstract. Combinatorial property testing deals with the following relaxation of decision problems: Given a fixed property and an input x, one wants to decide whether x satisfies th...
Oded Lachish, Ilan Newman, Asaf Shapira