7886 search results - page 379 / 1578 » An evaluation of bipartitioning techniques |
211
click to vote
ICADL
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In this paper, an adaptive tool for providing suggestions during the information search process is presented. The tool uses case-based reasoning techniques to find the m...
193
click to vote
TLCA
2007
Springer
16 years 1 months ago
2007
Springer
Inspired by recent work on normalisation by evaluation for sums, we propose a normalising and confluent extensional rewriting theory for the simply-typed λ-calculus extended with...
165
click to vote
GLOBECOM
2006
IEEE
16 years 1 months ago
2006
IEEE
— We investigate nonlinear precoding techniques for the downlink of multi-user systems from a transmitter equipped with multiple antennas to non-cooperative single antenna mobile...
188
click to vote
ICMCS
2005
IEEE
16 years 1 months ago
2005
IEEE
This paper introduces a new approach of approximating the selectivity of multimedia range queries. Estimating the selectivity of a range query is a pre-requisite to optimize a mul...
234
click to vote
QEST
2005
IEEE
16 years 1 months ago
2005
IEEE
In this paper we present a novel performance analysis technique for large-scale systems modelled in the stochastic process algebra PEPA. In contrast to the well-known approach of ...