72 search results - page 14 / 15 » Language-Based Optimisation of Sensor-Driven Distributed Com... |
86
Voted
CF
2005
ACM
15 years 5 days ago
2005
ACM
Result checking is the theory and practice of proving that the result of an execution of a program on an input is correct. Result checking has most often been envisioned in the fr...
MOBISYS
2008
ACM
15 years 9 months ago
2008
ACM
Cascadia is a system that provides RFID-based pervasive computing applications with an infrastructure for specifying, extracting and managing meaningful high-level events from raw...
ISPAN
1997
IEEE
15 years 2 months ago
1997
IEEE
This paper is concerned with the transparent parallelisation of declarative database queries, based on theoretical principles. We have designed an entire database architecture sui...
100
click to vote
ICHIM
2001
14 years 11 months ago
2001
Within the field of cultural heritage restoration, experts are interested in the analysis of data describing the condition and history of ancient monuments. Data are usually distr...
91
Voted
CCGRID
2008
IEEE
15 years 4 months ago
2008
IEEE
— Diffusion Tensor Imaging (DTI) provides insight into the white matter of the human brain, which is affected by Schizophrenia. By comparing a patient group to a control group, t...