Sciweavers

14161 search results - page 150 / 2833
» On generalized middle-level problem
Sort
View
104
Voted
COLT
1997
Springer
15 years 4 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
104
Voted
CAV
2001
Springer
80views Hardware» more  CAV 2001»
15 years 4 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 4 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
93
Voted
AIIA
2007
Springer
15 years 2 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...
97
Voted
IPCO
2007
98views Optimization» more  IPCO 2007»
15 years 2 months ago
On a Generalization of the Master Cyclic Group Polyhedron
We study the Master Equality Polyhedron (MEP) which generalizes the Master Cyclic Group Polyhedron and the Master Knapsack Polyhedron. We present an explicit characterization of t...
Sanjeeb Dash, Ricardo Fukasawa, Oktay Günl&uu...