Sciweavers

9739 search results - page 176 / 1948
» Object-Oriented Analysis and Design
Sort
View
FMCAD
2006
Springer
14 years 29 days ago
Formal Analysis and Verification of an OFDM Modem Design using HOL
In this paper we formally specify and verify an implementation of the IEEE802.11a standard physical layer based OFDM (Orthogonal Frequency Division Multiplexing) modem using the HO...
Abu Nasser Mohammed Abdullah, Behzad Akbarpour, So...
DBSEC
2007
89views Database» more  DBSEC 2007»
13 years 10 months ago
Design and Analysis of Querying Encrypted Data in Relational Databases
Security and privacy concerns as well as legal considerations force many companies to encrypt the sensitive data in databases. However, storing the data in an encrypted format enta...
Mustafa Canim, Murat Kantarcioglu
BMCBI
2005
83views more  BMCBI 2005»
13 years 9 months ago
Genome-wide estimation of gender differences in the gene expression of human livers: Statistical design and analysis
Background: Gender differences in gene expression were estimated in liver samples from 9 males and 9 females. The study tested 31,110 genes for a gender difference using a design ...
Robert R. Delongchamp, Cruz Velasco, Stacey Dial, ...
JIRS
2007
119views more  JIRS 2007»
13 years 9 months ago
Design and Stability Analysis of Fuzzy Model-based Predictive Control - A Case Study
In the paper a fuzzy model based predictive control algorithm is presented. The proposed algorithm is developed in the state space and is given in analytical form, which is an adva...
Saso Blazic, Igor Skrjanc
ICASSP
2011
IEEE
13 years 1 months ago
Empirical divergence maximization for quantizer design: An analysis of approximation error
Empirical divergence maximization is an estimation method similar to empirical risk minimization whereby the Kullback-Leibler divergence is maximized over a class of functions tha...
Michael A. Lexa