Sciweavers

1469 search results - page 140 / 294
» Characterizing the Structural Complexity of Real-World Compl...
Sort
View
ICCV
2003
IEEE
15 years 9 months ago
Markov-Based Failure Prediction for Human Motion Analysis
This paper presents a new method of detecting and predicting motion tracking failures with applications in human motion and gait analysis. We define a tracking failure as an event...
Shiloh L. Dockstader, Nikita S. Imennov, A. Murat ...
COCO
2003
Springer
102views Algorithms» more  COCO 2003»
15 years 9 months ago
Memoization and DPLL: Formula Caching Proof Systems
A fruitful connection between algorithm design and proof complexity is the formalization of the ¤¦¥¨§©§ approach to satisfiability testing in terms of tree-like resolution...
Paul Beame, Russell Impagliazzo, Toniann Pitassi, ...
ISMVL
1997
IEEE
134views Hardware» more  ISMVL 1997»
15 years 8 months ago
Functional Decomposition of MVL Functions Using Multi-Valued Decision Diagrams
In this paper, the minimization of incompletely specified multi-valued functions using functional decomposition is discussed. From the aspect of machine learning, learning sample...
Craig M. Files, Rolf Drechsler, Marek A. Perkowski
CORR
2006
Springer
99views Education» more  CORR 2006»
15 years 3 months ago
An Embedding of the BSS Model of Computation in Light Affine Lambda-Calculus
This paper brings together two lines of research: implicit characterization of complexity classes by Linear Logic (LL) on the one hand, and computation over an arbitrary ring in t...
Patrick Baillot, Marco Pedicini
AUTOMATICA
2005
137views more  AUTOMATICA 2005»
15 years 3 months ago
Multivariable frequency-response curve fitting with application to modal parameter estimation
This paper presents a computational approach for the frequency-domain identification of multivariable, discrete-time transfer function models based on a cost function minimization...
P. Verboven, P. Guillaume, B. Cauberghe