2642 search results - page 179 / 529 » Merge-by-Wire: Algorithms and System Support |
155
click to vote
GECCO
2008
Springer
15 years 5 months ago
2008
Springer
In this paper, we show that a Bio-inspired classifier’s accuracy can be dramatically improved if it operates on intelligent features. We propose a novel set of intelligent feat...
145
click to vote
ICC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— The problem of resource allocation (RA) in a downlink OFDMA system is examined under the realistic assumption of imperfect channel state information (CSI) at the base s...
109
click to vote
COMPSAC
2005
IEEE
15 years 10 months ago
2005
IEEE
Parallel changes are a basic fact of modern software development. Where previously we looked at prima facie interference, here we investigate a less direct form that we call seman...
139
click to vote
TACAS
1999
Springer
15 years 9 months ago
1999
Springer
We present a theorem-prover based analysis tool for object-oriented database systems with integrity constraints. Object-oriented database specifications are mapped to higher-order...
131
click to vote
POPL
1998
ACM
15 years 9 months ago
1998
ACM
Recent years have seen increasing interest in systems that reason about and manipulate executable code. Such systems can generally benefit from information about aliasing. Unfort...