Sciweavers

16596 search results - page 333 / 3320
» Generalized Assignment Problems
Sort
View
IPPS
2002
IEEE
15 years 11 months ago
Generalized Multipartitioning for Multi-Dimensional Arrays
Multipartitioning is a strategy for parallelizing computations that require solving 1D recurrences along each dimension of a multi-dimensional array. Previous techniques for multi...
Daniel G. Chavarría-Miranda, Alain Darte, R...
COLT
1997
Springer
15 years 11 months ago
General Convergence Results for Linear Discriminant Updates
The problem of learning linear discriminant concepts can be solved by various mistake-driven update procedures, including the Winnow family of algorithms and the well-known Percep...
Adam J. Grove, Nick Littlestone, Dale Schuurmans
CAV
2001
Springer
80views Hardware» more  CAV 2001»
15 years 10 months ago
Transformation-Based Verification Using Generalized Retiming
In this paper we present the application of generalized retiming for temporal property checking. Retiming is a structural transformation that relocates registers in a circuit-based...
Andreas Kuehlmann, Jason Baumgartner
CVPR
2009
IEEE
15 years 10 months ago
Fourier analysis and Gabor filtering for texture analysis and local reconstruction of general shapes
Since the pioneering work of Gibson in 1950, ShapeFrom-Texture has been considered by researchers as a hard problem, mainly due to restrictive assumptions which often limit its ap...
Fabio Galasso, Joan Lasenby
AIIA
2007
Springer
15 years 8 months ago
Similarity-Guided Clause Generalization
Few works are available in the literature to define similarity criteria between First-Order Logic formulæ, where the presence of relations causes various portions of one descript...
Stefano Ferilli, Teresa Maria Altomare Basile, Nic...