94 search results - page 17 / 19 » Computability and Complexity Results for a Spatial Assertion... |
SAC
2009
ACM
14 years 2 months ago
2009
ACM
IP multicast is increasingly seen as efficient mode of live content distribution in the Internet to significantly large subscriber bases. Despite its numerous benefits over IP u...
DAS
2006
Springer
13 years 11 months ago
2006
Springer
Engineering diagnosis often involves analyzing complex records of system states printed to large, textual log files. Typically the logs are designed to accommodate the widest debug...
TMI
2008
13 years 7 months ago
2008
Abstract-- The projection data measured in computed tomography (CT) and, consequently, the slices reconstructed from these data are noisy. We present a new wavelet based structurep...
VISUALIZATION
1995
IEEE
13 years 11 months ago
1995
IEEE
In the research described here, we have constructed at tightly coupled set of methods for monitoring, steering, and applying visual analysis to large scale simulations. This work ...
NJC
2000
13 years 7 months ago
2000
We show how linear typing can be used to obtain functional programs which modify heap-allocated data structures in place. We present this both as a "design pattern" for ...