1018 search results - page 48 / 204 » Generative unbinding of names |
FOSSACS
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
EATIS
2007
ACM
14 years 1 months ago
2007
ACM
MDIRS is methodology to define the actors and the steps to build efficiently information retrieval (IR) System. MDRIS main mission is to analyze, develop and evaluate mechanisms s...
WWW
2004
ACM
14 years 9 months ago
2004
ACM
In this paper, we present our development of a document management and retrieval tool, which is named Ontalk. Our system provides a semi-automatic metadata generator and an ontolo...
SAINT
2008
IEEE
14 years 3 months ago
2008
IEEE
In this paper, we present the first heuristic for fully distributed bootstrapping of peer-to-peer networks. Our heuristic generates a stream of promising IP addresses to be probe...
SKG
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper presents an integrated database benchmark suite, which is named SIMS. SIMS offers generic benchmarks, custom benchmarks, and hybrid benchmarks to users on a unified Web ...