1683 search results - page 14 / 337 » A Needed Narrowing Strategy |
SCAM
2007
IEEE
14 years 1 months ago
2007
IEEE
We present an automated program analysis, called Reach, to compute program inputs that cause evaluation of explicitly-marked target expressions. Reach has a range of applications ...
HAID
2010
Springer
13 years 6 months ago
2010
Springer
One factor which can be expected to influence performance in applications where the user points a device in some direction to obtain information is the angle interval in which the ...
ICFP
2005
ACM
14 years 1 months ago
2005
ACM
Narrowing-driven partial evaluation is a powerful technique for the specialization of (first-order) functional and functional logic programs. However, although it gives good resu...
CICLING
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. Automatic plagiarism detection considering a reference corpus compares a suspicious text to a set of original documents in order to relate the plagiarised fragments to th...
CVPR
2003
IEEE
14 years 9 months ago
2003
IEEE
In the eye gaze tracking problem, the goal is to determine where on a monitor screen a computer user is looking ? the gaze point. Existing systems generally have one of two limita...