16844 search results - page 3316 / 3369 » How to Design Programs |
EUNIS
2001
15 years 3 months ago
2001
: The goal of this paper is to describe how the development, implementation, and deployment of Information System of University of Latvia changed the life of the University and fac...
154
click to vote
NIPS
2004
15 years 3 months ago
2004
We show how to build hierarchical, reduced-rank representation for large stochastic matrices and use this representation to design an efficient algorithm for computing the largest...
101
click to vote
NSDI
2004
15 years 3 months ago
2004
Most current peer-to-peer lookup schemes keep a small amount of routing state per node, typically logarithmic in the number of overlay nodes. This design assumes that routing info...
NSDI
2004
15 years 3 months ago
2004
This paper describes TimeLine, an efficient archive service for a distributed storage system. TimeLine allows users to take snapshots on demand. The archive is stored online so th...
132
click to vote
SCAI
2001
15 years 3 months ago
2001
Muskens presents in Meaning and Partiality a semantics of possibly contradictory beliefs and other propositional attitudes. We propose a different partial logic based on a few key...