12334 search results - page 2373 / 2467 » The Use of C |
SIGIR
2000
ACM
15 years 2 months ago
2000
ACM
The proliferation of online information resources increases the importance of effective and efficient distributed searching. Distributed searching is cast in three parts – datab...
COMPGEOM
2010
ACM
15 years 2 months ago
2010
ACM
Normal surface theory is a central tool in algorithmic threedimensional topology, and the enumeration of vertex normal surfaces is the computational bottleneck in many important a...
PODC
1999
ACM
15 years 2 months ago
1999
ACM
We present a new approach for reasoning about liveness properties of distributed systems, represented as automata. Our approach is based on simulation relations, and requires reas...
PODC
1999
ACM
15 years 2 months ago
1999
ACM
We present a combinatorial framework for the study of a natural class of distributed optimization problems that involve decisionmaking by a collection of n distributed agents in th...
ECOOP
1999
Springer
15 years 2 months ago
1999
Springer
Virtual types have been proposed as a notation for generic programming in object-oriented languages—an alternative to the more familiar mechanism of parametric classes. The trade...