Search results for "validity"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Robert G. Sargent	Verification, validation, and accreditation: verification, validation, and accreditation of simulation models.	WSC	2000	DBLP DOI BibTeX RDF
17	Beata Konikowska, Andrzej Tarlecki, Andrzej Blikle	A Three-Valued Logic for Software Specification and Validation.	VDM Europe	1988	DBLP DOI BibTeX RDF
16		Validity (Satisfiability).	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
16	Matthieu Puigt, Emmanuel Vincent 0001, Yannick Deville	Validity of the Independence Assumption for the Separation of Instantaneous and Convolutive Mixtures of Speech and Music Sources.	ICA	2009	DBLP DOI BibTeX RDF
16	R. E. Kurt Stirewalt, Laura K. Dillon, Eileen T. Kraemer	The inference validity problem in legal discovery.	ICSE Companion	2009	DBLP DOI BibTeX RDF
16	Matthias Horbach, Christoph Weidenbach	Deciding the Inductive Validity of FOR ALL THERE EXISTS * Queries.	CSL	2009	DBLP DOI BibTeX RDF
16	Shannon Allen, Eric C. Parent, Maziyar Khorasani, Doug L. Hill, Edmond Lou, V. James Raso	Validity and Reliability of Active Shape Models for the Estimation of Cobb Angle in Patients with Adolescent Idiopathic Scoliosis.	J. Digit. Imaging	2008	DBLP DOI BibTeX RDF	Cobb angle, scoliosis, reliability, Active shape models, automated measures
16	Patrice Chalin, Frédéric Rioux	JML Runtime Assertion Checking: Improved Error Reporting and Efficiency Using Strong Validity.	FM	2008	DBLP DOI BibTeX RDF
16	Kuntoro Adi, Kristine E. Sonstrom, Peter M. Scheifele, Michael T. Johnson	Unsupervised validity measures for vocalization clustering.	ICASSP	2008	DBLP DOI BibTeX RDF
16	Akihiro Yoshida, Hideyuki Mizuno, Kazunori Mano	Segment selection method based on tonal validity evaluation using machine learning for concatenative speech synthesis.	ICASSP	2008	DBLP DOI BibTeX RDF
16	Timothy C. Havens, James C. Bezdek, James M. Keller, Mihail Popescu	Dunn's cluster validity index as a contrast measure of VAT images.	ICPR	2008	DBLP DOI BibTeX RDF
16	Huang Cheng, Li Jun, Michel de Rougemont	Approximate Validity of XML Streaming Data.	WAIM	2008	DBLP DOI BibTeX RDF
16	Yunsheng Liu, Tian Bai 0004, Xin Liu, XiaoBing Pei	Scheduling Sensor Transactions to Maintain Data Temporal Validity.	CSSE (4)	2008	DBLP DOI BibTeX RDF
16	Kai R. Larsen, Dorit Nevo, Eliot Rich	Exploring the Semantic Validity of Questionnaire Scales.	HICSS	2008	DBLP DOI BibTeX RDF
16	Hoel Le Capitaine, Carl Frélicot	A Family of Cluster Validity Indexes Based on a l-Order Fuzzy OR Operator.	SSPR/SPR	2008	DBLP DOI BibTeX RDF
16	Dimitris Geneiatakis, Georgios Kambourakis, Costas Lambrinoudakis	A Mechanism for Ensuring the Validity and Accuracy of the Billing Services in IP Telephony.	TrustBus	2008	DBLP DOI BibTeX RDF	Session Initiation Protocol (SIP), Voice Over IP (VoIP), Billing
16	Hoel Le Capitaine, Thomas Batard, Carl Frélicot, Michel Berthier	Blockwise Similarity in [0, 1] via Triangular Norms and Sugeno Integrals - Application to Cluster Validity.	FUZZ-IEEE	2007	DBLP DOI BibTeX RDF
16	Martin Holena	Measures of Ruleset Quality Capable to Represent Uncertain Validity.	ECSQARU	2007	DBLP DOI BibTeX RDF	rules extraction from data, Boolean rules, observational logic, classification, fuzzy rules, quality measures, ROC curves
16	Kyle Johnsen, Andrew Raij, Amy O. Stevens, D. Scott Lind, Benjamin Lok	The validity of a virtual human experience for interpersonal skills education.	CHI	2007	DBLP DOI BibTeX RDF	virtual reality, validation, multimodal interfaces, virtual humans, virtual characters, medicine
16	Hailun He, Shuang Li, Jinbao Song	Validity Test of the Eigenfunction Expansion Method in the Transient Wave Propagation Simulation.	SNPD (3)	2007	DBLP DOI BibTeX RDF
16	Jeremias B. Machado, Wagner C. Amaral, Ricardo J. G. B. Campello	Design of OBF-TS Fuzzy Models Based on Multiple Clustering Validity Criteria.	ICTAI (2)	2007	DBLP DOI BibTeX RDF
16	Tansel Özyer, Reda Alhajj, Ken Barker 0001	Clustering by Integrating Multi-objective Optimization with Weighted K-Means and Validity Analysis.	IDEAL	2006	DBLP DOI BibTeX RDF
16	Chunna Tian, Xinbo Gao 0001, Jie Li 0001	Active Learned Multi-view Face Detection Tree Using Fuzzy Cluster Validity Analysis.	FSKD	2006	DBLP DOI BibTeX RDF
16	Slawomir Staworko, Jan Chomicki	Validity-Sensitive Querying of XML Databases.	EDBT Workshops	2006	DBLP DOI BibTeX RDF
16	Ying Liang, Wenyong Wang, Shaochun Zhong, Qingrong Zhang, Yao Wang, Xiao-Lin Quan, Qian Xu 0004	Virtual Biology Modeling Method Based on Validity Confirmation Mechanism.	ICAT	2006	DBLP DOI BibTeX RDF	virtual biology model, valid confirmation, similarity appraisal, teaching confirmation, model match
16	Daniel Marco, David L. Neuhoff	The validity of the additive noise model for uniform scalar quantizers.	IEEE Trans. Inf. Theory	2005	DBLP DOI BibTeX RDF
16	Jen-Tzung Chien	Decision tree State tying using cluster validity criteria.	IEEE Trans. Speech Audio Process.	2005	DBLP DOI BibTeX RDF
16	Mateja Jamnik, Alan Bundy	Psychological Validity of Schematic Proofs.	Mechanizing Mathematical Reasoning	2005	DBLP DOI BibTeX RDF
16	Nora Speer, Christian Spieth, Andreas Zell	Biological Cluster Validity Indices Based on the Gene Ontology.	IDA	2005	DBLP DOI BibTeX RDF
16	Sang Wan Lee, Dae-Jin Kim, Yong-Soo Kim, Zeungnam Bien	Training of Feature Extractor via New Cluster Validity - Application to Adaptive Facial Expression Recognition.	KES (4)	2005	DBLP DOI BibTeX RDF
16	Holger Rasch, Heike Wehrheim	Checking the Validity of Scenarios in UML Models.	FMOODS	2005	DBLP DOI BibTeX RDF
16	Daniel Baier, Michael Brusch	Improving the Predictive Validity of Quality Function Deployment by Conjoint Analysis: A Monte Carlo Comparison.	OR	2005	DBLP DOI BibTeX RDF
16	Minho Kim, R. S. Ramakrishna	A New Clustering Algorithm Based On Cluster Validity Indices.	Discovery Science	2004	DBLP DOI BibTeX RDF
16	Jeffrey C. Carver, John Van Voorhis, Victor R. Basili	Understanding the Impact of Assumptions on Experimental Validity.	ISESE	2004	DBLP DOI BibTeX RDF
16	Bernadette Charron-Bost, Fabrice Le Fessant	Validity Conditions in Agreement Problems and Time Complexity.	SOFSEM	2004	DBLP DOI BibTeX RDF	Complexity, Distributed Algorithms
16	Amihood Amir, Reuven Kashi, Nathan S. Netanyahu, Daniel A. Keim, Markus Wawryniuk	Analyzing High-Dimensional Data by Subspace Validity.	ICDM	2003	DBLP DOI BibTeX RDF
16	Vladimir Estivill-Castro, Jianhua Yang	Cluster Validity Using Support Vector Machines.	DaWaK	2003	DBLP DOI BibTeX RDF
16	Jürgen Giesl, Deepak Kapur	Deciding Inductive Validity of Equations.	CADE	2003	DBLP DOI BibTeX RDF
16	Cristiano Calcagno, Luca Cardelli, Andrew D. Gordon 0001	Deciding validity in a spatial logic for trees.	TLDI	2003	DBLP DOI BibTeX RDF
16	Youngok Kim, Soowon Lee	A Clustering Validity Assessment Index.	PAKDD	2003	DBLP DOI BibTeX RDF
16	Wen-Kui Chang, Shing-Kai Hon, William C. Chu	A Systematic Framework for Evaluating Hyperlink Validity in Web Environments.	QSIC	2003	DBLP DOI BibTeX RDF
16	Aaron Stump, Clark W. Barrett, David L. Dill	CVC: A Cooperating Validity Checker.	CAV	2002	DBLP DOI BibTeX RDF
16	Jianying Zhou 0001	Maintaining the Validity of Digital Signatures in B2B Applications.	ACISP	2002	DBLP DOI BibTeX RDF
16	David J. Parsons 0002, Richard A. Phelps	Production scheduling validity in high level supply chain models.	WSC	2001	DBLP DOI BibTeX RDF
16	Martin Hiller	Error Recovery using Forced Validity Assisted by Executable Assertions for Error Detection: An Experimental Evaluation.	EUROMICRO	1999	DBLP DOI BibTeX RDF
16	Robert Demolombe	Answers About Validity and Completeness of Data: Formal Definitions, Usefulness and Computation Technique.	FQAS	1998	DBLP DOI BibTeX RDF
16	Susana Nascimento, Fernando Moura-Pires	A Genetic Approach to Fuzzy Clustering with a Validity Measure Fitness Function.	IDA	1997	DBLP DOI BibTeX RDF
16	Stéphane Demri	A Class of Information Logics with a Decidable Validity Problem.	MFCS	1996	DBLP DOI BibTeX RDF
16	A. K. Singh	On the validity of the global time assumption.	ICDCS	1991	DBLP DOI BibTeX RDF
16	Igor Walukiewicz	Decision Procedure for Checking Validity of PAL Formulas.	IMYCS	1990	DBLP DOI BibTeX RDF
15	Allison Elliott Tew, Mark Guzdial	Developing a validated assessment of fundamental CS1 concepts.	SIGCSE	2010	DBLP DOI BibTeX RDF	validity, programming, assessment, cs1
15	Charles D. Knutson, Jonathan L. Krein, Lutz Prechelt, Natalia Juristo Juzgado	1st International Workshop on Replication in Empirical Software Engineering Research (RESER).	ICSE (2)	2010	DBLP DOI BibTeX RDF	software engineering, validation, validity, replication, computer science, methods, research, reporting
15	Ivan Jureta, John Mylopoulos, Stéphane Faulkner	Analysis of Multi-Party Agreement in Requirements Validation.	RE	2009	DBLP DOI BibTeX RDF	relative validity, requirements validation
15	Nishchal K. Verma, Payal Gupta, Pooja Agrawal, Madasu Hanmandlu, Shantaram Vasikarla, Yan Cui 0001	Medical Image Segmentation Using Improved Mountain Clustering Approach.	ITNG	2009	DBLP DOI BibTeX RDF	IMC, Modified Mountain Clustering, Validity Function and Cluster Entropy, Image Segmentation
15	Jeff Sauro, Joseph S. Dumas	Comparison of three one-question, post-task usability questionnaires.	CHI	2009	DBLP DOI BibTeX RDF	external validity, post-task ratings, satisfaction measures, usability evaluation, sensitivity
15	Markus Schwaninger, Stefan N. Groesser	New Frontiers in the Validation of Simulation Models-Structural Dominance Analysis.	EUROCAST	2009	DBLP DOI BibTeX RDF	Structural Dominance Analysis, Simulation, Modeling, Validation, Validity, System Dynamics, Model Quality
15	José A. Castellanos-Garzón, Luis Antonio Miguel Quintales	Evolutionary Techniques for Hierarchical Clustering Applied to Microarray Data.	IWPACBB	2008	DBLP DOI BibTeX RDF	genetic algorithm, evolutionary algorithm, combinatorial optimization, Hierarchical clustering, cluster validity, DNA microarray
15	Michele Ceccarelli, Antonio Maratea	A Fuzzy Extension of Some Classical Concordance Measures and an Efficient Algorithm for Their Computation.	KES (3)	2008	DBLP DOI BibTeX RDF	Cluster Stability, Concordance Measure, Efficient Algorithm, Validity Index
15	Jong-Soo Kim, Gyu-Young Choe, Jun-Hyung Kim, Hyun-Soo Kang, Byoung-Kuk Lee	Design of power conversion system for fuel cell scooter application.	ICUIMC	2008	DBLP DOI BibTeX RDF	DC motor drive system, scooter, validity, converter, fuel cell
15	Zacharias Detorakis, George Tambouratzis	Discovery of underlying morphological relations using an agglomerative clustering algorithm.	CSTST	2008	DBLP DOI BibTeX RDF	cluster proximity, inflectional paradigm, hamming distance, cluster validity, agglomerative clustering
15	Yan Liu 0003, Bojan Cukic, Srikanth Gururajan	Validating neural network-based online adaptive systems: a case study.	Softw. Qual. J.	2007	DBLP DOI BibTeX RDF	Online adaptive system, Validation, Novelty detection, Support vector data description, Validity index
15	Kai Xiao, Sooi Hock Ho, Qussay A. Salih	A Study: Segmentation of Lateral Ventricles in Brain MRI Using Fuzzy C-Means Clustering with Gaussian Smoothing.	RSFDGrC	2007	DBLP DOI BibTeX RDF	Gaussian Smoothing, Validity Functions, Lateral Ventricles, Clustering, Segmentation, Fuzzy C-Means, brain MRI
15	Ajith Abraham, Swagatam Das, Amit Konar	Kernel based automatic clustering using modified particle swarm optimization algorithm.	GECCO	2007	DBLP DOI BibTeX RDF	genetic algorithm, clustering, particle swarm optimization, kernel, validity index
15	Gordon V. Cormack, Thomas R. Lynam	Power and bias of subset pooling strategies.	SIGIR	2007	DBLP DOI BibTeX RDF	pooling methods, statistical power, validity, significance test
15	Mohammed Al-Shalalfa, Reda Alhajj	Attractive Feature Reduction Approach for Colon Data Classification.	AINA Workshops (1)	2007	DBLP DOI BibTeX RDF	validity analysis, fuzziness parameter, Clustering, classification, support vector machine, microarray, Fuzzy C-means(FCM)
15	Weiguo Sheng, Xiaohui Liu 0001	A genetic k-medoids clustering algorithm.	J. Heuristics	2006	DBLP DOI BibTeX RDF	k-Medoids clustering, Davies-Bouldin index, Genetic algorithms, Heuristics, Cluster validity
15	Anirban Mukhopadhyay 0001, Ujjwal Maulik, Sanghamitra Bandyopadhyay	Efficient Two-stage Fuzzy Clustering of Microarray Gene Expression Data.	ICIT	2006	DBLP DOI BibTeX RDF	Microarray gene expression data, cluster validity indices, significant multi-class membership, variable string length genetic algorithm, fuzzy clustering
15	Zenggui Ou	A Study of the Time Effect during Data Processing.	ICITA (1)	2005	DBLP DOI BibTeX RDF	Time-effect, validity period, period of time-effect, natural time effect, intermediate time-effect, archive time-effect
15	Jacob Eisenstein, Randall Davis	Visual and linguistic information in gesture classification.	ICMI	2004	DBLP DOI BibTeX RDF	gesture taxonomies, multimodal disambiguation, validity, gesture recognition
15	Madasu Hanmandlu, Vamsi Krishna Madasu, Shantaram Vasikarla	A Fuzzy Approach to Texture Segmentation.	ITCC (1)	2004	DBLP DOI BibTeX RDF	modified mountain clustering, segmentation, validity, Texture, fractal dimension, potential
15	Cor J. Veenman, Marcel J. T. Reinders, Eric Backer	A Maximum Variance Cluster Algorithm.	IEEE Trans. Pattern Anal. Mach. Intell.	2002	DBLP DOI BibTeX RDF	cluster tendency assessment, Cluster analysis, cluster validity, partitional clustering
15	Karen A. Schriver	Readability formulas in the new millenium: what's the use?	ACM J. Comput. Documentation	2000	DBLP DOI BibTeX RDF	criterion passages, reliability, validity
15	William A. Arbaugh, David J. Farber, Jonathan M. Smith	A Secure and Reliable Bootstrap Architecture.	S&P	1997	DBLP DOI BibTeX RDF	computer bootstrapping, bootstrap architecture, lower-layer integrity, hardware validity, integrity chain, system integrity guarantees, AEGIS architecture, recovery process, integrity check failures, robust systems, security, reliability, active networks, initialization, transitions, Internet commerce
15	Daniel Jackson 0001, Somesh Jha, Craig Damon	Faster Checking of Software Specifications by Eliminating Isomorphs.	POPL	1996	DBLP DOI BibTeX RDF	model enumeration, validity checking, formal specification, symmetry, Z notation, relational calculus
15	James C. Bezdek, Nikhil R. Pal	Cluster Validation with Generalized Dunn's Indices.	ANNES	1995	DBLP DOI BibTeX RDF	Dunn's index, Self-organization, cluster analysis, cluster validity
15	Giovanni Dimauro, Sebastiano Impedovo, Giuseppe Pirlo	A New Technique for Fast Number Comparison in the Residue Number System.	IEEE Trans. Computers	1993	DBLP DOI BibTeX RDF	number comparison, theoretical validity, diagonal function, modulus, digital arithmetic, residue number system
15	Fazli Can	Incremental Clustering for Dynamic Information Processing.	ACM Trans. Inf. Syst.	1993	DBLP DOI BibTeX RDF	best-match cluster search, cover coefficient, dynamic information retrieval environment, information retrieval effectiveness, information retrieval efficiency, information retrieval, cluster validity
15	Fazli Can, Esen A. Ozkarahan	Concepts and Effectiveness of the Cover-Coefficient-Based Clustering Methodology for Text Databases.	ACM Trans. Database Syst.	1990	DBLP DOI BibTeX RDF	clustering-indexing relationships, cover coefficient, decoupling coefficient, document retrieval, cluster validity, retrieval effectiveness
15	David Harel, Danny Raz	Deciding Properties of Nonregular Programs (Preliminary Version)	FOCS	1990	DBLP DOI BibTeX RDF	infinite trees, nonregular programs, nonregular languages, stack automata, validity, PDAs, decidability, decision procedures, propositional dynamic logic
15	Martín Abadi, Joseph Y. Halpern	Decidability and Expressiveness for First-Order Logics of Probability (Extended Abstract)	FOCS	1989	DBLP DOI BibTeX RDF	unary predicates, validity problem, binary predicate, elementary analysis, function symbols, probability, language, reasoning, first-order logics, decidable, expressiveness, domain, possible worlds
13	Amy L. Gonzales	Validation of an inventory of social connectedness.	GROUP	2009	DBLP DOI BibTeX RDF	scale validation, social connectedness, awareness, presence
13	Sriram Sambamurthy, Sankar Gurumurthy, Ramtilak Vemu, Jacob A. Abraham	Functionally valid gate-level peak power estimation for processors.	ISQED	2009	DBLP DOI BibTeX RDF
13	Mathilde M. Bekker, Ester Baauw, Wolmet Barendregt	A comparison of two analytical evaluation methods for educational computer games for young children.	Cogn. Technol. Work.	2008	DBLP DOI BibTeX RDF	Analytical evaluation methods, (Combined) heuristic evaluation, SEEM, Children, Computer games
13	Ming Xiong, Song Han 0002, Kam-yiu Lam, Deji Chen 0001	Deferrable Scheduling for Maintaining Real-Time Data Freshness: Algorithms, Analysis, and Results.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF	Scheduling, Real-time and embedded systems, Real-time systems and embedded systems
13	Sanghamitra Bandyopadhyay, Sriparna Saha 0001	A Point Symmetry-Based Clustering Technique for Automatic Evolution of Clusters.	IEEE Trans. Knowl. Data Eng.	2008	DBLP DOI BibTeX RDF
13	Ilya Mezhirov, Nikolai K. Vereshchagin	On Game Semantics of the Affine and Intuitionistic Logics.	WoLLIC	2008	DBLP DOI BibTeX RDF
13	Ahmad El Sayed, Hakim Hacid, Djamel A. Zighed	On Determining the Optimal Partition in Agglomerative Clustering of Documents.	ISMIS	2008	DBLP DOI BibTeX RDF
13	Sriparna Saha 0001, Sanghamitra Bandyopadhyay	A multiobjective simulated annealing based fuzzy-clustering technique with symmetry for pixel classification in remote sensing imagery.	ICPR	2008	DBLP DOI BibTeX RDF
13	Henrik Björklund, Wim Martens, Thomas Schwentick	Optimizing Conjunctive Queries over Trees Using Schema Information.	MFCS	2008	DBLP DOI BibTeX RDF
13	Asuka Terai, Bin Liu, Masanori Nakagawa	Construction of a Probabilistic Hierarchical Structure Based on a Japanese Corpus and a Japanese Thesaurus.	LKR	2008	DBLP DOI BibTeX RDF
13	Sreenivas R. Sukumar 0001, Hamparsum Bozdogan, David L. Page, Andreas F. Koschan, Mongi A. Abidi	Sensor Selection Using Information Complexity for Multi-sensor Mobile Robot Localization.	ICRA	2007	DBLP DOI BibTeX RDF
13	Guilin Wang, Feng Bao 0001	Security Remarks on a Convertible Nominative Signature Scheme.	SEC	2007	DBLP DOI BibTeX RDF	Nominative signature, digital signature, information security, attacks
13	Shinji Kikuchi, Satoshi Tsuchiya, Motomitsu Adachi, Tsuneo Katsuyama	Policy Verification and Validation Framework Based on Model Checking Approach.	ICAC	2007	DBLP DOI BibTeX RDF	policy verification and validation, on-demand data center, model checking, resource management, autonomic system, policy-based management
13	Jacob Perrenet, Eric Kaasenbrood	Levels of abstraction in students' understanding of the concept of algorithm: the qualitative perspective.	ITiCSE	2006	DBLP DOI BibTeX RDF	abstraction, computer science education, research methods
13	Xing Gao, John P. Sustersic, Ali R. Hurson	Window Query Processing with Proxy Cache.	MDM	2006	DBLP DOI BibTeX RDF
13	Fabien Vivodtzev, Georges-Pierre Bonneau, Paul Le Texier	Topology-preserving simplification of 2D nonmanifold meshes with embedded structures.	Vis. Comput.	2005	DBLP DOI BibTeX RDF	Computational geometry and its applications, LOD techniques, Multiresolution curves and surfaces
13	Yan Liu 0003, Bojan Cukic, Edgar Fuller, Srikanth Gururajan, Sampath Yerramalla	Novelty Detection for a Neural Network-Based Online Adaptive System.	COMPSAC (2)	2005	DBLP DOI BibTeX RDF
13	Ming Xiong, Song Han 0002, Kam-yiu Lam	A Deferrable Scheduling Algorithm for Real-Time Transactions Maintaining Data Freshness.	RTSS	2005	DBLP DOI BibTeX RDF
13	Haojun Sun, Mei Sun	Trail-and-Error Approach for Determining the Number of Clusters.	ICMLC	2005	DBLP DOI BibTeX RDF
13	Dietrich Brandt, Christina Rose	Global networking and universal ethics.	AI Soc.	2004	DBLP DOI BibTeX RDF	Technology, Ethics, Engineering, Enterprises, Global networks