Sciweavers

4205 search results - page 398 / 841
» Typed Mobile Objects
Sort
View
PEPM
1999
ACM
15 years 11 months ago
Certifying Compilation and Run-Time Code Generation
A certifying compiler takes a source language program and produces object code, as well as a certi cate" that can be used to verify that the object code satis es desirable pr...
Luke Hornof, Trevor Jim
WACV
2005
IEEE
16 years 8 days ago
Real-Time Detection of Independent Motion using Stereo
We describe a system that detects independently moving objects from a mobile platform in real time using a calibrated stereo camera. Interest points are first detected and tracke...
Motilal Agrawal, Kurt Konolige, Luca Iocchi
ICAT
2003
IEEE
15 years 12 months ago
Effective Output Patterns for Torque Display
In the previous paper in ICAT2002, we reported that a non-grounded palm-top torque display "GyroCube" was developed. Although it requires no grounding base for supportin...
Masataka Sakai, Yukio Fukui, Norio Nakamura
171
Voted
ATAL
2006
Springer
15 years 10 months ago
Multi-model motion tracking under multiple team member actuators
Autonomous robots need to track objects. Object tracking relies on predefined robot motion and sensory models. Tracking is particularly challenging if the robots can actuate on th...
Yang Gu, Manuela M. Veloso
WKDD
2008
CPS
97views Data Mining» more  WKDD 2008»
16 years 1 months ago
Knowledge Management in the Ubiquitous Software Development
The continuous technical advances have lead to the proliferation of very small and very cheap microprocessors, equipped with sensors and capacity of wireless communication. The in...
José Miguel Rubio León