Works matching DE "EXPERT computer system validation"

Results: 35

Formal and experimental validation approaches in HCI systems design based on a shared event B model.

Published in:

International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 6, p. 547, doi. 10.1007/s10009-006-0008-8

By:

Ait-Ameur, Yamine;
Baron, Mickael

Publication type:

Article

Experiences applying formal approaches in the development of swarm-based space exploration systems.

Published in:

International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 6, p. 587, doi. 10.1007/s10009-006-0027-5

By:

Rouff, Christopher A.;
Hinchey, Michael G.;
Truszkowski, Walter F.;
Rash, James L.

Publication type:

Article

Using docking to verify and validate nonformal models of complex business innovation.

Published in:

Emergence: Complexity & Organization, 2014, v. 16, n. 2, p. 44

By:

Olaru, Doina;
Purchase, Sharon;
Denize, Sara

Publication type:

Article

Addressing Failure Factors in Knowledge Management.

Published in:

Electronic Journal of Knowledge Management, 2007, v. 5, n. 3, p. 333

By:

Weber, Rosina O.

Publication type:

Article

Validating an Expert System for Financial Statement Planning.

Published in:

Journal of Management Information Systems, 1993, v. 10, n. 3, p. 157, doi. 10.1080/07421222.1993.11518015

By:

Back, Barbro

Publication type:

Article

Agent-based ontology mapping and integration towards interoperability.

Published in:

Expert Systems, 2008, v. 25, n. 3, p. 197, doi. 10.1111/j.1468-0394.2008.00460.x

By:

Li, Li;
Yang, Yun

Publication type:

Article

Improving forgery detection technique using SURF & Segmentation algorithm.

Published in:

International Journal of Advanced Research in Computer Science, 2017, v. 8, n. 5, p. 293

By:

Sahay, Ajay;
Soni, Sarita

Publication type:

Article

Extracting and validating biclusters from binary datasets.

Published in:

AI Communications, 2013, v. 26, n. 4, p. 417, doi. 10.3233/AIC-130570

By:

Rodriguez-Baena, Domingo S.

Publication type:

Article

VALIDATION IN INFORMATION SYSTEMS RESEARCH: A STATE-OF-THE-ART ASSESSMENT.

Published in:

MIS Quarterly, 2001, v. 25, n. 1, p. 1, doi. 10.2307/3250956

By:

Boudreau, Marie-Claude;
Gefen, David;
Straub, Detmar W.

Publication type:

Article

Finding order in chaos: a behavior model of the whole grid.

Published in:

Concurrency & Computation: Practice & Experience, 2010, v. 22, n. 11, p. 1386, doi. 10.1002/cpe.1490

By:

Montes, Jesús;
Sánchez, Alberto;
Valdés, Julio J.;
Pérez, María S.;
Herrero, Pilar

Publication type:

Article

Audio Style Conversion Based on AutoML and Big Data Analysis.

Published in:

International Journal of Advanced Computer Science & Applications, 2024, v. 15, n. 1, p. 949, doi. 10.14569/ijacsa.2024.0150195

By:

Dan Chi

Publication type:

Article

Threats Models On Biometric Systems a comparative study.

Published in:

Journal of Information Assurance & Security, 2013, v. 8, n. 2, p. 137

By:

Nabil, Dellys Hachemi;
Karima, Benatchba;
Mouloud, Koudil;
Ahmed, Bouridane

Publication type:

Article

Validation of the results of the satellite monitoring of land surface temperature.

Published in:

Russian Meteorology & Hydrology, 2015, v. 40, n. 2, p. 131, doi. 10.3103/S1068373915020107

By:

Uspenskii, A.;
Kukharskii, A.;
Uspenskii, S.

Publication type:

Article

Expert system for regulating voltage in Distribution Network.

Published in:

Ingeniería y Competitividad, 2015, v. 17, n. 1, p. 23

By:

Cervera, Alfredo;
Caicedo-Delgado, Gladys

Publication type:

Article

Initial Evidence for the Reliability and Validity of the Student Risk Screening Scale for Internalizing and Externalizing Behaviors at the Middle School Level.

Published in:

Assessment for Effective Intervention, 2013, v. 39, n. 1, p. 24, doi. 10.1177/1534508413489336

By:

Lane, Kathleen Lynne;
Oakes, Wendy Peia;
Carter, Erik W.;
Lambert, Warren E.;
Jenkins, Abbie B.

Publication type:

Article

Optimized sampling design and rationale for verification and validation.

Published in:

Quality & Reliability Engineering International, 2019, v. 35, n. 1, p. 483, doi. 10.1002/qre.2353

By:

Cheng, S.;
Kupfer, K.;
Dixon, M.;
Shammas, S.

Publication type:

Article

A METHOD FOR ESTABLISHING THE REPRESENTATIONAL VALIDITY OF INTERACTION CODING SYSTEMS: DO WE SEE WHAT THEY SEE?

Published in:

Human Communication Research, 1981, v. 8, n. 1, p. 26, doi. 10.1111/j.1468-2958.1981.tb00654.x

By:

POOLE, MARSHALL SCOTT;
FOLGER, JOSEPH P.

Publication type:

Article

Constructive reinforcement learning.

Published in:

International Journal of Intelligent Systems, 2000, v. 15, n. 3, p. 241, doi. 10.1002/(SICI)1098-111X(200003)15:3<241::AID-INT6>3.0.CO;2-Z

By:

Hernandez-Orallo, Jose

Publication type:

Article

A Framework for Verification, Validation, and Refinement of Knowledge Bases: The VVR System.

Published in:

International Journal of Intelligent Systems, 1994, v. 9, n. 8, p. 703, doi. 10.1002/int.4550090805

By:

Zlatareva, Neli P.

Publication type:

Article

ASPECTS ABOUT SIMULATED MODEL TRUSTINESS.

Published in:

Annals of the University of Oradea, Economic Science Series, 2009, v. 18, n. 4, p. 918

By:

Cristina, Coculescu;
Alexandra, Crişan Daniela;
Lavinia, Stănică Justina;
Radu, Despa

Publication type:

Article

WORKFLOW AND ACCESS CONTROL RELOADED: A DECLARATIVE SPECIFICATION FRAMEWORK FOR THE AUTOMATED ANALYSIS OF WEB SERVICES.

Published in:

Scalable Computing: Practice & Experience, 2011, v. 12, n. 1, p. 1

By:

Barleta, Michele;
Calvi, Alberto;
Ranise, Silvio;
Vigano, Luca;
Zanetti, Luca

Publication type:

Article

Laboratory Investigation of the Seepage Control Measures under Coastal Dikes.

Published in:

Experimental Techniques, 2012, v. 36, n. 1, p. 61, doi. 10.1111/j.1747-1567.2010.00692.x

By:

Sedghi-Asl, M.;
Rahimi, H.;
Khaleghi, H.

Publication type:

Article

TWO CONCEPTUAL MODELS SUPPORTING THE DATA VALIDATION PROCESS.

Published in:

Experimental Techniques, 2002, v. 26, n. 4, p. 31, doi. 10.1111/j.1747-1567.2002.tb00076.x

By:

Shull, L. C.;
Wright, C. P.

Publication type:

Article

IMPLEMENTATION AND VALIDATION OF AN ADAPTIVE FEC MECHANISM FOR VIDEO TRANSMISSION.

Published in:

Journal of Information & Communication Technology, 2012, v. 11, p. 55, doi. 10.32890/jict.11.2012.6613

By:

Ghazali, Osman;
Harun, Nur Ziadah

Publication type:

Article

Purge-Rehab: Eager Software Transactional Memory with High Performance Under Contention.

Published in:

International Journal of Parallel Programming, 2016, v. 44, n. 6, p. 1359, doi. 10.1007/s10766-016-0427-4

By:

Siddique, Abubakar;
Ansari, Mohammad;
Luján, Mikel

Publication type:

Article

Validating Expert Systems: A Demonstration Using Personal choice Expert, A Flexible Employee Benefit System.

Published in:

Decision Sciences, 1995, v. 26, n. 1, p. 105, doi. 10.1111/j.1540-5915.1995.tb00839.x

By:

Sturman, Michael C.;
Milkovich, George T.

Publication type:

Article

VALIDATION OF EXPERT SYSTEMS--WITH APPLICATIONS TO AUDITING AND ACCOUNTING EXPERT SYSTEMS.

Published in:

Decision Sciences, 1987, v. 18, n. 3, p. 468, doi. 10.1111/j.1540-5915.1987.tb01536.x

By:

O'Leary, Daniel E.

Publication type:

Article

Validation and verification of intelligent systems - what are they and how are they different?

Published in:

Journal of Experimental & Theoretical Artificial Intelligence, 2000, v. 12, n. 4, p. 407, doi. 10.1080/095281300454793

By:

Gonzalez, Avelino J.;
Barr, Valerie

Publication type:

Article

Computers and Negotiation: Backing into the Future.

Published in:

Negotiation Journal (Wiley-Blackwell), 1995, v. 11, n. 2, p. 169, doi. 10.1007/bf02187235

By:

Wheeler, Michael

Publication type:

Article

Computer-Aided Negotiation and Economic Analysis.

Published in:

Negotiation Journal (Wiley-Blackwell), 1995, v. 11, n. 2, p. 135, doi. 10.1111/j.1571-9979.1995.tb00054.x

By:

Samuelson, William F.

Publication type:

Article

Generalized Cross-Validation for Bandwidth Selection of Backfitting Estimates in Generalized Additive Models.

Published in:

Journal of Computational & Graphical Statistics, 2004, v. 13, n. 1, p. 66, doi. 10.1198/1061860043056

By:

Kauermann, Göran;
Opsomer, J. D.

Publication type:

Article

Validation in the Wild.

Published in:

Design Management Review, 2014, v. 25, n. 3, p. 20, doi. 10.1111/drev.10290

By:

Sonders, Dave;
Braun, Lauren

Publication type:

Article

A Scientometric Investigation into the Validity of IS Journal Quality Measures.

Published in:

Journal of the Association for Information Systems, 2007, v. 8, n. 12, p. 619

By:

Lewis, Bruce R.;
Templeton, Gary F.;
Xin Luo

Publication type:

Article

A simple Ultraviolet spectrophotometric method for the determination of etoricoxib in dosage formulations.

Published in:

Journal of Advanced Pharmaceutical Technology & Research, 2012, v. 3, n. 4, p. 237, doi. 10.4103/2231-4040.104715

By:

Singh, Shipra;
Mishra, Amrita;
Verma, Anurag;
Ghosh, Ashoke K.;
Mishra, Arun K.

Publication type:

Article

Data-Driven T&E: An Essential Element in Verification and Validation of Complex Systems.

Published in:

ITEA Journal of Test & Evaluation, 2013, v. 34, n. 3, p. 222

By:

Felder, Wilson

Publication type:

Article