809 search results - page 104 / 162 » Similarity, topology, and uniformity |
129
click to vote
TLDI
2010
ACM
15 years 9 months ago
2010
ACM
We present the design of a formal low-level multi-threaded language with advanced region-based memory management and synchronization primitives, where well-typed programs are memo...
107
Voted
SLS
2009
Springer
15 years 7 months ago
2009
Springer
Stochastic local search algorithms can now successfully solve MAXSAT problems with thousands of variables or more. A key to this success is how effectively the search can navigate...
111
click to vote
SIGIR
2009
ACM
15 years 7 months ago
2009
ACM
Recent work in supervised learning of term-based retrieval models has shown significantly improved accuracy can often be achieved via better model estimation [2, 10, 11, 17]. In ...
142
Voted
ADBIS
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. We propose a new approach for enhancing collaborative information retrieval by means of incorporating positional data for a location-aware personalized retrieval process....
90
Voted
COORDINATION
2007
Springer
15 years 6 months ago
2007
Springer
Our aim is to define the kernel of a simple and uniform programming model—the reactor model—suitable for building and evolving internet-scale programs. A reactor consists of t...