4 search results - page 1 / 1 » Fast and Accurate Strong Termination Analysis with an Applic... |
WFLP
2009
Springer
13 years 11 months ago
2009
Springer
A logic program strongly terminates if it terminates for any selection rule. Clearly, considering a particular selection rule—like Prolog’s leftmost selection rule—allows one...
PEWASUN
2007
ACM
13 years 6 months ago
2007
ACM
Wireless Sensor Network (WSN) technology is now mature enough to be used in numerous application domains. However, due to the restricted amount of energy usually allocated to each...
ICC
2007
IEEE
13 years 8 months ago
2007
IEEE
Accurate system planning and performance evaluation requires knowledge of the joint impact of scheduling, interference, and fading. However, current analyses either require costly...
CVPR
2011
IEEE
13 years 1 months ago
2011
IEEE
Fast and reliable algorithms for estimating the head pose are essential for many applications and higher-level face analysis tasks. We address the problem of head pose estimation ...