Sciweavers

88 search results - page 17 / 18
» Sublinear Algorithms for Parameterized Matching
Sort
View
DATE
2010
IEEE
153views Hardware» more  DATE 2010»
14 years 15 days ago
HORUS - high-dimensional Model Order Reduction via low moment-matching upgraded sampling
— This paper describes a Model Order Reduction algorithm for multi-dimensional parameterized systems, based on a sampling procedure which incorporates a low order moment matching...
Jorge Fernandez Villena, Luis Miguel Silveira
FORTE
2004
13 years 8 months ago
A Temporal Logic Based Framework for Intrusion Detection
Abstract. We propose a framework for intrusion detection that is based on runtime monitoring of temporal logic specifications. We specify intrusion patterns as formulas in an expre...
Prasad Naldurg, Koushik Sen, Prasanna Thati
CGF
2005
142views more  CGF 2005»
13 years 7 months ago
Garment Motion Capture Using Color-Coded Patterns
In this paper we present an image-based algorithm for surface reconstruction of moving garment from multiple calibrated video cameras. Using a color-coded cloth texture, we reliab...
Volker Scholz, Timo Stich, Michael Keckeisen, Mark...
MICCAI
2006
Springer
14 years 8 months ago
A Landmark-Based Brain Conformal Parametrization with Automatic Landmark Tracking Technique
Abstract. In this paper, we present algorithms to automatically detect and match landmark curves on cortical surfaces to get an optimized brain conformal parametrization. First, we...
Lok Ming Lui, Yalin Wang, Tony F. Chan, Paul M. Th...
SODA
2010
ACM
177views Algorithms» more  SODA 2010»
14 years 4 months ago
Convergence, Stability, and Discrete Approximation of Laplace Spectra
Spectral methods have been widely used in a broad range of application fields. One important object involved in such methods is the Laplace-Beltrami operator of a manifold. Indeed...
Tamal K. Dey, Pawas Ranjan, Yusu Wang