4325 search results - page 696 / 865 » Incremental computation with names |
111
click to vote
ICCS
2004
Springer
15 years 4 months ago
2004
Springer
It is well accepted that diagrams play a crucial role in human reasoning. But in mathematics, diagrams are most often only used for visualizations, but it is doubted that diagrams ...
115
click to vote
IJCNLP
2004
Springer
15 years 4 months ago
2004
Springer
In this paper, a series of window-based methods is proposed for information retrieval. Compared with traditional tf-idf model, our approaches are based on two new key notions. The ...
124
click to vote
ISW
2004
Springer
15 years 4 months ago
2004
Springer
In key-insulated cryptography, there are many private keys with different indexes and a single, fixed public key. When the trust model includes multiple Certification Authoritie...
89
Voted
MFCS
2004
Springer
15 years 4 months ago
2004
Springer
We study the complexity of the inclusion, equivalence, and intersection problem for simple regular expressions arising in practical XML schemas. These basically consist of the conc...
NPC
2004
Springer
15 years 4 months ago
2004
Springer
This paper is motivated by the problem of poor searching efficiency in decentralized peer-to-peer file-sharing systems. We solve the searching problem by considering and modeling t...