Sciweavers

1683 search results - page 14 / 337
» A Needed Narrowing Strategy
Sort
View
107
Voted
SCAM
2007
IEEE
15 years 8 months ago
Finding Inputs that Reach a Target Expression
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 ...
Matthew Naylor, Colin Runciman
HAID
2010
Springer
15 years 11 days ago
The Influence of Angle Size in Navigation Applications Using Pointing Gestures
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 ...
Charlotte Magnusson, Kirsten Rassmus-Gröhn, D...
ICFP
2005
ACM
15 years 7 months ago
Fast narrowing-driven partial evaluation for inductively sequential programs
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...
J. Guadalupe Ramos, Josep Silva, Germán Vid...
CICLING
2009
Springer
16 years 2 months ago
Reducing the Plagiarism Detection Search Space on the Basis of the Kullback-Leibler Distance
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...
Alberto Barrón-Cedeño, Paolo Rosso, ...
CVPR
2003
IEEE
16 years 3 months ago
Eye Gaze Tracking Using an Active Stereo Head
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...
David Beymer, Myron Flickner