46 search results - page 6 / 10 » Towards Type Inference for JavaScript |
IGARSS
2010
13 years 5 months ago
2010
The QuikSCAT scatterometer infers wind vectors over the ocean using measurements of the surface backscatter. During rain events the QuikSCAT observations are subject to rain conta...
EMSOFT
2004
Springer
14 years 28 days ago
2004
Springer
The paper introduces a higher-order synchronous data-flow language in which communication channels may themselves transport programs. This provides a mean to dynamically reconfi...
AOSD
2005
ACM
14 years 1 months ago
2005
ACM
Middleware becomes increasingly important in building distributed applications. Conventional middleware systems are designed, implemented, and packaged before applications are dev...
ICLP
2005
Springer
14 years 1 months ago
2005
Springer
Abduction is usually carried out on partially-defined predicates. In this paper we investigate abduction applied to fully-defined predicates, specifically linear arithmetic cons...
GECCO
2004
Springer
14 years 28 days ago
2004
Springer
A successful industrial application of a novel type biomass estimator based on Genetic Programming (GP) is described in the paper. The biomass is inferred from other available meas...