2335 search results - page 415 / 467 » Type Checking Type Classes |
ICDE
2004
IEEE
14 years 10 months ago
2004
IEEE
XML and other types of semi-structured data are typically represented by a labeled directed graph. To speed up path expression queries over the graph, a variety of structural inde...
VIS
2007
IEEE
14 years 10 months ago
2007
IEEE
We present a novel approach for analyzing two-dimensional (2D) flow field data based on the idea of invariant moments. Moment invariants have traditionally been used in computer vi...
ICFP
2009
ACM
14 years 9 months ago
2009
ACM
re a popular form of abstract computation. Being more general than monads, they are more broadly applicable, and in parare a good abstraction for signal processing and dataflow co...
CRV
2009
IEEE
14 years 3 months ago
2009
IEEE
The use of synthetic aperture radar (SAR) has become an integral part of sea-ice monitoring and analysis in the polar regions. An important task in sea-ice analysis is to segment ...
SYSTOR
2009
ACM
14 years 3 months ago
2009
ACM
Data compression has been claimed to be an attractive solution to save energy consumption in high-end servers and data centers. However, there has not been a study to explore this...