3218 search results - page 78 / 644 » Timed Extensions for SDL |
ICDE
2006
IEEE
14 years 11 months ago
2006
IEEE
In this paper, we present the ArchIS system that achieves full-functionality transaction-time databases without requiring temporal extensions in XML or database standards. ArchIS&...
ADHOCNETS
2009
Springer
14 years 4 months ago
2009
Springer
We present a low-cost sensor buoy designed for unattended dissolved oxygen measurement in aquatic environment. We describe the buoy’s architectural design and three experiments ...
FORMATS
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. We study the realizability problem for specifications of reactive systems expressed in real-time linear temporal logics. The logics we consider are subsets of MITL (Metr...
ICVS
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. We present a real-time approach for traversable surface detection using a low-cost monocular camera mounted on an autonomous vehicle. The proposed methodology extracts co...
ICRA
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract— Imitation learning, or programming by demonstration (PbD), holds the promise of allowing robots to acquire skills from humans with domain-specific knowledge, who nonet...