Sciweavers

3639 search results - page 437 / 728
» Provenance as Dependency Analysis
Sort
View
211
Voted
ICRA
2006
IEEE
134views Robotics» more  ICRA 2006»
16 years 1 months ago
Validation and Explanation of Waterhammer-based Locomotion
ACT Search and rescue robots often use tethers to provide power and communication, but tethers get caught on debris and small robots have difficulty with the added drag of the tet...
Ross L. Feller, Douglas P. Perrin, Robert D. Howe
189
Voted
IPPS
2006
IEEE
16 years 1 months ago
A proactive fault-detection mechanism in large-scale cluster systems
To improve the whole dependability of large-scale cluster systems, an online fault detection mechanism is proposed in this paper. This mechanism can detect the fault in time befor...
Linping Wu, Dan Meng, Wen Gao, Jianfeng Zhan
ISCAS
2006
IEEE
96views Hardware» more  ISCAS 2006»
16 years 1 months ago
Frame-level data reuse for motion-compensated temporal filtering
— Motion-compensated temporal filtering (MCTF) is an open-loop prediction scheme, so the frame-level data reuse for MCTF is possible. In this paper, we propose two general frame...
Ching-Yeh Chen, Yi-Hau Chen, Chih-Chi Cheng, Liang...
227
Voted
ASWEC
2005
IEEE
16 years 1 months ago
A Formal Method for Program Slicing
Program slicing is a well-known program analysis technique that extracts the elements of a program related to a particular computation. Based on modular monadic semantics of a pro...
Yingzhou Zhang, Baowen Xu, José Emilio Labr...
190
Voted
CEC
2005
IEEE
16 years 1 months ago
ICARUS: intelligent coupon allocation for retailers using search
Many retailers run loyalty card schemes for their customers offering incentives in the form of money off coupons. The total value of the coupons depends on how much the customer ha...
Stephen Swift, Amy Shi, Jason Crampton, Allan Tuck...