Sciweavers

5544 search results - page 204 / 1109
» Three Inadequate Models
Sort
View
TC
1998
13 years 9 months ago
Design Verification of the S3.mp Cache-Coherent Shared-Memory System
—This paper describes the methods used to formulate and validate the memory subsystem of the cache-coherent Sun Scalable emory MultiProcessor (S3.mp) at three levels of abstracti...
Fong Pong, Michael C. Browne, Gunes Aybay, Andreas...
SIGIR
2006
ACM
14 years 3 months ago
A study of statistical models for query translation: finding a good unit of translation
This paper presents a study of three statistical query translation models that use different units of translation. We begin with a review of a word-based translation model that us...
Jianfeng Gao, Jian-Yun Nie
MASCOTS
2007
13 years 10 months ago
Network Performance Analysis based on Histogram Workload Models
Network performance analysis relies mainly on two models: a workload model and a performance model. This paper proposes to use histograms for characterising the arrival workloads ...
Enrique Hernández-Orallo, Joan Vila-Carb&oa...
BMCBI
2006
108views more  BMCBI 2006»
13 years 9 months ago
Gene function classification using Bayesian models with hierarchy-based priors
We investigate the application of hierarchical classification schemes to the annotation of gene function based on several characteristics of protein sequences including phylogenic ...
Babak Shahbaba, Radford M. Neal
SOFSEM
2007
Springer
14 years 3 months ago
Games, Time, and Probability: Graph Models for System Design and Analysis
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...
Thomas A. Henzinger