331 search results - page 50 / 67 » HOLCF: Higher Order Logic of Computable Functions |
116
Voted
AICCSA
2005
IEEE
15 years 6 months ago
2005
IEEE
— Mobile ad hoc networks (MANETs) provide a powerful and dynamic platform to enable mobile computers to establish communications without an existing infrastructure. In order to p...
101
Voted
ECCV
2010
Springer
15 years 5 months ago
2010
Springer
Convex relaxations for continuous multilabel problems have attracted a lot of interest recently [1–5]. Unfortunately, in previous methods, the runtime and memory requirements sca...
102
Voted
PC
2006
15 years 12 days ago
2006
To manage load on large and dynamic networks we have developed Autonomous Mobile Programs (AMPs) that periodically use a cost model to decide where to execute. A disadvantage of d...
108
Voted
JMLR
2010
14 years 7 months ago
2010
A successful class of image denoising methods is based on Bayesian approaches working in wavelet representations. The performance of these methods improves when relations among th...
GECCO
2006
Springer
15 years 4 months ago
2006
Springer
In this article, we describe the application of an enhanced genetic algorithm to the problem of hardware-software codesign. Starting from a source code written in a high-level lan...