Sciweavers

1957 search results - page 61 / 392
» Multimedia Analysis and Synthesis
Sort
View
ASPDAC
2004
ACM
126views Hardware» more  ASPDAC 2004»
15 years 4 months ago
High-level area and power-up current estimation considering rich cell library
— Reducing the ever-growing leakage power is critical to power efficient designs. Leakage reduction techniques such as power-gating using sleep transistor insertion introduces la...
Fei Li, Lei He, Joseph M. Basile, Rakesh J. Patel,...
FMOODS
2003
15 years 16 days ago
Design and Verification of Distributed Multi-media Systems
Performance analysis of computing systems, in particular distributed computing systems, is a complex process. Analysing the complex flows and interactions between a set of distribu...
David H. Akehurst, John Derrick, A. Gill Waters
TABLEAUX
2009
Springer
15 years 5 months ago
Goal-Directed Invariant Synthesis for Model Checking Modulo Theories
We are interested in automatically proving safety properties of infinite state systems. We present a technique for invariant synthesis which can be incorporated in backward reacha...
Silvio Ghilardi, Silvio Ranise
ICMCS
2006
IEEE
115views Multimedia» more  ICMCS 2006»
15 years 5 months ago
On Training Neural Network Algorithms for Odor Identification for Future Multimedia Communication Systems
Future multimedia communication system can be developed to identify, transmit and provide odors besides voice and image. In this paper, an improved odor identification method is i...
Ki-Hyeon Kwon, Namyong Kim, Hyung-Gi Byun, Krishna...
SAC
2008
ACM
14 years 10 months ago
Towards automatic feature vector optimization for multimedia applications
We systematically evaluate a recently proposed method for unsupervised discrimination power analysis for feature selection and optimization in multimedia applications. A series of...
Tobias Schreck, Dieter W. Fellner, Daniel A. Keim