Sciweavers

532 search results - page 27 / 107
» Process Algebras for Quantitative Analysis
Sort
View
NAR
2010
189views more  NAR 2010»
13 years 2 months ago
Serial Expression Analysis: a web tool for the analysis of serial gene expression data
Serial transcriptomics experiments investigate the dynamics of gene expression changes associated with a quantitative variable such as time or dosage. The statistical analysis of ...
María José Nueda, José Carbon...
IJCAI
2003
13 years 9 months ago
Gaussian Process Models of Spatial Aggregation Algorithms
Multi-level spatial aggregates are important for data mining in a variety of scientific and engineering applications, from analysis of weather data (aggregating temperature and p...
Naren Ramakrishnan, Christopher Bailey-Kellogg
QEST
2008
IEEE
14 years 2 months ago
KPC-Toolbox: Simple Yet Effective Trace Fitting Using Markovian Arrival Processes
We present the KPC-Toolbox, a collection of Matlab scripts for fitting workload traces into Markovian Arrival Processes (MAPs) in an automatic way. We first present detailed sen...
Giuliano Casale, Eddy Z. Zhang, Evgenia Smirni
FSTTCS
2010
Springer
13 years 5 months ago
The Complexity of Model Checking (Collapsible) Higher-Order Pushdown Systems
We study (collapsible) higher-order pushdown systems -- theoretically robust and well-studied models of higher-order programs -- along with their natural subclass called (collapsi...
Matthew Hague, Anthony Widjaja To
ICIP
2010
IEEE
13 years 5 months ago
Comparison of registration methods using mamographic images
The detection of architectural distortions and abnormal structures in mammographic images can be based on the analysis of bilateral and temporal cases using image registration. Th...
Yago Diez, Arnau Oliver, Xavier Lladó, Robe...