Sciweavers

1156 search results - page 50 / 232
» Compositional Methods for Information-Hiding
Sort
View
FMCAD
2006
Springer
13 years 11 months ago
Post-reboot Equivalence and Compositional Verification of Hardware
We introduce a finer concept of a Hardware Machine, where the set of post-reboot operation states is explicitly a part of the FSM definition. We formalize an ad-hoc flow of combin...
Zurab Khasidashvili, Marcelo Skaba, Daher Kaiss, Z...
HCI
2009
13 years 5 months ago
Estimating Productivity: Composite Operators for Keystroke Level Modeling
Task time is a measure of productivity in an interface. Keystroke Level Modeling (KLM) can predict experienced user task time to within 10 to 30% of actual times. One of the bigges...
Jeff Sauro
BMCBI
2005
132views more  BMCBI 2005»
13 years 7 months ago
Correlation and prediction of gene expression level from amino acid and dipeptide composition of its protein
Background: A large number of papers have been published on analysis of microarray data with particular emphasis on normalization of data, detection of differentially expressed ge...
Gajendra P. S. Raghava, Joon H. Han
ACL
2011
12 years 11 months ago
Discovering Sociolinguistic Associations with Structured Sparsity
We present a method to discover robust and interpretable sociolinguistic associations from raw geotagged text data. Using aggregate demographic statistics about the authors’ geo...
Jacob Eisenstein, Noah A. Smith, Eric P. Xing
BMCBI
2010
153views more  BMCBI 2010»
13 years 7 months ago
VITCOMIC: visualization tool for taxonomic compositions of microbial communities based on 16S rRNA gene sequences
Background: Understanding the community structure of microbes is typically accomplished by sequencing 16S ribosomal RNA (16S rRNA) genes. These community data can be represented b...
Hiroshi Mori, Fumito Maruyama, Ken Kurokawa