Sciweavers

1539 search results - page 236 / 308
» Fast and Simple Methods For Computing Control Points
Sort
View
C3S2E
2010
ACM
13 years 8 months ago
Scalable formula decomposition for propositional satisfiability
Propositional satisfiability solving, or SAT, is an important reasoning task arising in numerous applications, such as circuit design, formal verification, planning, scheduling or...
Anthony Monnet, Roger Villemaire
AMCS
2008
146views Mathematics» more  AMCS 2008»
13 years 7 months ago
Fault Detection and Isolation with Robust Principal Component Analysis
Principal component analysis (PCA) is a powerful fault detection and isolation method. However, the classical PCA which is based on the estimation of the sample mean and covariance...
Yvon Tharrault, Gilles Mourot, José Ragot, ...
ASC
2008
13 years 7 months ago
Dynamic classification for video stream using support vector machine
A dynamic classification using the support vector machine (SVM) technique is presented in this paper as a new `incremental' framework for multiple-classifying video stream da...
Mariette Awad, Yuichi Motai
IJISTA
2008
132views more  IJISTA 2008»
13 years 7 months ago
Sub-pixel data fusion and edge-enhanced distance refinement for 2D/3D images
: An important field of reasearch in computer vision is the 3D analysis and reconstruction of objects and scenes. A rather new technologie in this context is the Photonic Mixer Dev...
Marvin Lindner, Martin Lambers, Andreas Kolb
TIP
2008
168views more  TIP 2008»
13 years 7 months ago
A Real-Time Algorithm for the Approximation of Level-Set-Based Curve Evolution
Abstract--In this paper, we present a complete and practical algorithm for the approximation of level-set-based curve evolution suitable for real-time implementation. In particular...
Yonggang Shi, William Clement Karl