Sciweavers

13734 search results - page 181 / 2747
» Abstractions of data types
Sort
View
SIAMIS
2010
114views more  SIAMIS 2010»
15 years 2 months ago
Improved Total Variation-Type Regularization Using Higher Order Edge Detectors
We present a novel deconvolution approach to accurately restore piecewise smooth signals from blurred data. The first stage uses Higher Order Total Variation restorations to obtai...
Wolfgang Stefan, Rosemary A. Renaut, Anne Gelb
IGARSS
2009
15 years 1 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...
ER
2001
Springer
60views Database» more  ER 2001»
15 years 8 months ago
Tripod: A Comprehensive Model for Spatial and Aspatial Historical Objects
Abstract Spatio-temporal extensions to data models have been an active area of research for a number of years. To date, much of this work has focused on the relational data model, ...
Tony Griffiths, Alvaro A. A. Fernandes, Norman W. ...
ICFP
2001
ACM
16 years 4 months ago
Functioning without Closure: Type-Safe Customized Function Representations for Standard ML
The CIL compiler for core Standard ML compiles whole ML programs using a novel typed intermediate language that supports the generation of type-safe customized data representation...
Allyn Dimock, Ian Westmacott, Robert Muller, Frank...
IEEEIAS
2008
IEEE
15 years 10 months ago
Developing a Security Typed Java Servlet
: The Lack of security policy enforcement in web development languages is one of the most important challenges in web application systems development, as there is no formal check f...
Doaa Hassan, Sherif El-Kassas, Ibrahim Ziedan