1815 search results - page 72 / 363 » Cloud Computing: An Overview |
CIE
2008
Springer
14 years 3 days ago
2008
Springer
The extraction mechanism of Coq allows one to transform Coq proofs and functions into functional programs. We illustrate the behavior of this tool by reviewing several variants of ...
GPC
2010
Springer
14 years 2 months ago
2010
Springer
ICDCSW
2003
IEEE
14 years 3 months ago
2003
IEEE
The university campus is an interesting application environment for the ubiquitous computing paradigm: a large number of users share a substantial amount of their information need...
ICCV
2007
IEEE
15 years 2 days ago
2007
IEEE
Numerous applications processing 3D point data will gain from the ability to estimate reliably normals and differential geometric properties. Normal estimates are notoriously nois...
SSDBM
2010
IEEE
14 years 3 months ago
2010
IEEE
Science is becoming data-intensive, requiring new software architectures that can exploit resources at all scales: local GPUs for interactive visualization, server-side multi-core ...