Sciweavers

1993 search results - page 313 / 399
» Analysis of the Effectiveness of G3PARM Algorithm
Sort
View
CORR
2008
Springer
124views Education» more  CORR 2008»
15 years 1 months ago
A New Upper Bound for Max-2-Sat: A Graph-Theoretic Approach
In MaxSat, we ask for an assignment which satisfies the maximum number of clauses for a boolean formula in CNF. We present an algorithm yielding a run time upper bound of O (2 K 6....
Daniel Raible, Henning Fernau
CORR
2010
Springer
105views Education» more  CORR 2010»
15 years 1 months ago
Fuzzy Controller for Matrix Converter System to Improve its Quality of Output
: In this paper, Fuzzy Logic controller is developed for ac/ac Matrix Converter. Furthermore, Total Harmonic Distortion is reduced significantly. Space Vector Algorithm is a method...
Nagalingam Mahendran, G. Gurusamy
96
Voted
CORR
2008
Springer
107views Education» more  CORR 2008»
15 years 1 months ago
Metric Structures and Probabilistic Computation
Abstract. Continuous first-order logic is used to apply model-theoretic analysis to analytic structures (e.g. Hilbert spaces, Banach spaces, probability spaces, etc.). Classical co...
Wesley Calvert
IJDAR
2008
136views more  IJDAR 2008»
15 years 1 months ago
Matching word images for content-based retrieval from printed document images
As large quantity of document images is getting archived by the digital libraries, there is a need for an efficient search strategies to make them available as per users informatio...
Million Meshesha, C. V. Jawahar
PAMI
2008
182views more  PAMI 2008»
15 years 1 months ago
Gaussian Process Dynamical Models for Human Motion
We introduce Gaussian process dynamical models (GPDMs) for nonlinear time series analysis, with applications to learning models of human pose and motion from high-dimensional motio...
Jack M. Wang, David J. Fleet, Aaron Hertzmann