Sciweavers

4636 search results - page 83 / 928
» Modelling and Validation with VipTool
Sort
View
TC
1998
13 years 7 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...
KDD
2007
ACM
142views Data Mining» more  KDD 2007»
14 years 8 months ago
Towards Privacy-Preserving Model Selection
Abstract. Model selection is an important problem in statistics, machine learning, and data mining. In this paper, we investigate the problem of enabling multiple parties to perfor...
Zhiqiang Yang, Sheng Zhong, Rebecca N. Wright
IJMMS
1998
75views more  IJMMS 1998»
13 years 7 months ago
Knowledge modeling directed by situation-specific models
Clancey (1992) proposed the model-construction framework as a way to explain the reasoning of knowledge-based systems (KBSs), based on his realization that all KBSs construct impl...
Michel Benaroch
MA
2010
Springer
143views Communications» more  MA 2010»
13 years 6 months ago
The pairwise beta distribution: A flexible parametric multivariate model for extremes
We present a new parametric model for the angular measure of a multivariate extreme value distribution. Unlike many parametric models that are limited to the bivariate case, the ï...
Daniel Cooley, Richard A. Davis, Philippe Naveau
INTERSPEECH
2010
13 years 2 months ago
A rule-based backchannel prediction model using pitch and pause information
We manually designed rules for a backchannel (BC) prediction model based on pitch and pause information. In short, the model predicts a BC when there is a pause of a certain lengt...
Khiet P. Truong, Ronald Poppe, Dirk Heylen