Sciweavers

6583 search results - page 851 / 1317
» Semantic Analysis Patterns
Sort
View
EUROMICRO
2007
IEEE
16 years 2 months ago
Partial Verification of Software Components: Heuristics for Environment Construction
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...
Pavel Parizek, Frantisek Plasil
ICDCS
2007
IEEE
16 years 2 months ago
An Empirical Study of Collusion Behavior in the Maze P2P File-Sharing System
Peer-to-peer networks often use incentive policies to encourage cooperation between nodes. Such systems are generally susceptible to collusion by groups of users in order to gain ...
Qiao Lian, Zheng Zhang, Mao Yang, Ben Y. Zhao, Yaf...
ICDE
2007
IEEE
209views Database» more  ICDE 2007»
16 years 2 months ago
Hierarchical Temporal Association Mining for Video Event Detection in Video Databases
With the proliferation of multimedia data and evergrowing requests for multimedia applications, new challenges are emerged for efficient and effective managing and accessing large...
Min Chen, Shu-Ching Chen, Mei-Ling Shyu
MCS
2007
Springer
16 years 1 months ago
An Experimental Study on Rotation Forest Ensembles
Rotation Forest is a recently proposed method for building classifier ensembles using independently trained decision trees. It was found to be more accurate than bagging, AdaBoost...
Ludmila I. Kuncheva, Juan José Rodrí...
ICDE
2006
IEEE
169views Database» more  ICDE 2006»
16 years 1 months ago
Unsupervised Outlier Detection in Time Series Data
Fraud detection is of great importance to financial institutions. This paper is concerned with the problem of finding outliers in time series financial data using Peer Group Analy...
Zakia Ferdousi, Akira Maeda