Sciweavers

3865 search results - page 218 / 773
» From Bidirectionality to Alternation
Sort
View
IJHPCA
2008
75views more  IJHPCA 2008»
15 years 6 months ago
Towards Ultra-High Resolution Models of Climate and Weather
We present a speculative extrapolation of the performance aspects of an atmospheric general circulation model to ultra-high resolution and describe alternative technological paths...
Michael F. Wehner, Leonid Oliker, John Shalf
IPL
2008
102views more  IPL 2008»
15 years 6 months ago
The connection between two ways of reasoning about partial functions
Undefined terms involving the application of partial functions and operators are common in program specifications and in discharging proof obligations that arise in design. One wa...
John S. Fitzgerald, Cliff B. Jones
ISCI
2008
129views more  ISCI 2008»
15 years 6 months ago
Thai spelling analysis for automatic spelling speech recognition
Spelling speech recognition can be applied for several purposes including enhancement of speech recognition systems and implementation of name retrieval systems. This paper presen...
Chutima Pisarn, Thanaruk Theeramunkong
NECO
2008
108views more  NECO 2008»
15 years 6 months ago
Optimal Approximation of Signal Priors
In signal restoration by Bayesian inference, one typically uses a parametric model of the prior distribution of the signal. Here, we consider how the parameters of a prior model s...
Aapo Hyvärinen
ORGSCI
2008
54views more  ORGSCI 2008»
15 years 6 months ago
On the Problem of Participation in Strategy: A Critical Discursive Perspective
We still know little of why strategy processes often involve participation problems. In this paper, we argue that this crucial issue is linked to fundamental assumptions concernin...
Saku Mantere, Eero Vaara