Sciweavers

1837 search results - page 112 / 368
» Abstraction and the C Machine Model
Sort
View
COLING
2002
15 years 6 months ago
Extraposition: A Case Study in German Sentence Realization
We profile the occurrence of clausal extraposition in corpora from different domains and demonstrate that extraposition is a pervasive phenomenon in German that must be addressed ...
Michael Gamon, Eric K. Ringger, Zhu Zhang, Robert ...
ESSMAC
2003
Springer
15 years 11 months ago
Nonlinear Predictive Control with a Gaussian Process Model
Abstract. Gaussian process models provide a probabilistic non-parametric modelling approach for black-box identification of nonlinear dynamic systems. The Gaussian processes can h...
Jus Kocijan, Roderick Murray-Smith
JSSPP
2004
Springer
15 years 11 months ago
Parallel Computer Workload Modeling with Markov Chains
Abstract. In order to evaluate different scheduling strategies for parallel computers, simulations are often executed. As the scheduling quality highly depends on the workload tha...
Baiyi Song, Carsten Ernemann, Ramin Yahyapour
UML
2004
Springer
15 years 11 months ago
System-on-Chip Verification Process Using UML
Abstract. In this paper, we propose a verification methodology for System-OnChip (SoC) design using Unified Modeling Language (UML). We introduce UML as a formal model to analyze a...
Qiang Zhu, Tsuneo Nakata, Masataka Mine, Kenichiro...
KDD
2007
ACM
142views Data Mining» more  KDD 2007»
16 years 6 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