Sciweavers

1237 search results - page 159 / 248
» Abstract shade trees
Sort
View
SIES
2007
IEEE
14 years 4 months ago
Design Space Exploration with Evolutionary Multi-Objective Optimisation
— High level synthesis is one of the next major steps to improve the hw/sw co-design process. The advantages of high nthesis are two-fold. At first the level of abstraction is r...
Martin Holzer 0002, Bastian Knerr, Markus Rupp
SMC
2007
IEEE
14 years 4 months ago
ADtrees for sequential data and n-gram Counting
Abstract— We consider the problem of efficiently storing ngram counts for large n over very large corpora. In such cases, the efficient storage of sufficient statistics can ha...
Robert Van Dam, Dan Ventura
APPROX
2007
Springer
67views Algorithms» more  APPROX 2007»
14 years 4 months ago
Maximum Gradient Embeddings and Monotone Clustering
abstract Manor Mendel1 and Assaf Naor2 1 The Open University of Israel 2 Courant Institute Let (X, dX ) be an n-point metric space. We show that there exists a distribution D over ...
Manor Mendel, Assaf Naor
ATVA
2007
Springer
152views Hardware» more  ATVA 2007»
14 years 4 months ago
Bounded Synthesis
Abstract. The bounded synthesis problem is to construct an implementation that satisfies a given temporal specification and a given bound on the number of states. We present a so...
Sven Schewe, Bernd Finkbeiner
CAIP
2007
Springer
150views Image Analysis» more  CAIP 2007»
14 years 4 months ago
Hierarchical Detection of Multiple Organs Using Boosted Features
Abstract. We propose a framework for fast and automated initialization of segmentation algorithms in Computed Tomography images. Based on the idea that time-consuming voxel classi...
Samuel Hugueny, Mikaël Rousson