626 search results - page 30 / 126 » When Can Formal Methods Make a Real Difference |
ICDE
2006
IEEE
14 years 10 months ago
2006
IEEE
We introduce a new domain-independent framework for formulating and efficiently evaluating similarity queries over historical data, where given a history as a sequence of timestam...
TYPES
1998
Springer
14 years 27 days ago
1998
Springer
We define a generic notion of cut that applies to many first-order theories. We prove a generic cut elimination theorem showing that the cut elimination property holds for all theo...
ECML
2006
Springer
14 years 11 days ago
2006
Springer
Abstract. In this paper, we propose a new method for learning to rank. `Ranking SVM' is a method for performing the task. It formulizes the problem as that of binary classific...
KDD
2009
ACM
14 years 9 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...
ICIP
2006
IEEE
14 years 10 months ago
2006
IEEE
Inter- and intra-observer variability exists in any measurements made on medical images. There are two sources of variability. The first occurs when the observers identify and loc...