1178 search results - page 93 / 236 » Static and Dynamic Evaluation of Data Dependence Analysis |
KDD
2003
ACM
16 years 1 months ago
2003
ACM
Unexpected rules are interesting because they are either previously unknown or deviate from what prior user knowledge would suggest. In this paper, we study three important issues...
122
click to vote
VIP
2000
15 years 2 months ago
2000
Emission tomography such as positron emission tomography (PET) and single-photon emission computed tomography (SPECT) can provide in vivo measurements of dynamic physiological and...
121
click to vote
ECCV
2010
Springer
15 years 4 months ago
2010
Springer
Unsupervised learning requires a grouping step that defines which data belong together. A natural way of grouping in images is the segmentation of objects or parts of objects. Whi...
129
click to vote
CAV
2006
Springer
15 years 5 months ago
2006
Springer
We introduce calling context graphs and various static and theorem proving based analyses that together provide a powerful method for proving termination of programs written in fea...
IPPS
2006
IEEE
15 years 7 months ago
2006
IEEE
There are many application classes where the users are flexible with respect to the output quality. At the same time, there are other constraints, such as the need for real-time ...