Sciweavers

1237 search results - page 159 / 248
» Abstract shade trees
Sort
View
145
Voted
SIES
2007
IEEE
15 years 11 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
124
Voted
SMC
2007
IEEE
15 years 11 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»
15 years 10 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
152
Voted
ATVA
2007
Springer
152views Hardware» more  ATVA 2007»
15 years 10 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»
15 years 10 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