658 search results - page 67 / 132 » Slicing Methods Using Static and Dynamic Analysis Informatio... |
CP
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. We propose a general framework for assertion-based debugging of constraint logic programs. Assertions are linguistic constructions which allow expressing properties of pr...
PLDI
2010
ACM
15 years 5 months ago
2010
ACM
Programming language specifications mandate static and dynamic analyses to preclude syntactic and semantic errors. Although individual languages are usually well-specified, comp...
124
click to vote
SIGIR
2009
ACM
15 years 6 months ago
2009
ACM
Recommender Systems, based on collaborative filtering (CF), aim to accurately predict user tastes, by minimising the mean error achieved on hidden test sets of user ratings, afte...
ICIP
2001
IEEE
16 years 1 months ago
2001
IEEE
The paper presents several novel 3D image analysis algorithms, applied towards the segmentation and modeling of faces and hands. These are subsequently used to build a face-based ...
100
click to vote
VIS
2007
IEEE
16 years 1 months ago
2007
IEEE
Perfusion data are dynamic medical image data which characterize the regional blood flow in human tissue. These data bear a great potential in medical diagnosis, since diseases can...