Sciweavers

2825 search results - page 430 / 565
» Robust Feature Selection Algorithms
Sort
View
FPL
1997
Springer
242views Hardware» more  FPL 1997»
14 years 7 days ago
Technology mapping by binate covering
Technology mapping can be viewed as the optimization problem of finding a minimum cost cover of the given Boolean network by choosing from given library of logic cells. The core of...
Michal Servít, Kang Yi
SIGIR
2010
ACM
13 years 12 months ago
A two-stage model for blog feed search
We consider blog feed search: identifying relevant blogs for a given topic. An individual’s search behavior often involves a combination of exploratory behavior triggered by sal...
Wouter Weerkamp, Krisztian Balog, Maarten de Rijke
CAV
2006
Springer
105views Hardware» more  CAV 2006»
13 years 11 months ago
FAST Extended Release
Fast is a tool designed for the analysis of counter systems, i.e. automata extended with unbounded integer variables. Despite the reachability set is not recursive in general, Fast...
Sébastien Bardin, Jérôme Lerou...
ARC
2008
Springer
104views Hardware» more  ARC 2008»
13 years 10 months ago
PARO: Synthesis of Hardware Accelerators for Multi-Dimensional Dataflow-Intensive Applications
Abstract. In this paper, we present the PARO design tool for the automated hardware synthesis of massively parallel embedded architectures for given dataflow dominant applications....
Frank Hannig, Holger Ruckdeschel, Hritam Dutta, J&...
ESANN
2008
13 years 9 months ago
GeoKernels: modeling of spatial data on geomanifolds
This paper presents a review of methodology for semi-supervised modeling with kernel methods, when the manifold assumption is guaranteed to be satisfied. It concerns environmental ...
Alexei Pozdnoukhov, Mikhail F. Kanevski