10271 search results - page 536 / 2055 » Computer Science |
169
click to vote
ACSC
2001
IEEE
15 years 10 months ago
2001
IEEE
Most search systems for querying large document collections---for example, web search engines---are based on well-understood information retrieval principles
177
click to vote
IFIPTCS
2000
15 years 10 months ago
2000
Abstract We present a first distributed implementation of the CardelliGordon's ambient calculus. We use Jocaml as an implementation language and we present a formal translatio...
148
click to vote
RTA
2000
Springer
15 years 10 months ago
2000
Springer
We consider the problem of higher-order matching restricted et of linear -terms (i.e., -terms where each abstraction x. M is such that there is exactly one free occurrence of x in ...
147
click to vote
SOFSEM
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. In this paper we survey some results concerning balls-intobins-games and the power of two choices. We present a unified and rather elementary analysis for models in the p...
138
click to vote
WG
2000
Springer
15 years 10 months ago
2000
Springer
Several practical instances of network design and location theory problems require the network to satisfy multiple constraints. In this paper, we address graph-theoretic problems t...