1
Published 2007
Table of Contents: ... -- Refining Interface Alphabets for Compositional Verification -- MAVEN: Modular Aspect Verification...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... Frequent Itemsets -- A Novel Method to Find Appropriate ? for DBSCAN -- Towards Semantic Preprocessing...
View full text
Electronic eBook
3
Published 2007
Table of Contents: ... with Preprocessing -- Games, Time, and Probability: Graph Models for System Design and Analysis -- Agreement...
View full text
Electronic eBook
4
Published 2006
Table of Contents: ... on Costing Methods for Internet Bid Systems -- An Enhanced Super-Peer Model for Digital Library Construction...
View full text
Electronic eBook
5
Published 2012
Table of Contents: ... Series Prediction Method Based on LS-SVR with Modified Gaussian RBF -- An Improved Method...
View full text
Electronic eBook
6
Published 2015
Table of Contents: ... Method for Web Security Context Patterns Development from User Interface Guidelines based on Structural...
View full text
Electronic eBook