Sciweavers

3639 search results - page 437 / 728
» Provenance as Dependency Analysis
Sort
View
ICRA
2006
IEEE
134views Robotics» more  ICRA 2006»
16 years 22 days 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
IPPS
2006
IEEE
16 years 22 days 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 21 days 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...
ASWEC
2005
IEEE
16 years 9 days 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...
CEC
2005
IEEE
16 years 9 days 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...