Search results for "validity"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
63	Xuanli Lisa Xie, Gerardo Beni	A Validity Measure for Fuzzy Clustering.	IEEE Trans. Pattern Anal. Mach. Intell.	1991	DBLP DOI BibTeX RDF	fuzzy validity criterion, validity function, fuzzy c-partitions, geometric distance measure, cluster centroids, separation index, computer color vision system, IC wafer defects, pattern recognition, fuzzy clustering, fuzzy set theory, minimisation, uniqueness, color image segmentation
55	Sandro Saitta, Benny Raphael, Ian F. C. Smith	A Bounded Index for Cluster Validity.	MLDM	2007	DBLP DOI BibTeX RDF	clustering, k-means, cluster validity, validity index
48		A New Cluster Validity Index for Fuzzy Clustering Based on Similarity Measure.	RSFDGrC	2007	DBLP DOI BibTeX RDF	similarity measure, cluster validity index, Fuzzy cluster analysis
48	Jian Yu, Cui-Xia Li	Novel Cluster Validity Index for FCM Algorithm.	J. Comput. Sci. Technol.	2006	DBLP DOI BibTeX RDF	FCM, cluster validity, optimality test
48	XuLei Yang, Aize Cao, Qing Song 0001	A New Cluster Validity for Data Clustering.	Neural Process. Lett.	2006	DBLP DOI BibTeX RDF	Vapnik-Chervonenkis-bound, data clustering, cluster validity, deterministic annealing, structural risk minimization
47	Khaled El Emam, Andreas Birk 0001	Validating the ISO/IEC 15504 Measure of Software Requirements Analysis Process Capability.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	predictive validity, requirements analysis process, standards, validity, software quality, software process improvement, empirical evaluation, requirements engineering process, Software process assessment
46	Reginald E. Hammah, John H. Curran	Validity Measures for the Fuzzy Cluster Analysis of Orientations.	IEEE Trans. Pattern Anal. Mach. Intell.	2000	DBLP DOI BibTeX RDF	cluster performance measure, cluster validity indices, cluster performance measures, spherical data, directional data, cluster analysis, orientations, discontinuities, cluster validity index, Fuzzy cluster analysis
43	Alessandro G. Di Nuovo, Vincenzo Catania	On External Measures for Validation of Fuzzy Partitions.	IFSA (1)	2007	DBLP DOI BibTeX RDF	Fuzzy validity index, External Validity Criteria, Fuzzy Rand Index, Partition Assessment, DNC index, Data mining, Fuzzy Clustering
43	Norman F. Schneidewind	Methodology For Validating Software Metrics.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	comprehensive metrics validation methodology, quality functions, software organizations, project quality goals, nonparametric statistical methods, discriminative power validity criterion, metrics validation process, predictability, tracking, software metrics, software metrics, software reliability, program verification, quality control, repeatability, contingency tables, discriminative power, validity criteria
42	Rafael Bidarra, Willem F. Bronsvoort	Validity maintenance of semantic feature models.	Symposium on Solid Modeling and Applications	1999	DBLP DOI BibTeX RDF	feature semantics, validity maintenance, validity recovery, feature modeling
40	Benson S. Y. Lam, Hong Yan 0001	Assessment of Microarray Data Clustering Results Based on a New Geometrical Index for Cluster Validity.	Soft Comput.	2007	DBLP DOI BibTeX RDF	Clustering, Cluster validity, Data classification
40	Asli Celikyilmaz, I. Burhan Türksen	New Cluster Validity Index with Fuzzy Functions.	Analysis and Design of Intelligent Systems using Soft Computing Techniques	2007	DBLP DOI BibTeX RDF	improved fuzzy clustering, Cluster validity
40	Zhiwei Guan, Shirley Lee, Elisabeth Cuddihy, Judith Ramey	The validity of the stimulated retrospective think-aloud method as measured by eye tracking.	CHI	2006	DBLP DOI BibTeX RDF	retrospective think aloud, reliability, eye tracking, validity, usability research, verbalization
40	C.-H. Chou, M.-C. Su, E. Lai	A new cluster validity measure and its application to image compression.	Pattern Anal. Appl.	2004	DBLP DOI BibTeX RDF	Pattern recognition, Image compression, Clustering algorithm, Cluster validity, Vector quantisation
38	Xiaoming Li, Haotian Zhou, Shengzun Song, Tian Ran, Xiaolan Fu	The Reliability and Validity of the Chinese Version of Abbreviated PAD Emotion Scales.	ACII	2005	DBLP DOI BibTeX RDF
36	Arul Ganesh, K. Gopinath	SPKI/SDSI certificate chain discovery with generic constraints.	Bangalore Compute Conf.	2008	DBLP DOI BibTeX RDF	WPDS, certificate chain, validity specification, security, policy, SPKI/SDSI
35	Maria Halkidi, Dimitrios Gunopulos, Michalis Vazirgiannis, Nitin Kumar, Carlotta Domeniconi	A clustering framework based on subjective and objective validity criteria.	ACM Trans. Knowl. Discov. Data	2008	DBLP DOI BibTeX RDF	similarity measure learning, space learning, data mining, cluster validity, Semisupervised learning
35	Ujjwal Maulik, Sanghamitra Bandyopadhyay	Performance Evaluation of Some Clustering Algorithms and Validity Indices.	IEEE Trans. Pattern Anal. Mach. Intell.	2002	DBLP DOI BibTeX RDF	single linkage algorithm, simulated annealing, Euclidean distance, K-Means algorithm, Unsupervised classification, validity index
33	Gang Chen 0016, Xiaoyong Guo, Tai Hu	A Noise Insensitive Cluster Validity Measure for Pattern Classification.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
33	Kun Peng, Ed Dawson	Efficient Bid Validity Check in ElGamal-Based Sealed-Bid E-Auction.	ISPEC	2007	DBLP DOI BibTeX RDF
33	Jie Li 0001, Xinbo Gao 0001, Licheng Jiao	A New Cluster Validity Function Based on the Modified Partition Fuzzy Degree.	Rough Sets and Current Trends in Computing	2004	DBLP DOI BibTeX RDF
32	Jeen-Shing Wang, Jen-Chieh Chiang, Ya-Ting C. Yang	Support Vector Clustering with Outlier Detection.	ICIC (3)	2007	DBLP DOI BibTeX RDF	Support vector clustering, Cluster validity measure, Outlier detection
32	Harold W. Thimbleby	Validity and Cross-Validity in HCI Publications.	DSV-IS	2006	DBLP DOI BibTeX RDF
31	Albert Hung-Ren Ko, Robert Sabourin, Alceu de Souza Britto Jr.	Ensemble of HMM classifiers based on the clustering validity index for a handwritten numeral recognizer.	Pattern Anal. Appl.	2009	DBLP DOI BibTeX RDF	Codebook size, Pattern recognition, Hidden Markov Models, Ensemble of classifiers, Clustering validity index
31	E. Sean Rintel	Maximizing Environmental Validity: Remote Recording of Desktop Videoconferencing.	HCI (1)	2007	DBLP DOI BibTeX RDF	Desktop videoconferencing, environmental validity, remote recording, usability, methodology, novices, familiarity
31	Gordon V. Cormack, Thomas R. Lynam	Validity and power of t-test for comparing MAP and GMAP.	SIGIR	2007	DBLP DOI BibTeX RDF	statistical power, validity, significance test
31	Sriparna Saha 0001, Sanghamitra Bandyopadhyay, Ujjwal Maulik	A New Symmetry Based Cluster Validity Index: Application to Satellite Image Segmentation.	ICIT	2006	DBLP DOI BibTeX RDF	point symmetry based distance, symmetry, Unsupervised classification, Kd tree, remote sensing imagery, cluster validity index
31	Roger G. Stone, Jatinder Dhiensa	Proving the validity and accessibility of dynamic web-pages.	W4A	2004	DBLP DOI BibTeX RDF	dynamic Web-pages, accessibility, validity
31	James C. Bezdek, Wanqing Li 0001, Yianni Attikiouzel, Michael P. Windham	A geometric approach to cluster validity for normal mixtures.	Soft Comput.	1997	DBLP DOI BibTeX RDF	generalized Dunn's index, mixture decomposition, normal mixtures, Xie-Beni index, EM algorithm, cluster validity
31	Hannu Vanharanta, Timo Käkölä, Barbro Back	Validity and utility of a hyperknowledge-based financial benchmarking system.	HICSS (3)	1995	DBLP DOI BibTeX RDF	hyperknowledge-based financial benchmarking system, competitive benchmarking, company-internal process, company activities, hyperknowledge-based support systems, annual reports database, validity, hypermedia, utility, learning environment, best practices, user needs, very large databases, financial data processing, working environment, strategic management, strategic decision making
31	Xiaobo Li 0001	Parallel Algorithms for Hierarchical Clustering and Cluster Validity.	IEEE Trans. Pattern Anal. Mach. Intell.	1990	DBLP DOI BibTeX RDF	alignment network, pattern matrix, proximity matrix, parallel algorithms, computational complexity, computational complexity, parallel processing, computerised pattern recognition, hierarchical clustering, cluster validity, SIMD machines, parallel memory system
30	Gaurav Chakravorty, Paritosh K. Pandya	Digitizing Interval Duration Logic.	CAV	2003	DBLP DOI BibTeX RDF
30	Derek F. Reilly, Kori M. Inkpen	White rooms and morphing don't mix: setting and the evaluation of visualization techniques.	CHI	2007	DBLP DOI BibTeX RDF	contextual evaluation, external validity, information visualization, GIS, methodology, morphing, geographic visualization, ecological validity
29	Ahmad El Sayed, Hakim Hacid, Djamel A. Zighed	Exploring Validity Indices for Clustering Textual Data.	Mining Complex Data	2009	DBLP DOI BibTeX RDF
29	Jeen-Shing Wang, Jen-Chieh Chiang	A Cluster Validity Measure With Outlier Detection for Support Vector Clustering.	IEEE Trans. Syst. Man Cybern. Part B	2008	DBLP DOI BibTeX RDF
29	Ahmad El Sayed, Julien Velcin, Djamel A. Zighed	Word Clustering with Validity Indices.	Canadian AI	2008	DBLP DOI BibTeX RDF
29	Kun Peng, Feng Bao 0001	Efficient Vote Validity Check in Homomorphic Electronic Voting.	ICISC	2008	DBLP DOI BibTeX RDF
29	Marina Sapir, Mikhail Teverovskiy	Validity of Probabilistic Rules.	CIDM	2007	DBLP DOI BibTeX RDF
29	Kritsada Sriphaew, Thanaruk Theeramunkong	Measuring the Validity of Document Relations Discovered from Frequent Itemset Mining.	CIDM	2007	DBLP DOI BibTeX RDF
29	Sriparna Saha 0001, Sanghamitra Bandyopadhyay	On some symmetry based validity indices.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
29	Heng Zhao 0001, Jimin Liang, Haihong Hu	Clustering Validity Based on the Improved Hubert Gamma Statistic and the Separation of Clusters.	ICICIC (2)	2006	DBLP DOI BibTeX RDF
29	Atsushi Moritomo, Kiyoharu Hamaguchi, Toshinobu Kashiwabara	Validity Checking for Quantifier-Free First-Order Logic with Equality Using Substitution of Boolean Formulas.	ATVA	2004	DBLP DOI BibTeX RDF
29	Jian Yu, Houkuan Huang, Shengfeng Tian	Cluster Validity and Stability of Clustering Algorithms.	SSPR/SPR	2004	DBLP DOI BibTeX RDF
29	J. Jay Young, Hong Z. Tan, Rob Gray	Validity of Haptic Cues and Its Effect on Priming Visual Spatial Attention.	HAPTICS	2003	DBLP DOI BibTeX RDF
29	Maria Halkidi, Yannis Batistakis, Michalis Vazirgiannis	Cluster Validity Methods: Part I.	SIGMOD Rec.	2002	DBLP DOI BibTeX RDF
29	Claus-Peter Wirth, Bernhard Gramlich	On Notions of Inductive Validity for First-Oder Equational Clauses.	CADE	1994	DBLP DOI BibTeX RDF
28	Peter H. Kahn Jr., Brian T. Gill, Aimee L. Reichert, Takayuki Kanda 0001, Hiroshi Ishiguro, Jolina H. Ruckert	Validating interaction patterns in HRI.	HRI	2010	DBLP DOI BibTeX RDF	human-robot interaction, validity, interaction patterns
28	Thomas D. Parsons, Louise Cosand, Christopher G. Courtney, Arvind Iyer, Albert A. Rizzo	Neurocognitive Workload Assessment Using the Virtual Reality Cognitive Performance Assessment Test.	HCI (17)	2009	DBLP DOI BibTeX RDF	Neuropsychological assessment, neurocognitive, virtual environment, ecological validity
28	Chaoshun Li, Jianzhong Zhou, Qingqing Li 0002, Xiuqiao Xiang	A Fuzzy Cluster Algorithm Based on Mutative Scale Chaos Optimization.	ISNN (2)	2008	DBLP DOI BibTeX RDF	Chaos optimization, Cluster validity indices, Clustering, Fuzzy c-means algorithm
28	Ming-Chang Lee	Statistical Data Analysis for Software Metrics Validation.	KES (4)	2005	DBLP DOI BibTeX RDF	Metrics validation methodology, quality functions, nonparametric statistical methods, validity criteria
28	Ming Xiong, Krithi Ramamritham	Deriving Deadlines and Periods for Real-Time Update Transactions.	IEEE Trans. Computers	2004	DBLP DOI BibTeX RDF	temporal validity, deadline monotonic scheduling, real-time transaction processing, fixed priority scheduling, Real-time database systems
28	Minho Kim, Hyunjin Yoo, R. S. Ramakrishna	Cluster Validation for High-Dimensional Datasets.	AIMSA	2004	DBLP DOI BibTeX RDF	high-dimensional clustering, unsupervised learning, cluster validity index
28	Tansel Özyer, Yimin Liu, Reda Alhajj, Ken Barker 0001	Multi-objective Genetic Algorithm Based Clustering Approach and Its Application to Gene Expression Data.	ADVIS	2004	DBLP DOI BibTeX RDF	validity analysis, clustering, multi-objective genetic algorithm, gene expression data analysis
28	Ming Xiong, Krithi Ramamritham	Deriving Deadlines and Periods for Real-Time Update Transactions.	RTSS	1999	DBLP DOI BibTeX RDF	deadline monotonic algorithm, temporal validity, schedulability, fixed priority scheduling
27	Luis Marques, António Casimiro	Data Validity and Dependable Perception in Networked Sensor-Based Systems.	SRDS	2010	DBLP DOI BibTeX RDF	Sensor networks, Real-Time, Dependability, Temporal consistency, Data validity
27	Jacalyn M. Huband, James C. Bezdek	VCV2 - Visual Cluster Validity.	WCCI	2008	DBLP DOI BibTeX RDF	visual assessment of cluster tendency, visual cluster validty, cluster analysis, cluster validity
27	Ingunn Myrtveit, Erik Stensrud, Martin J. Shepperd	Reliability and Validity in Comparative Studies of Software Prediction Models.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	arbitrary function approximators, accuracy indicators, simulation, machine learning, reliability, validity, Software metrics, cost estimation, cross-validation, regression analysis, empirical methods, estimation by analogy
27	Nadia Bolshakova, Francisco Azuaje, Padraig Cunningham	An integrated tool for microarray data clustering and cluster validity assessment.	SAC	2004	DBLP DOI BibTeX RDF	cluster evaluation, validity indices, data mining, clustering, gene expression
27	François Boutin, Mountaz Hascoët	Cluster Validity Indices for Graph Partitioning.	IV	2004	DBLP DOI BibTeX RDF	cluster validity indices, partitioning, graph clustering
27	Stephen P. Smith	Threshold Validity for Mutual Neighborhood Clustering.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	threshold validity, mutual neighborhood clustering, random data, image recognition, image recognition, random processes, Poisson process
27	Fionn Murtagh	Comments on 'Parallel Algorithms for Hierarchical Clustering and Cluster Validity'.	IEEE Trans. Pattern Anal. Mach. Intell.	1992	DBLP DOI BibTeX RDF	computational time complexity, single-link method, pattern recognition, pattern recognition, parallel algorithms, parallel algorithms, computational complexity, hierarchical clustering, cluster validity
25	Giorgio Brajnik	Validity and reliability of web accessibility guidelines.	ASSETS	2009	DBLP DOI BibTeX RDF	accessibility evaluation evaluation, web accessibility guidelines
25	Sumanta Sarathi Sharma	Method of Minimal Representation: An Alternative Diagrammatic Technique to Test the Validity of Categorical Syllogisms.	Diagrams	2008	DBLP DOI BibTeX RDF	Euler Circles, Method of Minimal Representation, Venn Diagrams
25	Lucas Vendramin, Ricardo J. G. B. Campello, Eduardo R. Hruschka	A Robust Methodology for Comparing Performances of Clustering Validity Criteria.	SBIA	2008	DBLP DOI BibTeX RDF
25	Boris A. Galitsky, Sergei O. Kuznetsov	Scenario Argument Structure vs Individual Claim Defeasibility: What Is More Important for Validity Assessment?.	ICCS	2008	DBLP DOI BibTeX RDF
25	Thomas A. Runkler	Pareto Optimality of Cluster Objective and Validity Functions.	FUZZ-IEEE	2007	DBLP DOI BibTeX RDF
25	Jing Zhou, Guosun Zeng	Validity Checking On Grid Service Composition.	COMPSAC (1)	2007	DBLP DOI BibTeX RDF
25	Yi Lu 0003, John Potter, Jingling Xue	Validity Invariants and Effects.	ECOOP	2007	DBLP DOI BibTeX RDF
25	Changyin Sun, Hua Liang, Linfeng Li, Derong Liu 0001	Clustering with a Weighted Sum Validity Function Using a Niching PSO Algorithm.	ICNSC	2007	DBLP DOI BibTeX RDF
25	Nadia Bolshakova, Francisco Azuaje, Padraig Cunningham	Incorporating Biological Domain Knowledge into Cluster Validity Assessment.	EvoWorkshops	2006	DBLP DOI BibTeX RDF
25	Husam Abu-Haimed, David L. Dill, Sergey Berezin	A Refinement Method for Validity Checking of Quantified First-Order Formulas in Hardware Verification.	FMCAD	2006	DBLP DOI BibTeX RDF
25	Anna Gomolinska	Rough Validity, Confidence, and Coverage of Rules in Approximation Spaces.	Trans. Rough Sets	2005	DBLP DOI BibTeX RDF
25	Hengjie Song, Ping Ma, Ming Yang 0015	The application of evaluation method based on HMM for results validity of complex simulation system.	WSC	2005	DBLP DOI BibTeX RDF
25	Babita Sharma, Paritosh K. Pandya, Supratik Chakraborty	Bounded Validity Checking of Interval Duration Logic.	TACAS	2005	DBLP DOI BibTeX RDF
25	Mayank Bawa, Aristides Gionis, Hector Garcia-Molina, Rajeev Motwani 0001	The Price of Validity in Dynamic Networks. (PDF / PS)	SIGMOD Conference	2004	DBLP DOI BibTeX RDF
25	Pnina Soffer, Yair Wand	Goal-Driven Analysis of Process Model Validity.	CAiSE	2004	DBLP DOI BibTeX RDF
25	Jen-Chieh Chiang, Jeen-Shing Wang	A validity-guided support vector clustering algorithm for identification of optimal cluster configuration.	SMC (4)	2004	DBLP DOI BibTeX RDF
25	Stuart Anderson, Juliana Küster Filipe	Guaranteeing Temporal Validity with a Real-Time Logic of Knowledg.	ICDCS Workshops	2003	DBLP DOI BibTeX RDF
25	Maria Halkidi, Yannis Batistakis, Michalis Vazirgiannis	Clustering Validity Checking Methods: Part II.	SIGMOD Rec.	2002	DBLP DOI BibTeX RDF	unsupervised learning, pattern discovery, clustering validation
25	Irene Finocchi, Rossella Petreschi	On the Validity of Hierarchical Decompositions.	COCOON	2001	DBLP DOI BibTeX RDF
25	Khaled El Emam	The Predictive Validity Criterion for Evaluating Binary Classifiers.	IEEE METRICS	1998	DBLP DOI BibTeX RDF
24	Sameh A. Salem, Asoke K. Nandi	Development of assessment criteria for clustering algorithms.	Pattern Anal. Appl.	2009	DBLP DOI BibTeX RDF	Clustering performance measures, Validity indices, Clustering algorithms, Data clustering, Unsupervised classification
24	José A. Castellanos-Garzón, Carlos Armando García, Luis Antonio Miguel Quintales	An Evolutionary Hierarchical Clustering Method with a Visual Validation Tool.	IWANN (1)	2009	DBLP DOI BibTeX RDF	evolutionary algorithm, Hierarchical clustering, visual analytics, cluster validity, DNA microarray
24	Viara Popova, Alexei Sharpanskykh	Constraint-based modelling and analysis of organisations.	SAC	2009	DBLP DOI BibTeX RDF	consistency of a specification, organisation design, validity of a specification, constraints, organisation modeling
24	Marcelo Luis Errecalde, Diego Ingaramo, Paolo Rosso	Proximity Estimation and Hardness of Short-Text Corpora.	DEXA Workshops	2008	DBLP DOI BibTeX RDF	short-text corpora, proximity estimation, cluster validity measures, clustering
24	Fan Li, Fan Min 0001, Qihe Liu	Intra-cluster Similarity Index Based on Fuzzy Rough Sets for Fuzzy C-Means Algorithm.	RSKT	2008	DBLP DOI BibTeX RDF	Intra-cluster similarity, Fuzzy Rough sets, Fuzzy c-means algorithm, Cluster validity index
24	Yingshun Yin, Xiaobin Zhang, Baojun Miao, Lili Gao	A Novel Fuzzy Kernel C-Means Algorithm for Document Clustering.	AIRS	2008	DBLP DOI BibTeX RDF	Fuzzy Kernel C-Means, Kernel Validity Index, Semi-supervised Learning, Text clustering
24	Minyar Sassi, Amel Grissa Touzi, Habib Ounelli	Clustering Quality Evaluation Based on Fuzzy FCA.	DEXA	2007	DBLP DOI BibTeX RDF	Clustering Quality, Overlapping Rate, Separation Degree, Formal Concept Analyis, Fuzzy Concept Lattice, Validity Index
24	Judith Ramey, Ted Boren, Elisabeth Cuddihy, Joe Dumas, Zhiwei Guan, Maaike J. Van den Haak, Menno D. T. de Jong	Does think aloud work?: how do we know?	CHI Extended Abstracts	2006	DBLP DOI BibTeX RDF	practical guidelines, scientific research, think aloud method, reliability, validity, methodology, usability study, applied research
24	Sanghamitra Bandyopadhyay	Automatic Determination of the Number of Fuzzy Clusters Using Simulated Annealing with Variable Representation.	ISMIS	2005	DBLP DOI BibTeX RDF	variable number of clusters, Pattern recognition, simulated annealing, fuzzy clustering, cluster validity index
24	Xing Gao, Ali R. Hurson	Location dependent query proxy.	SAC	2005	DBLP DOI BibTeX RDF	validity region, caching, proxy, location dependent query
24	Sushmita Mitra, Haider Banka, Witold Pedrycz	Collaborative Rough Clustering.	PReMI	2005	DBLP DOI BibTeX RDF	collaborative clustering, Rough sets, cluster validity
24	Jim Sheffield	The VC Model: A Universal Pragmatic Framework for GSS-Enabled Strategic Planning.	HICSS	2004	DBLP DOI BibTeX RDF	Communicative action, group support systems (GSS), strategic urban planning, universal pragmatics, validity claims
24	Paolo Terenziani	Symbolic User-Defined Periodicity in Temporal Relational Databases.	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	Temporal relational model and algebra, user-defined symbolic periodicity in the validity time, high-level “symbolic” language, symbolic (intensional) evaluation method, semisymbolic evaluation method, user-friendly treatment of periodicity, integration and extension of artificial intelligence and temporal databases techniques
24	Roberto De Prisco, Dahlia Malkhi, Michael K. Reiter	On k-Set Consensus Problems in Asynchronous Systems.	IEEE Trans. Parallel Distributed Syst.	2001	DBLP DOI BibTeX RDF	validity conditions, distributed systems, consensus, crash failures, Byzantine failures, Agreement problems
24	Joe Chun-Hung Yuen, Edward Chan, Kam-yiu Lam, Hei-Wing Leung	An Adaptive AVI-Based Cache Invalidation Scheme for Mobile Computing Systems.	DEXA Workshops	2000	DBLP DOI BibTeX RDF	adaptive AVI based cache invalidation scheme, data item caching, data access delay, low bandwidth mobile network, cached items, Invalidation by Absolute Validity Interval, IAVI, absolute validate interval, update interval, last update time, self-invalidation mechanism, update event, invalidation report size, mobile computing, mobile computing systems, database server, system parameters, mobile clients, real time properties, real time property, invalidation report, mean response time
24	Jianying Zhou 0001, Kwok-Yan Lam	A Secure Pay-per View Scheme for Web-Based Video Service.	Public Key Cryptography	1999	DBLP DOI BibTeX RDF	fair billing, validity of evidence, video service, pay-per-view
24	Deepak Gupta 0001, Pankaj Jalote, Gautam Barua	A Formal Framework for On-line Software Version Change.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	On-line software version change, validity of change, functional enhancement, process, data flow analysis, state, reachable state
24	Fred D. Davis, Viswanath Venkatesh	Measuring user acceptance of emerging information technologies: an assessment of possible method biases.	HICSS (4)	1995	DBLP DOI BibTeX RDF	emerging information technologies, method biases, measurement scales, artifactual inflation, reliability measures, validity measures, item grouping, reliability, human factors, information technology, forecasting, user acceptance, perceived usefulness, perceived ease-of-use
24	Yonit Kesten, Zohar Manna, Hugh McGuire, Amir Pnueli	A Decision Algorithm for Full Propositional Temporal Logic.	CAV	1993	DBLP DOI BibTeX RDF	satisfiability checking, validity checking, past and future operators, incremental tableau, model checking, temporal logic, automatic verification