809 search results - page 104 / 162 » Similarity, topology, and uniformity |
181
click to vote
TLDI
2010
ACM
16 years 3 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...
170
click to vote
SLS
2009
Springer
16 years 22 days 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...
161
click to vote
SIGIR
2009
ACM
16 years 21 days 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 ...
201
click to vote
ADBIS
2008
Springer
16 years 16 days 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....
139
click to vote
COORDINATION
2007
Springer
16 years 11 days 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...