3819 search results - page 288 / 764 » Predicting Dependability by Testing |
138
click to vote
ESWA
2006
15 years 4 months ago
2006
A system to prevent subscription fraud in fixed telecommunications with high impact on long-distance carriers is proposed. The system consists of a classification module and a pre...
111
Voted
ICRA
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract— This work addresses mission planning for autonomous underwater gliders based on predictions of an uncertain, time-varying current eld. Glider submersibles are highly se...
148
click to vote
TPHOL
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract. We present a set of problems that may support the development of calculi and theorem provers for classical higher-order logic. We propose to employ these test problems as...
125
Voted
ICMCS
2008
IEEE
15 years 11 months ago
2008
IEEE
Multiview video coding (MVC) is currently being standardized by the Joint Video Team as an extension of H264/AVC. When an MVC bitstream is decoded, some views (named target views)...
149
Voted
KDD
1997
ACM
15 years 9 months ago
1997
ACM
We address the problem of nding useful regions for two-dimensional association rules and decision trees. In a previous paper we presented ecient algorithms for computing optimiz...