2514 search results - page 418 / 503 » The use of industrial-strength formal methods |
174
click to vote
WOTE
2010
15 years 4 months ago
2010
Abstract. While electronic elections promise the possibility of convenient, efficient and secure facilities for recording and tallying votes, recent studies have highlighted inadeq...
183
click to vote
SIAMAM
2011
14 years 9 months ago
2011
We develop a general theory of the swelling kinetics of polymer gels, with the view that a polymer gel is a two-phase fluid. The model we propose is a free boundary problem and ca...
216
click to vote
CAIP
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. In depth map generation, the settings of the algorithm parameters to yield an accurate disparity estimation are usually chosen empirically or based on unplanned experimen...
178
click to vote
KDD
2009
ACM
16 years 6 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...
188
click to vote
KDD
2005
ACM
16 years 6 months ago
2005
ACM
Addressed in this paper is the issue of `email data cleaning' for text mining. Many text mining applications need take emails as input. Email data is usually noisy and thus i...