Sciweavers

1783 search results - page 161 / 357
» Provenance and Data Synchronization
Sort
View
POPL
2002
ACM
16 years 4 months ago
Proving correctness of compiler optimizations by temporal logic
Many classical compiler optimizations can be elegantly expressed using rewrite rules of form: I = I if , where I, I are intermediate language instructions and is a property expre...
David Lacey, Neil D. Jones, Eric Van Wyk, Carl Chr...
ESSOS
2009
Springer
15 years 11 months ago
MEDS: The Memory Error Detection System
Abstract. Memory errors continue to be a major source of software failure. To address this issue, we present MEDS (Memory Error Detection System), a system for detecting memory err...
Jason Hiser, Clark L. Coleman, Michele Co, Jack W....
FGR
2008
IEEE
144views Biometrics» more  FGR 2008»
15 years 10 months ago
Bi-channel sensor fusion for automatic sign language recognition
In this paper, we investigate the mutual-complementary functionality of accelerometer (ACC) and electromyogram (EMG) for recognizing seven word-level sign vocabularies in German S...
Jonghwa Kim, Johannes Wagner, Matthias Rehm, Elisa...
ICRA
2007
IEEE
136views Robotics» more  ICRA 2007»
15 years 10 months ago
Bilateral Delayed Teleoperation: The Effects of a Passivated Channel Model and Force Sensing
— In this paper, based on a passivity framework, admittance-type and hybrid-type delay-compensated communication channel models are introduced, which warrant different bilateral ...
Arash Aziminejad, Mahdi Tavakoli, Rajnikant V. Pat...
ISVC
2007
Springer
15 years 10 months ago
Geographic Image Retrieval Using Interest Point Descriptors
Abstract. We investigate image retrieval using interest point descriptors. New geographic information systems such as Google Earth and Microsoft Virtual Earth are providing increas...
Shawn Newsam, Yang Yang