4120 search results - page 559 / 824 » Exploring ocean data |
114
click to vote
CE
2008
15 years 4 months ago
2008
Despite the assumption that the integration of ICT influences the entire school system, research focusing on ICT in schools is generally limited to the study of variables at class...
101
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Secure data compression in the presence of side information at both a legitimate receiver and an eavesdropper is explored. A noise-free, limited rate link between the source and th...
121
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Power line as an alternative for data transmission is being explored, and also being used to a certain extent. But from the data transfer point of view, power line, as a channel i...
151
click to vote
ENTCS
2008
15 years 4 months ago
2008
HOL-TestGen is a specification and test case generation environment extending the interactive theorem prover Isabelle/HOL. The HOL-TestGen method is two-staged: first, the origina...
179
click to vote
GRID
2008
Springer
15 years 4 months ago
2008
Springer
A myriad of recent activities can be seen towards dynamic workflow composition for processing complex and data intensive problems. Meanwhile, the simultaneous emergence of the gri...