Sciweavers

14331 search results - page 185 / 2867
» On the modeling and analysis of obligations
Sort
View
ITNG
2008
IEEE
16 years 26 days ago
GlycoVault: A Bioinformatics Infrastructure for Glycan Pathway Visualization, Analysis and Modeling
Glycan biosynthesis is the process by which glycans are built in the cells. Information about the process is available from several Web accessible databases, published papers, exp...
Shravya Nimmagadda, Amrita Basu, Matthew Eavenson,...
BIBE
2007
IEEE
155views Bioinformatics» more  BIBE 2007»
16 years 25 days ago
Partial Mixture Model for Tight Clustering in Exploratory Gene Expression Analysis
Abstract—In this paper we demonstrate the inherent robustness of minimum distance estimator that makes it a potentially powerful tool for parameter estimation in gene expression ...
Yinyin Yuan, Chang-Tsun Li
ICC
2007
IEEE
126views Communications» more  ICC 2007»
16 years 24 days ago
Modeling and Analysis of Handoffs in Cellular and WLAN Integration
—In this paper, we propose an integrated service-based handoff scheme with (ISBQ) and without queue capability (ISB) for the cellular and WLAN integration. The proposed handoff s...
Weiwei Xia, Lianfeng Shen
AIME
2007
Springer
16 years 20 days ago
Predictive Modeling of fMRI Brain States Using Functional Canonical Correlation Analysis
We present a novel method for predictive modeling of human brain states from functional neuroimaging (fMRI) data. Extending the traditional canonical correlation analysis of discre...
Sennay Ghebreab, Arnold W. M. Smeulders, Pieter W....
HYBRID
2007
Springer
16 years 19 days ago
Symbolic Analysis for GSMP Models with One Stateful Clock
We consider the problem of verifying reachability properties of stochastic real-time systems modeled as generalized semi-Markov processes (GSMPs). The standard simulation-based tec...
Mikhail Bernadsky, Rajeev Alur