Sciweavers

1646 search results - page 138 / 330
» fast 2007
Sort
View
COCOON
2007
Springer
15 years 8 months ago
Improved Exact Algorithms for Counting 3- and 4-Colorings
Abstract. We introduce a generic algorithmic technique and apply it on decision and counting versions of graph coloring. Our approach is based on the following idea: either a graph...
Fedor V. Fomin, Serge Gaspers, Saket Saurabh
DSD
2007
IEEE
151views Hardware» more  DSD 2007»
15 years 8 months ago
P-Ware: A precise and scalable component-based simulation tool for embedded multiprocessor industrial applications
We present a component-based framework and its supporting simulation tool for joint software-hardware modelling and performance analysis of multiprocessor embedded systems. This j...
Ismail Assayad, Sergio Yovine
SGP
2004
15 years 6 months ago
Symmetry Descriptors and 3D Shape Matching
In this paper, we present the Symmetry Descriptors of a 3D model. This is a collection of spherical functions that describes the measure of a model's rotational and reflectiv...
Michael M. Kazhdan, Thomas A. Funkhouser, Szymon R...
140
Voted
AAAI
2007
15 years 6 months ago
A Mathematical Programming Formulation for Sparse Collaborative Computer Aided Diagnosis
A mathematical programming formulation is proposed to eliminate irrelevant and redundant features for collaborative computer aided diagnosis which requires to detect multiple clin...
Jinbo Bi, Tao Xiong
ISPD
2007
ACM
76views Hardware» more  ISPD 2007»
15 years 5 months ago
Semi-detailed bus routing with variation reduction
A bus routing algorithm is presented which not only minimizes wire length but also selects the bits in the bus to avoid twisting and conflicts. The resulting bus routes are regula...
Fan Mo, Robert K. Brayton