Sciweavers

1622 search results - page 149 / 325
» Autonomous Mobile Programs
Sort
View
FMOODS
2008
13 years 11 months ago
Termination Analysis of Java Bytecode
Abstract. Termination analysis has received considerable attention, traditionally in the context of declarative programming, and recently also for imperative languages. In existing...
Elvira Albert, Puri Arenas, Michael Codish, Samir ...
CASSIS
2004
Springer
14 years 3 months ago
Mobile Resource Guarantees for Smart Devices
We present the Mobile Resource Guarantees framework: a system for ensuring that downloaded programs are free from run-time violations of resource bounds. Certificates are attached...
David Aspinall, Stephen Gilmore, Martin Hofmann, D...
ECCV
1998
Springer
14 years 2 months ago
Stereo Vision-Based Navigation in Unknown Indoor Environment
Different applications in the field of vision-based navigation of autonomous mobile robots depend on the degree of knowledge of the environment. Indoor environment applications oft...
Oliver Schreer
IJCSA
2007
130views more  IJCSA 2007»
13 years 10 months ago
Purposeful Deployment via Self-Organizing Flocking Coalition in Sensor Networks
This paper presents a deployment strategy via self organizing flocking coalitions for mobile sensor network coverage. The concepts of our approach are inspired by the flocking phe...
Yee Ming Chen, Shu-Hao Chang
UM
2009
Springer
14 years 4 months ago
Filtering Fitness Trail Content Generated by Mobile Users
This paper proposes a novel trail sharing system for mobile devices that deals with context information collected by sensors, as well as users’ personal opinions (e.g., landscape...
Fabio Buttussi, Luca Chittaro, Daniele Nadalutti