Search results for "validation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
13	Nico Jacobs, Kurt Driessens, Luc De Raedt	Inductive verification and validation of multi agent systems.	EUROVAV	1998	DBLP BibTeX RDF
13	Zita A. Vale, Carlos Ramos 0001, Jorge Santos 0001, M. Fernanda Fernandes, Couto Rosado, Albino Marques	Knowledge-Based Systems for power system control centers: validation and verification?	EUROVAV	1998	DBLP BibTeX RDF
13	Florence Maraninchi	Modélisation et validation des systèmes réactifs : un langage synchrone à base d'automates. (Modélisation et validation des systèmes réactifs : un langage synchrone à base d'automates).		1997	RDF
13	Frans Coenen, Paul E. Dunne	The Verification and Validation of Rulebases Using a Binary Encoded Incidence Matrix Technique.	EUROVAV	1997	DBLP BibTeX RDF
13	Florence Sellini, Catalina Vargas, Pierre-Alain Yvars	Considerations About Validation of Knowledge Models in KBE Systems.	EUROVAV	1997	DBLP BibTeX RDF
13	Luc De Raedt	Machine Learning for Verification and Validation.	EUROVAV	1997	DBLP BibTeX RDF
13	Frank van Harmelen, Annette ten Teije	Validation and Verification of Conceptual Models of Diagnosis.	EUROVAV	1997	DBLP BibTeX RDF
13	Luis Talavera, Ulises Cortés	Inductive Hypothesis Validation and Bias Selection in Unsupervised Learning.	EUROVAV	1997	DBLP BibTeX RDF
13	Selwyn Piramuthu	Feature Construction for Verification and Validation of Tabular Knowledge Base Systems.	EUROVAV	1997	DBLP BibTeX RDF
13	Gertjan Beijer	Validation and Verification of Knowledge Based Systems: a Practitioner's View.	EUROVAV	1997	DBLP BibTeX RDF
13	Tim Menzies, Robert F. Cohen	A Graph Theoretic Optimisation of Temporal Abductive Validation.	EUROVAV	1997	DBLP BibTeX RDF
13	Anca I. Vermesan	Knowledge-Based Systems: Verification and Validation in the view of Certification.	EUROVAV	1997	DBLP BibTeX RDF
13	Son T. Vuong, Sangho Lee 0003, Myungchul Kim	TESTVAL, a tool for protocol test validation and the validation of a LAPB test suite as an example.	Comput. Commun.	1996	DBLP DOI BibTeX RDF
13	Mohamad H. Hassoun, Paul Benedict Watta, Rahul Shringarpure	Cross-validation without a validation set in BP-trained neural nets.	ICNN	1995	DBLP DOI BibTeX RDF
13	John Domingue	Software Visualization Based KBS Validation.	EUROVAV	1995	DBLP BibTeX RDF
13	J. Hoelter, C. Rittano, G. Velay	Verification and Validation Tools in JHExpert.	EUROVAV	1995	DBLP BibTeX RDF
13	P. Boulitreau-Lefevre, Gilles Kassel	Modelling Validation Seen as a Set of Problem Solving Tasks.	EUROVAV	1995	DBLP BibTeX RDF
13	Alain Rouge, Jean Yves Lapicque, Florent Brossier, Yves Lozinguez	Validation and Verification of KADS Data and Domain Knowledge.	EUROVAV	1993	DBLP BibTeX RDF
13	Bruno Wendler, Laurence Vignollet, Stephane Talbot	Computing Partial Labels in KBS Validation Tools.	EUROVAV	1993	DBLP BibTeX RDF
13	Sophie Renault	Validation of Stratified Logic Programs: Methodology and Practical Experience.	EUROVAV	1993	DBLP BibTeX RDF
13	Richard Blondeau	Towards a Validation Methodology of KBS.	EUROVAV	1993	DBLP BibTeX RDF
13	R. Phelps, W. Aerts, J.-M. Forêt	Improving Validation and Verification of KBSs through Naturally Comprehensible Flow Representations.	EUROVAV	1993	DBLP BibTeX RDF
13	Dolores Cañamero, Sabine Geldof, Agnus McIntyre	Coupling Modeling and Validation in COMMET.	EUROVAV	1993	DBLP BibTeX RDF
13	Catherine Vicat, Patrick Brézillon, Christian Nottola	Knowledge Validation in the Building of a KBS.	EUROVAV	1993	DBLP BibTeX RDF
13	Daniel Borrajo, Angélica de Antonio	Cooperation of Machine Learning and Validation.	EUROVAV	1993	DBLP BibTeX RDF
13	Jay Liebowitz	Expert System Verification and Validation: Issues and U.S. Activities.	EUROVAV	1993	DBLP BibTeX RDF
13	Susan Craw, Derek H. Sleeman	Refinement in Response to Validation.	EUROVAV	1993	DBLP BibTeX RDF
13	Cuno Duursma, Ronald Schrooten, Dolores Cañamero	Model Ontology Requirements for Domain Model Validation.	EUROVAV	1993	DBLP BibTeX RDF
13	Bob J. Wielinga, Hans Akkermans, Guus Schreiber	Validation and Verification of Knowledge Models.	EUROVAV	1993	DBLP BibTeX RDF
13	Laurent Gibet	Validation of KBSs: Towards a Methodological Approach for Space Applications.	EUROVAV	1993	DBLP BibTeX RDF
13	Thierry Collette	Architecture et validation comportementale en VHDL d'un calculateur parallèle dédié à la vision. (Architecture and VHDL behavioural validation of a parallel processor dedicated to computer vision).		1992	RDF
13	Meryem Marzouki	Approches a base de connaissances pour le test de circuits VLSI : application à la validation de prototypes dans le cadre d'un test sans contact. (Knowledge-based approaches to VLSI circuit testing : application to prototype validation by contactless testing).		1991	RDF
13	L. Brunessaux	A Pragmatic Approach to Validation: The Industrial Experience of ALPIN.	EUROVAV	1991	DBLP BibTeX RDF
13	Sylvain Petitjean, L. Brunessaux, Jean-Philippe Vaudet	Three Pragmatic Tools for the Validation of Knowledge-Based Systems.	EUROVAV	1991	DBLP BibTeX RDF
13	D. Byrne, J. Dewar	The Data Fusion Technology Demonstrator Programme: Validation of the Knowledge Base.	EUROVAV	1991	DBLP BibTeX RDF
13	Ole J. Mengshoel	KVAT: A Tool for Incremental Knowledge Validation in a Knowledge Engineering Workbench.	EUROVAV	1991	DBLP BibTeX RDF
13	Cathérine Martin-Mattei	Validation, Verification and Testing: Procedures in the Life Cycle of Knowledge-Based Systems.	EUROVAV	1991	DBLP BibTeX RDF
13	Maarten van Someren	Structural and Formative Validation of Knowledge Bases.	EUROVAV	1991	DBLP BibTeX RDF
13	Danny A. Pearce	A Model Based Approach to Validation.	EUROVAV	1991	DBLP BibTeX RDF
13	Trevor J. M. Bench-Capon, Frans Coenen	Two Aspects of the Validation and Verification of Knowledge Based Systems.	EUROVAV	1991	DBLP BibTeX RDF
13	Lalita-Narhar Deshpande	Des algorithmes rapides pour la validation croisée sur des problèmes d'approximation non linéaires. (Some fast algorithms for cross-validation on non-linear approximation problems).		1990	RDF
13	Pascal Drabrik	Validation sémantique dans les théories structurées : application à un langage de programmation générique. (Semantic validation for structured theories: application to a generic programming language).		1989	RDF
13	Carlos Rodriguez	Spécification et validation de systèmes en Xesar. (Specification and validation of systems in Xesar).		1988	RDF
13	Abdelhamid Benaini	Conception et validation des algorithmes systoliques. (Conception and validation of systolics algorithms).		1988	RDF
13	B. Chandrasekaran 0001, William F. Punch III	Data Validation during Diagnosis: A Step beyond Traditional Sensor Validation.	AAAI	1987	DBLP BibTeX RDF
13	Bernard Cousin	Méthodologie de validation des systèmes structurés en couches par réseaux de Petri : application au protocole Transport. (Validation methodology of layered systems by Petri Nets : application to Transport protocol).		1987	RDF
13	Edmond Félix Kouka	Les modèles de fiabilité du logiciel : application aux essais de validation d'un système informatique critique. (The software models: application to validation tests of a critical computer systems).		1985	RDF
13	Eric Pilaud	Conception et validation de systèmes informatiques à haute sûreté de fonctionnement. (Design and validation of computer systems with high operating reliability).		1982	RDF
13	Zefu Dai, Nick Ni, Jianwen Zhu	A 1 cycle-per-byte XML parsing accelerator.	FPGA	2010	DBLP DOI BibTeX RDF	bart, schema validation, string comparison, xml parsing, ethernet, bloom filter, dom, tree construction
13	Bruno de Moura Araujo, Eber Assis Schmitz, Alexandre L. Correa, Antonio Juarez Alencar	A method for validating the compliance of business processes to business rules.	SAC	2010	DBLP DOI BibTeX RDF	compliance validation, UML, business process, OCL, business rules
13	Jean-Baptiste Tristan, Xavier Leroy	A simple, verified validator for software pipelining.	POPL	2010	DBLP DOI BibTeX RDF	software pipelining, translation validation, verified compilers, symbolic evaluation
13	Christian Fotsing, Annie Geniet, Guy Vidal-Naquet	Tree scheduling versus sequential scheduling.	EDCC-CARS	2010	DBLP DOI BibTeX RDF	conditional statements, critical real-time systems, sequential scheduling, tree scheduling, validation
13	Marie-Agnès Peraldi-Frati, Arnaud Albinet	Requirement traceability in safety critical systems.	EDCC-CARS	2010	DBLP DOI BibTeX RDF	modeling, validation, time, safety, traceability, non-functional requirement, MARTE
13	ByongChan Lim, Jaeha Kim, Mark A. Horowitz	An efficient test vector generation for checking analog/mixed-signal functional models.	DAC	2010	DBLP DOI BibTeX RDF	linear abstraction, validation, equivalence checking, verilog, functional model, test vector, mixed-signal circuits
13	Tao Lu, Martti Viljanen	Prediction of indoor temperature and relative humidity using neural network models: model comparison.	Neural Comput. Appl.	2009	DBLP DOI BibTeX RDF	Indoor relative humidity prediction, Indoor temperature prediction, NNARX model, Genetic algorithm, Neural networks, Model validation
13	David W. Chadwick, Sassa Otenko, Tuan-Anh Nguyen	Adding support to XACML for multi-domain user to user dynamic delegation of authority.	Int. J. Inf. Sec.	2009	DBLP DOI BibTeX RDF	Delegation of authority, Credential validation service, RBAC, XACML
13	John Mathenge Kanyaru, Keith Phalp	Validating software requirements with enactable use case descriptions.	Requir. Eng.	2009	DBLP DOI BibTeX RDF	Specification, Validation, Requirements, Use case, Enaction
13	Davut Hanbay, Ahmet Baylar, Emrah Ozpolat	Predicting flow conditions over stepped chutes based on ANFIS.	Soft Comput.	2009	DBLP DOI BibTeX RDF	Stepped chute, Flow conditions, Cross validation, ANFIS, Fuzzy membership function
13	Adrien Bartoli	On Computing the Prediction Sum of Squares Statistic in Linear Least Squares Problems with Multiple Parameter or Measurement Sets.	Int. J. Comput. Vis.	2009	DBLP DOI BibTeX RDF	PRESS, Deformation centre, Registration, Cross-validation, Image warp, Thin-Plate Spline
13	Philipp Hurni, Torsten Braun	Calibrating Wireless Sensor Network Simulation Models with Real-World Experiments.	Networking	2009	DBLP DOI BibTeX RDF	Energy Efficient Medium Access Control, Networking 2009, Wireless Sensor Networks, Model Validation, Model Calibration
13	Yllias Chali, Sadid A. Hasan, Shafiq R. Joty	A SVM-Based Ensemble Approach to Multi-Document Summarization.	Canadian AI	2009	DBLP DOI BibTeX RDF	Cross-Validation Committees, Support Vector Machines, Ensemble, Multi-Document Summarization
13	Ángel Herranz-Nieva, Julio Mariño, Manuel Carro, Juan José Moreno-Navarro	Modeling Concurrent Systems with Shared Resources.	FMICS	2009	DBLP DOI BibTeX RDF	Verification, Concurrency, Validation, Shared resource
13	Taiji Suzuki, Masashi Sugiyama	Estimating Squared-Loss Mutual Information for Independent Component Analysis.	ICA	2009	DBLP DOI BibTeX RDF	Squared loss, Density ratio estimation, Independent component analysis, Mutual information, Cross-validation
13	Andrei Voronkov, Iman Narasamdya	Inter-program Properties.	SAS	2009	DBLP DOI BibTeX RDF	assertion function, invariant, translation validation
13	A. C. Ramachandra, K. Pavithra, K. Yashasvini, K. B. Raja, K. R. Venugopal 0001, Lalit M. Patnaik	Offline signature authentication using cross-validated graph matching.	Bangalore Compute Conf.	2009	DBLP DOI BibTeX RDF	complete matching, equal error rate, offline signature verification, biometrics, bipartite graph, cross-validation
13	Yogesh Singh, Arvinder Kaur, Ruchika Malhotra	Prediction of Software Quality Model Using Gene Expression Programming.	PROFES	2009	DBLP DOI BibTeX RDF	Object-oriented, Metrics, Software Quality, Empirical validation, Gene expression programming, Fault prediction
13	Hong Liu 0012, Jayathi Raghavan	A Mathematical Modeling Module with System Engineering Approach for Teaching Undergraduate Students to Conquer Complexity.	ICCS (2)	2009	DBLP DOI BibTeX RDF	Compartmental Analysis, Query-Based Modeling Process, Kolb Cognitive Complexity, Validation and Verification
13	David W. Chadwick, Kaniz Fatema	An advanced policy based authorisation infrastructure.	Digital Identity Management	2009	DBLP DOI BibTeX RDF	application independent pep, credential validation service, master pdp, obligations service, pdp, pep, sticky policy
13	Michael Bredel, Martin Bergner	On the accuracy of IEEE 802.11g wireless LAN simulations using OMNeT++.	SimuTools	2009	DBLP DOI BibTeX RDF	simulation, measurements, validation, IEEE 802.11, OMNeT++
13	Janneke Verhaegh, Willem Fontijn, Emile H. L. Aarts, Laurens Boer, Doortje van de Wouw	Creating a Development Support Bubble for Children.	AmI	2009	DBLP DOI BibTeX RDF	validation, tangible interfaces, Ambient Intelligence, child development
13	Diego Rother, Guillermo Sapiro, Vijay Pande	Statistical Characterization of Protein Ensembles.	IEEE ACM Trans. Comput. Biol. Bioinform.	2008	DBLP DOI BibTeX RDF	protein ensembles, Bayesian networks, graphical models, bootstrapping, maximum likelihood, density estimation, cross-validation
13	Michael Gläser, Sebastian Müller, Axel Rennoch, Peter Schmitting	Standardized TTCN-3 specifications for SIP-ISUP/ISDN interworking testing.	Int. J. Softw. Tools Technol. Transf.	2008	DBLP DOI BibTeX RDF	ISUP, Validation, SIP, TTCN-3, ISDN
13	Yüksel Özbay	A New Method for Diagnosis of Cirrhosis Disease: Complex-valued Artificial Neural Network.	J. Medical Syst.	2008	DBLP DOI BibTeX RDF	Cirrhosis, Portal vein, Doppler signals, Complex-valued artificial neural network, Leave-one-out cross-validation, Liver
13	Stéphane Daviet, Fabrice Guillet, Henri Briand, Serge Baquédano, Vincent Philippé, Régis Gras	Using the Statistical Implicative Analysis for Elaborating Behavioral Referentials.	Statistical Implicative Analysis	2008	DBLP DOI BibTeX RDF	Statistical Implicative Analysis, Behavioral referentials, Validation study, geometric skill, Decision support system, Assessment tool
13	Guillermo Vigueras, Jorge J. Gómez-Sanz, Juan A. Botía Blaya, Juan Pavón	Using Semantic Causality Graphs to Validate MAS Models.	Innovations in Hybrid Intelligent Systems	2008	DBLP DOI BibTeX RDF	Intelligent agent-based systems, MAS debug, MAS validation
13	Fotis Menemenis, Symeon Papadopoulos, Ben Bratu, Simon Waddington, Yiannis Kompatsiaris	AQUAM: automatic query formulation architecture for mobile applications.	MUM	2008	DBLP DOI BibTeX RDF	query validation, query expansion, mobile search
13	Colin O'Halloran, Andy Bates	Security and Interoperability for MANETs and a Fixed Core.	SAFECOMP	2008	DBLP DOI BibTeX RDF	NEC, NCO, Security, Verification, Trust, Interoperability, Validation, Certification, Risk, Identity Management
13	Bogdan Werth, Scott Moss	Intrusion of Agent-Based Social Simulation in Economic Theory.	MABS	2008	DBLP DOI BibTeX RDF	transaction cost theory, investigation of economic theory, outsourcing, agent-based modeling, model validation, offshoring, transaction cost economics
13	Andrea Cesetti, Adriano Mancini, Emanuele Frontoni, Primo Zingaretti, Sauro Longhi	From Simulated to Real Scenarios: A Framework for Multi-UAVs.	SIMPAR	2008	DBLP DOI BibTeX RDF	modelling framework for robots and environments, testing and validation of robot control software, simulated sensors and actuators, UAV
13	Fodé Touré, Karim Baïna, Khalid Benali	An Efficient Algorithm for Workflow Graph Structural Verification.	OTM Conferences (1)	2008	DBLP DOI BibTeX RDF	business process validation, structural checking, reduction-based algorithm, transformation of model, workflow, Business processes, graph traversal
13	Martin Karusseit, Tiziana Margaria, Holger Willebrandt	Policy expression and checking in XACML, WS-Policies, and the jABC.	TAV-WEB	2008	DBLP DOI BibTeX RDF	model checking, access control, validation, policies
13	Piotr Blajdo, Jerzy W. Grzymala-Busse, Zdzislaw S. Hippe, Maksymilian Knap, Teresa Mroczek, Lukasz Piatek	A Comparison of Six Approaches to Discretization-A Rough Set Perspective.	RSKT	2008	DBLP DOI BibTeX RDF	Merging intervals, Ten-fold cross validation, Test on the difference between means, F-test, Rough sets, Cluster analysis, Discretization
13	Alex Hagen-Zanker, Pim Martens	Map Comparison Methods for Comprehensive Assessment of Geosimulation Models.	ICCSA (1)	2008	DBLP DOI BibTeX RDF	map comparison, validation, calibration, geosimulation
13	Junzhong Ji, Jingyue Li, Reidar Conradi, Chunnian Liu, Jianqiang Ma, Weibing Chen	Some lessons learned in conducting software engineering surveys in china.	ESEM	2008	DBLP DOI BibTeX RDF	empirical software engineering methods, questionnaire validation, survey, data collection, lessons learned
13	Christophe Ponsard, Mike Martin, Sarah Walsh, Susan Baines, Sébastien Rousseaux, Giovanni Rinaldi, Fulvio Tamburriello	OLDES: Designing a Low-Cost, Easy-to-Use e-Care System Together with the Stakeholders.	ICCHP	2008	DBLP DOI BibTeX RDF	service oriented architecture, elderly, call center, eHealth, requirements validation, home care
13	D. Dhanasekaran, K. Boopathy Bagan	Fault Tolerant Dynamic Antenna Array in Smart Antenna System Using Evolved Virtual Reconfigurable Circuit.	VLSI Design	2008	DBLP DOI BibTeX RDF	Virtual Reconfigurable circuit, element validation, Evolvable hardware
13	Richard Dazeley, Byeong Ho Kang 0001	Detecting the Knowledge Boundary with Prudence Analysis.	Australasian Conference on Artificial Intelligence	2008	DBLP DOI BibTeX RDF	prudence analysis, knowledge representation, knowledge based systems, verification and Validation, ripple-down rules
13	Yong Shi 0001, Xinyang Zhang, Jia Wan, Yong Wang, Wei Yin 0001, Zhi-Wei Cao, Yajun Guo	Predicting the distance between antibody's interface residue and antigen to recognize antigen types by support vector machine.	Neural Comput. Appl.	2007	DBLP DOI BibTeX RDF	Protein data bank, Antibody-antigen complexes, Support vector machine, Bioinformatics, Cross-validation, Protein
13	Daniel Ernst, Kimon P. Valavanis, Richard Garcia, Jeff Craighead	Unmanned Vehicle Controller Design, Evaluation and Implementation: From MATLAB to Printed Circuit Board.	J. Intell. Robotic Syst.	2007	DBLP DOI BibTeX RDF	Autopilot, Unmanned systems, Validation, Implementation, Microcontroller, Controller design, MATLAB/SIMULINK
13	Margaret A. Wojcicki, Paul A. Strooper	Maximising the information gained from a study of static analysis technologies for concurrent software.	Empir. Softw. Eng.	2007	DBLP DOI BibTeX RDF	Concurrent Java components, Controlled experiment, Verification and validation
13	Keith Phalp, Jonathan Vincent, Karl Cox	Assessing the quality of use case descriptions.	Softw. Qual. J.	2007	DBLP DOI BibTeX RDF	Use case description, Text comprehension, Specification, Validation, Requirements, Use case
13	Kwang-Ting (Tim) Cheng	Cocktail approach to functional verification.	IEEE Des. Test Comput.	2007	DBLP DOI BibTeX RDF	validation, functional verification, multiprocessor SoC, SiP, BISR
13	Egon Börger	Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems.	Formal Aspects Comput.	2007	DBLP DOI BibTeX RDF	Validation and certification, ASM ground model (golden model), ASM refinement, Verified software challenge, System analysis, Abstract State Machine
13	Elise Arnaud, Étienne Mémin	Partial Linear Gaussian Models for Tracking in Image Sequences Using Sequential Monte Carlo Methods.	Int. J. Comput. Vis.	2007	DBLP DOI BibTeX RDF	optimal importance function, validation gate, point tracking, planar structure tracking, sequential Monte Carlo methods, Rao-Blackwellization
13	Irfan Ahmed 0001, Usman Tariq, Shoaib Mukhtar, Kyung-suk Lhee, S. W. Yoo, Piao Yanji, Manpyo Hong	Binding Update Authentication Scheme for Mobile IPv6.	IAS	2007	DBLP DOI BibTeX RDF	Care-of-Address Validation, Binding Update Authentication, Key Management, Mobile IPv6, Route Optimization
13	Lidia Oshlyansky, Paul A. Cairns, Harold W. Thimbleby	Validating the unified theory of acceptance and use of technology (UTAUT) tool cross-culturally.	BCS HCI (2)	2007	DBLP DOI BibTeX RDF	validation, technology acceptance, cross-cultural, UTAUT
13	Ezequiel López-Rubio, Juan Miguel Ortiz-de-Lazcano-Lobato, Domingo López-Rodríguez, María del Carmen Vargas-González	Automatic Model Selection for Probabilistic PCA.	IWANN	2007	DBLP DOI BibTeX RDF	dimensionality reduction, cross-validation, handwritten digit recognition, Probabilistic Principal Components Analysis (PPCA)
13	Juan Miguel López 0001, Idoia Cearreta, Inmaculada Fajardo, Nestor Garay	Validating a Multilingual and Multimodal Affective Database.	HCI (11)	2007	DBLP DOI BibTeX RDF	affective resources, user validation, multilingual and multimodal resources, semantics, Affective computing
13	Márcio Oyamada, Flávio Rech Wagner, Marius Bonaciu, Wander O. Cesário, Ahmed Amine Jerraya	Software Performance Estimation in MPSoC Design.	ASP-DAC	2007	DBLP DOI BibTeX RDF	cycle-accurate simulation model, software performance estimation, MPSoC design, software-dominated embedded systems, integrated methodology, bus-functional model, multiprocessor platform, MPEG4 encoder, neural networks, performance analysis, design space exploration, design validation
13	Ronald Stevens, Brittany Parsons, Tariq M. King	A self-testing autonomic container.	ACM Southeast Regional Conference	2007	DBLP DOI BibTeX RDF	testing, validation, autonomic computing