Sciweavers

2646 search results - page 256 / 530
» Local Type Inference
Sort
View
IGARSS
2010
15 years 4 months ago
Towards Bayesian estimator selection for QuikSCAT wind and rain estimation
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...
Michael P. Owen, David G. Long
IVA
2010
Springer
15 years 4 months ago
MAY: My Memories Are Yours
Abstract. In human relations engagement and continuous communication is promoted by the process of sharing experiences. This type of social behaviour plays an important role in the...
Joana Campos, Ana Paiva
PROVSEC
2010
Springer
15 years 4 months ago
Efficient Confirmer Signatures from the "Signature of a Commitment" Paradigm
Generic constructions of designated confirmer signatures follow one of the following two strategies; either produce a digital signature on the message to be signed, then encrypt th...
Laila El Aimani
DLOG
2011
14 years 10 months ago
Extracting Finite Sets of Entailments from OWL Ontologies
The canonical standard description logic reasoning service is classification, that is, the generation of the set of atomic subsumptions which are entailed by some ontology. While ...
Samantha Bail, Bijan Parsia, Ulrike Sattler
TLDI
2010
ACM
247views Formal Methods» more  TLDI 2010»
16 years 3 months ago
F-ing modules
ML modules are a powerful language mechanism for decomposing programs into reusable components. Unfortunately, they also have a reputation for being “complex” and requiring fa...
Andreas Rossberg, Claudio V. Russo, Derek Dreyer