Sciweavers

963 search results - page 141 / 193
» On the decomposition of rational functions
Sort
View
IPPS
2007
IEEE
14 years 3 months ago
Parallel Tabu Search and the Multiobjective Vehicle Routing Problem with Time Windows
Abstract—In this paper the author presents three approaches to parallel Tabu Search, applied to several instances of the Capacitated Vehicle Routing Problem with Time Windows (CV...
Andreas Beham
ECML
2007
Springer
14 years 2 months ago
On Minimizing the Position Error in Label Ranking
Conventional classification learning allows a classifier to make a one shot decision in order to identify the correct label. However, in many practical applications, the problem ...
Eyke Hüllermeier, Johannes Fürnkranz
CONIELECOMP
2006
IEEE
14 years 2 months ago
Chaotic Time Series Approximation Using Iterative Wavelet-Networks
This paper presents a wavelet neural-network for learning and approximation of chaotic time series. Wavelet-networks are inspired by both feed-forward neural networks and the theo...
E. S. Garcia-Trevino, Vicente Alarcón Aquin...
DSD
2006
IEEE
73views Hardware» more  DSD 2006»
14 years 2 months ago
Flexible Two-Level Boolean Minimizer BOOM-II and Its Applications
We propose a novel two-level Boolean minimizer coming in succession to our previously developed minimizer BOOM, so we have named it BOOM-II. It is a combination of two minimizers,...
Petr Fiser, Hana Kubatova
GLVLSI
2006
IEEE
95views VLSI» more  GLVLSI 2006»
14 years 2 months ago
Test generation using SAT-based bounded model checking for validation of pipelined processors
Functional verification is one of the major bottlenecks in microprocessor design. Simulation-based techniques are the most widely used form of processor verification. Efficient ...
Heon-Mo Koo, Prabhat Mishra