Sciweavers

3819 search results - page 288 / 764
» Predicting Dependability by Testing
Sort
View
ESWA
2006
78views more  ESWA 2006»
15 years 4 months ago
Subscription fraud prevention in telecommunications using fuzzy rules and neural networks
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...
Pablo A. Estévez, Claudio M. Held, Claudio ...
111
Voted
ICRA
2010
IEEE
92views Robotics» more  ICRA 2010»
15 years 3 months ago
Spatiotemporal path planning in strong, dynamic, uncertain currents
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...
David R. Thompson, Steve Chien, Yi Chao, Peggy Li,...
TPHOL
2005
IEEE
15 years 10 months ago
A Structured Set of Higher-Order Problems
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...
Christoph Benzmüller, Chad E. Brown
125
Voted
ICMCS
2008
IEEE
138views Multimedia» more  ICMCS 2008»
15 years 11 months ago
Single-loop decoding for multiview video coding
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)...
Ying Chen, Ye-Kui Wang, Miska M. Hannuksela, Monce...
149
Voted
KDD
1997
ACM
122views Data Mining» more  KDD 1997»
15 years 9 months ago
Computing Optimized Rectilinear Regions for Association Rules
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...
Kunikazu Yoda, Takeshi Fukuda, Yasuhiko Morimoto, ...