16626 search results - page 5 / 3326 » Computing is a natural science |
SC
2009
ACM
14 years 5 months ago
2009
ACM
Error Subspace Statistical Estimation (ESSE), an uncertainty prediction and data assimilation methodology employed for real-time ocean forecasts, is based on a characterization an...
WSC
2007
14 years 1 months ago
2007
I will review the role that Monte Carlo methods play in the physical sciences. They are very widely used for a number of reasons: they permit the rapid and faithful transformation...
SIGCSE
2002
ACM
13 years 10 months ago
2002
ACM
TLCA
2001
Springer
14 years 3 months ago
2001
Springer
We introduce λµ→∧∨⊥ , an extension of Parigot’s λµ-calculus where disjunction is taken as a primitive. The associated reduction relation, which includes the permutati...
ACSC
2003
IEEE
14 years 4 months ago
2003
IEEE
In this paper we tackle the problem of generating natural route descriptions on the basis of input obtained from a commercially available way-finding system. Our framework and ar...