1446 search results - page 267 / 290 » Testing for Concise Representations |
MICCAI
2008
Springer
14 years 8 months ago
2008
Springer
Tagged Magnetic Resonance Imaging (tMRI) is a non-invasive way of tracking the in-vivo myocardial motion during cardiac cycles. Tags are material points which deform along the myo...
CAV
2009
Springer
14 years 8 months ago
2009
Springer
We present HOMER, an observational-equivalence model checker for the 3rd-order fragment of Idealized Algol (IA) augmented with iteration. It works by first translating terms of the...
KDD
2009
ACM
14 years 8 months ago
2009
ACM
One common predictive modeling challenge occurs in text mining problems is that the training data and the operational (testing) data are drawn from different underlying distributi...
KDD
2006
ACM
14 years 8 months ago
2006
ACM
KDD is a complex and demanding task. While a large number of methods has been established for numerous problems, many challenges remain to be solved. New tasks emerge requiring th...
KDD
2006
ACM
14 years 8 months ago
2006
ACM
We describe a data mining system to detect frauds that are camouflaged to look like normal activities in domains with high number of known relationships. Examples include accounti...