Sciweavers

4242 search results - page 306 / 849
» For a science of group interaction
Sort
View
MFCS
2010
Springer
15 years 5 months ago
A dexptime-Complete Dolev-Yao Theory with Distributive Encryption
In the context of modelling cryptographic tools like blind signatures and homomorphic encryption, the DolevYao model is typically extended with an operator over which encryption i...
Anguraj Baskar, Ramaswamy Ramanujam, S. P. Suresh
DL
2000
Springer
210views Digital Library» more  DL 2000»
15 years 11 months ago
Extracting and visualizing semantic structures in retrieval results for browsing
The paper introduces an approach that organizes retrieval results semantically and displays them spatially for browsing. Latent Semantic Analysis as well as cluster techniques are...
Katy Börner
FOCS
1990
IEEE
15 years 10 months ago
IP=PSPACE
In [Sh92], Adi Shamir proved a complete characterization of the complexity class IP. He showed that when both randomization and interaction are allowed, the proofs that can be ver...
Adi Shamir
DIS
2006
Springer
15 years 10 months ago
Visual Knowledge Discovery in Paleoclimatology with Parallel Coordinates
Paleoclimatology requires the analysis of paleo time-series, obtained from a number of independent techniques and instruments, produced by several researchers and/or laboratories. ...
Roberto Therón
FOCS
1995
IEEE
15 years 10 months ago
Reconstructing Strings from Substrings in Rounds
We establish a variety of combinatorial bounds on the tradeo s inherent in reconstructing strings using few rounds of a given number of substring queries per round. These results ...
Dimitris Margaritis, Steven Skiena