Sciweavers

2605 search results - page 138 / 521
» The many levels of CSCL
Sort
View
PVM
2005
Springer
16 years 1 hour ago
Cooperative Write-Behind Data Buffering for MPI I/O
Many large-scale production parallel programs often run for a very long time and require data checkpoint periodically to save the state of the computation for program restart and/o...
Wei-keng Liao, Kenin Coloma, Alok N. Choudhary, Le...
XSYM
2005
Springer
154views Database» more  XSYM 2005»
15 years 12 months ago
An Extended Preorder Index for Optimising XPath Expressions
Many of the problems with native XML databases relate to query performance and subsequently, it can be difficult to convince traditional database users of the benefits of using se...
Martin F. O'Connor, Zohra Bellahsene, Mark Roantre...
SAC
2004
ACM
15 years 12 months ago
Boundary extraction in thermal images by edge map
Extracting object boundaries in thermal images is a challenging task because of the amorphous nature of the images and the lack of sharp boundaries. Classical edge-based segmentat...
Quming Zhou, Zhuojing Li, Jake K. Aggarwal
GISCIENCE
2004
Springer
105views GIS» more  GISCIENCE 2004»
15 years 12 months ago
Effect of Category Aggregation on Map Comparison
This paper investigates the influence of category aggregation on measurement of land-use and land-cover change. To date, research concerning data aggregation has examined primarily...
Robert Gilmore Pontius Jr., Nicholas R. Malizia
IFIP
2004
Springer
15 years 12 months ago
Static program transformations for efficient software model checking
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...
Shobha Vasudevan, Jacob A. Abraham