Sciweavers

769 search results - page 87 / 154
» Supporting Reflective Practitioners
Sort
View
ICIAP
2005
ACM
14 years 8 months ago
3D Surface Reconstruction from Scattered Data Using Moving Least Square Method
This paper presents an efficient implementation of moving least square(MLS) approximation for 3D surface reconstruction. The smoothness of the MLS is mainly determined by the weigh...
Soon-Jeong Ahn, Jaechil Yoo, Byung-Gook Lee, Joon-...
MOBISYS
2007
ACM
14 years 7 months ago
Simplifying cyber foraging for mobile devices
Cyber foraging is the transient and opportunistic use of compute servers by mobile devices. The short market life of such devices makes rapid modification of applications for remo...
Rajesh Krishna Balan, Darren Gergle, Mahadev Satya...
POPL
2010
ACM
14 years 5 months ago
Structuring the verification of heap-manipulating programs
Most systems based on separation logic consider only restricted forms of implication or non-separating conjunction, as full support for these connectives requires a non-trivial no...
Aleksandar Nanevski, Josh Berdine, Viktor Vafeiadi...
CSE
2009
IEEE
14 years 2 months ago
Designing Privacy for Scalable Electronic Healthcare Linkage
—A unified electronic health record (EHR) has potentially immeasurable benefits to society, and the current healthcare industry drive to create a single EHR reflects this. Howeve...
Anthony Stell, Richard O. Sinnott, Oluwafemi Ajayi...
ECTEL
2007
Springer
14 years 2 months ago
Smart Indicators on Learning Interactions
Indicators help actors to organise, orientate and navigate through complex environments by providing contextual information relevant for the performance of learning tasks. In this ...
Christian Glahn, Marcus Specht, Rob Koper