Sciweavers

18429 search results - page 400 / 3686
» Typing dynamic typing
Sort
View
IGARSS
2009
15 years 4 months ago
Remotely Sensed Phenology for Mapping Biomes and Vegetation Functional Types
This study used remotely-sensed phenology data derived from Advanced Very High Resolution Radiometer (AVHRR), in a fully supervised decision-tree classification based on the new b...
Konrad J. Wessels, Karen Steenkamp, Graham Von Mal...
IJAC
2010
58views more  IJAC 2010»
15 years 4 months ago
R-Polynomials of Finite Monoids of Lie Type
This paper studies the combinatorics of the orbit Hecke algebras associated with W
Kürsat Aker, Mahir Bilen Can, Müge Taski...
CORR
2010
Springer
59views Education» more  CORR 2010»
15 years 3 months ago
Types for BioAmbients
Sara Capecchi, Angelo Troina
CORR
2010
Springer
63views Education» more  CORR 2010»
15 years 1 months ago
Subject reduction in a Curry-style polymorphic type system with a vectorial structure
Pablo Arrighi, Alejandro Díaz-Caro, Beno&ic...