Sciweavers

4934 search results - page 725 / 987
» Implementing an API for Distributed Adaptive Computing Syste...
Sort
View
ICSE
2010
IEEE-ACM
15 years 5 months ago
Requirements reflection: requirements as runtime entities
Computational reflection is a well-established technique that gives a program the ability to dynamically observe and possibly modify its behaviour. To date, however, reflection is...
Nelly Bencomo, Jon Whittle, Peter Sawyer, Anthony ...
CGF
2008
153views more  CGF 2008»
15 years 3 months ago
Context Aware Terrain Visualization for Wayfinding and Navigation
To assist wayfinding and navigation, the display of maps and driving directions on mobile devices is nowadays commonplace. While existing system can naturally exploit GPS informat...
Sebastian Möser, Patrick Degener, Roland Wahl...
AI
2000
Springer
15 years 2 months ago
Proving theorems by reuse
We investigate the improvement of theorem proving by reusing previously computed proofs. We have developed and implemented the PLAGIATOR system which proves theorems by mathematic...
Christoph Walther, Thomas Kolbe
ICCV
2009
IEEE
16 years 8 months ago
Efficient Privacy Preserving Video Surveillance
Widespread use of surveillance cameras in offices and other business establishments, pose a significant threat to the privacy of the employees and visitors. The challenge of int...
Maneesh Upmanyu, Anoop M. Namboodiri, Kannan Srina...
DAC
2006
ACM
16 years 4 months ago
Harvesting aware power management for sensor networks
Energy harvesting offers a promising alternative to solve the sustainability limitations arising from battery size constraints in sensor networks. Several considerations in using ...
Aman Kansal, Jason Hsu, Mani B. Srivastava, Vijay ...