Sciweavers

650 search results - page 45 / 130
» Analysis and design of sequencing rules for car sequencing
Sort
View
PSTV
1992
113views Hardware» more  PSTV 1992»
14 years 11 months ago
Coverage Preserving Reduction Strategies for Reachability Analysis
We study the effect of three new reduction strategies for conventional reachability analysis, as used in automated protocol validation algorithms. The first two strategies are imp...
Gerard J. Holzmann, Patrice Godefroid, Didier Piro...
KES
2005
Springer
15 years 3 months ago
Analysis of Parity Assignment Steganography in Palette Images
Abstract. In parity assignment-based steganography for palette images, all colors in a host image are divided into two subsets, and each pixel is used to carry one secret bit. This...
Xinpeng Zhang, Shuozhong Wang
BMCBI
2007
147views more  BMCBI 2007»
14 years 10 months ago
Predicting combinatorial binding of transcription factors to regulatory elements in the human genome by association rule mining
Background: Cis-acting transcriptional regulatory elements in mammalian genomes typically contain specific combinations of binding sites for various transcription factors. Althoug...
Xochitl C. Morgan, Shulin Ni, Daniel P. Miranker, ...
ICONFERENCE
2011
14 years 4 months ago
The structure of collaborative problem solving in a virtual math team
To develop a science of small-group interaction in groupware, we need a method for analyzing the structure of computer-mediated discourse. Conversation analysis offers an analysis...
Gerry Stahl
ISCAS
2003
IEEE
97views Hardware» more  ISCAS 2003»
15 years 3 months ago
Optimal design of FIR frequency-response-masking filters using second-order cone programming
Since Limís 1986 paper on the frequency-response masking (FRM) technique for the design of FIR digital Ýlters with very small transition widths, the analysis and design of FRM ...
Wu-Sheng Lu, Takao Hinamoto