Sciweavers

7623 search results - page 938 / 1525
» Constructive Volume Modeling
Sort
View
TCAD
2010
94views more  TCAD 2010»
15 years 1 months ago
An Efficient Projector-Based Passivity Test for Descriptor Systems
Abstract--An efficient passivity test based on canonical projector techniques is proposed for descriptor systems (DSs) widely encountered in circuit and system modeling. The test f...
Zheng Zhang, Ngai Wong
TIFS
2010
120views more  TIFS 2010»
15 years 1 months ago
Quantitative Structural Steganalysis of Jsteg
Quantitative steganalysis strives to estimate the change rate defined as the relative number of embedding changes introduced by steganography. In this paper, we propose two new cla...
Jan Kodovský, Jessica J. Fridrich
ICASSP
2011
IEEE
14 years 11 months ago
A general Bayesian algorithm for visual object tracking based on sparse features
This paper describes a Bayesian algorithm for rigid/non-rigid 2D visual object tracking based on sparse image features. The algorithm is inspired by the way human visual cortex se...
Mauricio Soto Alvarez, Carlo S. Regazzoni
MMM
2011
Springer
228views Multimedia» more  MMM 2011»
14 years 11 months ago
A Semantic Higher-Level Visual Representation for Object Recognition
Having effective methods to access the images with desired object is essential nowadays with the availability of huge amount of digital images. We propose a semantic higher-level ...
Ismail Elsayad, Jean Martinet, Thierry Urruty, Cha...
FOSSACS
2011
Springer
14 years 10 months ago
Irrelevance in Type Theory with a Heterogeneous Equality Judgement
Dependently typed programs contain an excessive amount of static terms which are necessary to please the type checker but irrelevant for computation. To obtain reasonable performan...
Andreas Abel