16626 search results - page 5 / 3326 » Computing is a natural science |
183
click to vote
SC
2009
ACM
16 years 21 days 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...
211
click to vote
WSC
2007
15 years 8 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...
180
click to vote
TLCA
2001
Springer
15 years 10 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...
137
click to vote
ACSC
2003
IEEE
15 years 11 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...