BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
system (16)
model (12)
base (12)
use (12)
test (11)

Stem diagnost$ (all stems)

91 papers:

DATEDATE-2015-FarkashHS #data mining #debugging #locality #mining
Data mining diagnostics and bug MRIs for HW bug localization (MF, BGH, BS), pp. 79–84.
SIGMODSIGMOD-2015-WangDM #fault
Data X-Ray: A Diagnostic Tool for Data Errors (XW, XLD, AM), pp. 1231–1245.
HCIDHM-EH-2015-JoshiW #collaboration #empirical #evaluation
A Collaborative Change Experiment: Diagnostic Evaluation of Telecare for Elderly Home Dwellers (SGJ, AW), pp. 423–434.
HCIDHM-EH-2015-KimRCMLAIS #mobile #usability
Usability of Mobile Applications Supporting Training in Diagnostic Decision-Making by Radiologists (MSK, AABR, MAC, MKM, KJL, MRA, KLI, VS), pp. 448–454.
ISSTAISSTA-2015-ZhangE #detection #fault
Proactive detection of inadequate diagnostic messages for software configuration errors (SZ, MDE), pp. 12–23.
CASECASE-2014-ChenHL #development
Development of an e-diagnostics system based on Web-services (CHC, HPH, SYL), pp. 686–691.
DATEDATE-2014-Pomeranz #generative #testing
Test and non-test cubes for diagnostic test generation based on merging of test cubes (IP), pp. 1–4.
ICPRICPR-2014-MercanASWBE #image #locality
Localization of Diagnostically Relevant Regions of Interest in Whole Slide Images (EM, SA, LGS, DLW, TTB, JGE), pp. 1179–1184.
KRKR-2014-BaierMM #problem
Diagnostic Problem Solving via Planning with Ontic and Epistemic Goals (JAB, BM, SAM).
SIGIRSIGIR-2014-StantonIM #query
Circumlocution in diagnostic medical queries (IS, SI, NM), pp. 133–142.
HCIDHM-SET-2013-MazzolaMBPAPP #process
Explicit Tracking in the Diagnostic Process for Hand Dermatological Practices (LM, SM, SB, FP, FA, ODP, PP), pp. 248–257.
HCIDUXU-NTE-2013-BarrosSFCC #analysis #artificial reality #people
Virtual Reality Immersion: An Important Tool for Diagnostic Analysis and Rehabilitation of People with Disabilities (HOB, MMS, ELRF, WC, FC), pp. 337–344.
HCIDUXU-WM-2013-KondoK #development #evaluation #image #interactive #prototype #using #visual notation
Trial of Diagnostic to Find Preferable Job Using the Visual Image Information Interaction: Prototype Development and Evaluation in Global Human Resources Matching Site (AK, NK), pp. 525–532.
CAiSECAiSE-2013-TaghiabadiFDA #requirements
Diagnostic Information for Compliance Checking of Temporal Compliance Requirements (ERT, DF, BFvD, WMPvdA), pp. 304–320.
ICMLICML-c3-2013-ChuangGMH #topic
Topic Model Diagnostics: Assessing Domain Relevance via Topical Alignment (JC, SG, CDM, JH), pp. 612–620.
KDDKDD-2013-KleinerTASJ #performance
A general bootstrap performance diagnostic (AK, AT, SA, IS, MIJ), pp. 419–427.
KEODKEOD-2013-CholewaACR #integration #modelling #multimodal #network
Multimodal Statement Networks for Diagnostic Knowledge Modeling and Integration (WC, MA, PC, TR), pp. 140–147.
REFSQREFSQ-2013-Zorn-PauliPBKR #case study #industrial #process #release planning
Analyzing an Industrial Strategic Release Planning Process — A Case Study at Roche Diagnostics (GZP, BP, TB, HK, GR), pp. 269–284.
CSCWCSCW-2012-RooksbyK #community #in the cloud
Diagnostic work in cloud computing: discussion forums, community and troubleshooting (JR, AKH), pp. 335–338.
KEODKEOD-2012-MuellerHOZ #information management #requirements
Knowledge Engineering Requirements for Generic Diagnostic Systems (AM, IH, HO, SZ), pp. 184–189.
ASEASE-2011-LutzJP #assurance #modelling #using
Using model-based assurance to strengthen diagnostic procedures (RRL, JJ, APH), pp. 516–519.
DATEDATE-2011-MicheliGBVC #framework
An integrated platform for advanced diagnostics (GDM, SSG, CB, FV, SC), pp. 1454–1459.
KMISKMIS-2011-Chebel-MorelloHZ #adaptation #modelling #reasoning #using
Adaptation based on Knowledge Models for Diagnostic Systems using Case-base Reasoning (BCM, MKH, NZ), pp. 223–229.
SLESLE-2011-BastenV #ambiguity
Parse Forest Diagnostics with Dr. Ambiguity (BB, JJV), pp. 283–302.
CASECASE-2010-Tobon-MejiaMZT #markov
A mixture of Gaussians Hidden Markov Model for failure diagnostic and prognostic (DATM, KM, NZ, GT), pp. 338–343.
DATEDATE-2010-OstendorffWSK #adaptation #approach
A new approach for adaptive failure diagnostics based on emulation test (SO, HDW, JS, SK), pp. 327–330.
ICPRICPR-2010-ElnakibECS #analysis #corpus
Dyslexia Diagnostics by Centerline-Based Shape Analysis of the Corpus Callosum (AE, AEB, MC, AES), pp. 261–264.
ICMTICMT-2010-BehrensP #generative #modelling
Temporal Model-Based Diagnostics Generation for HVAC Control Systems (MB, GMP), pp. 31–44.
ITiCSEITiCSE-2009-Palmer-BrownDL #feedback #learning
Guided learning via diagnostic feedback to question responses (DPB, CD, SWL), p. 362.
SEFMSEFM-2009-Chalin #verification
Adjusted Verification Rules for Loops Are More Complete and Give Better Diagnostics for Less (PC), pp. 317–324.
DATEDATE-2008-PomeranzR08a #fault #taxonomy
A Same/Different Fault Dictionary: An Extended Pass/Fail Fault Dictionary with Improved Diagnostic Resolution (IP, SMR), pp. 1474–1479.
DATEDATE-2008-ZjajoG #analysis #fault #multi
Diagnostic Analysis of Static Errors in Multi-Step Analog to Digital Converters (AZ, JPdG), pp. 74–79.
ICPRICPR-2008-El-BazCGMSVM #3d #analysis #matter
Dyslexia diagnostics by 3D texture analysis of cerebral white matter gyrifications (AEB, MC, GLG, MM, AES, EV, RM), pp. 1–4.
VMCAIVMCAI-2008-CimattiRST
Diagnostic Information for Realizability (AC, MR, VS, AT), pp. 52–67.
RERE-2007-MunirajJ #prototype #requirements #using
Requirements Engineering using Prototyping Projects in Healthcare Diagnostic Software Applications (GM, VJ), pp. 307–312.
ICEISICEIS-AIDSS-2006-ConstantinouGCCL #assurance #automation #quality
A Semi-Automated Quality Assurance Toolbox for Diagnostic Radiological Imaging (CC, AG, AC, CC, AL), pp. 216–221.
ICPRICPR-v3-2006-HaiESYSHAY #adaptation #analysis #image #video
Adaptive Control of Video Display for Diagnostic Assistance by Analysis of Capsule Endoscopic Images (HV, TE, RS, KY, MS, KH, TA, YY), pp. 980–983.
CASECASE-2005-HungHWCLH #collaboration #framework
A secure collaborative e-diagnostics framework for semiconductor factories (MHH, FYH, TLW, FTC, RL, TH), pp. 185–190.
DACDAC-2005-EzerJ #configuration management #verification
Smart diagnostics for configurable processor verification (SE, SJ), pp. 789–794.
DATEDATE-2005-NoguchiN #monitoring #multi
On-Chip Multi-Channel Waveform Monitoring for Diagnostics of Mixed-Signal VLSI Circuits (KN, MN), pp. 146–151.
DATEDATE-2005-SandireddyA #detection #fault #multi
Diagnostic and Detection Fault Collapsing for Multiple Output Circuits (RKKRS, VDA), pp. 1014–1019.
EDOCEDOC-2005-WangWCWFUCGL #adaptation #enterprise #monitoring #using
Service Level Management using QoS Monitoring, Diagnostics, and Adaptation for Networked Enterprise Systems (GW, CW, AC, HW, CKF, SAU, YLC, WG, JL), pp. 239–250.
ICEISICEIS-v2-2005-Roubtsova #specification #workflow
A Property Specification Language for Workflow Diagnostics (EER), pp. 297–302.
KDDKDD-2005-LebanMBZ #effectiveness #modelling #visual notation
Simple and effective visual models for gene expression cancer diagnostics (GL, MM, IB, BZ), pp. 167–176.
ICPRICPR-v3-2004-GurevichM #analysis #image
Method for Early Diagnostics of Lymphatic System Tumors on the Basis of the Analysis of Chromatin Constitution in Cell Nucleus Images (IBG, DM), pp. 806–809.
KDDKDD-2004-AbajoDLC #case study #data mining #industrial #mining #modelling #quality
ANN quality diagnostic models for packaging manufacturing: an industrial data mining case study (NdA, ABD, VL, SRC), pp. 799–804.
CAVCAV-2004-Tan #framework #game studies #named
PlayGame: A Platform for Diagnostic Games (LT), pp. 492–495.
SACSAC-2003-MabrySEE #monitoring
Intelligent Agents for Patient Monitoring and Diagnostics (SLM, TS, TE, NE), pp. 257–262.
DACDAC-2002-WohlWPM #effectiveness
Effective diagnostics through interval unloads in a BIST environment (PW, JAW, SP, GAM), pp. 249–254.
DATEDATE-2002-KapurWM #logic
Directed-Binary Search in Logic BIST Diagnostics (RK, TWW, MRM), p. 1121.
ITiCSEITiCSE-2002-Clear #performance
A diagnostic technique for addressing group performance in capstone projects (TC), p. 196.
ASEASE-2000-NoahW #automation #database #design #performance #tool support #validation
Exploring and Validating the Contributions of Real-World Knowledge to the Diagnostic Performance of Automated Database Design Tools (SAN, MDW), pp. 177–186.
DATEDATE-2000-BergfeldNR #embedded #testing #using
Diagnostic Testing of Embedded Memories Using BIST (TJB, DN, EMR), pp. 305–309.
TACASTACAS-2000-Mateescu #equation #generative #performance
Efficient Diagnostic Generation for Boolean Equation Systems (RM), pp. 251–265.
ICPRICPR-v2-2000-SkurichinaYD #subclass
The Role of Subclasses in Machine Diagnostics (MS, AY, RPWD), pp. 2668–2671.
KRKR-2000-BaralMS #problem #using
Formulating diagnostic problem solving using an action language with narratives and sensing (CB, SAM, TCS), pp. 311–322.
KRKR-2000-LampertiZ #compilation #generative
Generation of Diagnostic Knowledge by Discrete-Event Model Compilation (GL, MZ), pp. 333–344.
KRKR-2000-VerberneHT #approximate #constraints #reasoning #using
Anytime Diagnostic Reasoning using Approximate Boolean Constraint Propagation (AV, FvH, AtT), pp. 323–332.
ICLPCL-2000-Syrjanen #modelling
Including Diagnostic Information in Configuration Models (TS), pp. 837–851.
DATEDATE-1999-GomesC #testing #using
Minimal Length Diagnostic Tests for Analog Circuits using Test History (AVG, AC), pp. 189–194.
TACASTACAS-1999-Tripakis #reachability
Timed Diagnostics for Reachability Properties (ST), pp. 59–73.
HCIHCI-EI-1999-SundareswaranBCW #3d #artificial reality #distributed #recognition #speech
A Distributed System for Device Diagnostics Utilizing Augmented Reality, 3D Audio, and Speech Recognition (VS, RB, SC, KW), pp. 466–470.
ICPRICPR-1998-ComaniciuMF #image #retrieval
Shape-based image indexing and retrieval for diagnostic pathology (DC, PM, DJF), pp. 902–904.
HCIHCI-CC-1997-JungKLS #agile
Diagnostic Methodology for Agile Manufacturing System (HSJ, YK, BGL, NS), pp. 335–338.
SACSAC-1997-HashemiCTSP #approximate #multi
A diagnostic system based on a multi-decision approximate rules model (RRH, FFC, JRT, WS, MGP), pp. 20–24.
PLDIPLDI-1996-BaileyD #generative #sequence #source code
Target-Sensitive Construction of Diagnostic Programs for Procedure Calling Sequence Generators (MWB, JWD), pp. 249–257.
DACDAC-1995-VenkataramanHFRCP #agile #fault #simulation #using
Rapid Diagnostic Fault Simulation of Stuck-at Faults in Sequential Circuits Using Compact Lists (SV, IH, WKF, EMR, SC, JHP), pp. 133–138.
CHICHI-1995-Conn #heuristic #usability
Time Affordances: The Time Factor in Diagnostic Usability Heuristics (APC), pp. 186–193.
HCIHCI-SHI-1993-KumeJS #design #paradigm
A New Paradigm for Diagnostic Expert System Based on Designer’s Knowledge (YK, HSJ, GS), pp. 867–872.
HCIHCI-SHI-1993-VigBC
Medical Diagnostic Expert System (RV, DB, YCC), pp. 790–795.
ICMLICML-1993-ORorkeFE
Explaining and Generalizing Diagnostic Decisions (PO, YEF, ME), pp. 228–235.
SEKESEKE-1993-ChenV #fault #information management #problem
Knowledge Engineering in Fault Diagnostic Problem Solving (LC, PV), pp. 255–257.
DACDAC-1992-KubiakPFS #evaluation
Exact Evaluation of Diagnostic Test Resolution (KK, SP, WKF, RAS), pp. 347–352.
CAVCAV-1992-CelikkanC #behaviour #generative
Generating Diagnostic Information for Behavioral Preorders (UC, RC), pp. 370–383.
ICTSSIWPTS-1992-GhedamsiDB #fault #finite #nondeterminism #state machine #testing
Diagnostic Tests for Single Transition Faults in Non-Deterministic Finite State Machines (AG, RD, GvB), pp. 105–116.
KDDKDD-1991-McLeishYGS #bibliography
Discovery of Medical Diagnostic Information: An Overview of Methods and Results (MM, PY, MG, TS), pp. 477–490.
KRKR-1991-ProvanP
The Utility of Consistency-Based Diagnostic Techniques (GMP, DLP), pp. 461–472.
ICMLML-1991-Feng #fault
Inducing Temporal Fault Diagnostic Rules from a Qualitative Model (CF), pp. 403–406.
ESECESEC-1987-Knabe #exception #fault #industrial #re-engineering #safety
The Impact of Exception Handling on Labour Division, Safety, and Error Diagnostics in an Industrial Software Engineering Environment (CK), pp. 369–376.
CSCWCSCW-1986-Orr #process
Narratives at work: story telling as cooperative diagnostic activity (JEO), pp. 62–72.
ICLPICLP-1986-GoebelFP86 #approach #constraints #reasoning #using
Using Definite Clauses and Integrity Constraints as the Basis for a Theory Formation Approach to Diagnostic Reasoning (RG, KF, DP), pp. 211–222.
ICSEICSE-1984-ChongH #approach #database #distributed #relational
Diagnostic System for Distributed Software: A Relational Database Approach (KC, PH), pp. 30–43.
DACDAC-1983-Paulson #testing
Classes of diagnostic tests (CP), pp. 316–322.
DACDAC-1982-AllenET #automation #interface #named
DORA: : CAD interface to automatic diagnostics (RWA, MMEW, RET), pp. 559–565.
DACDAC-1981-AlmyR #fault #using
Using error latch trace to obtain diagnostic information (PMA, JLR), pp. 355–359.
DACDAC-1981-GoshimaOKMTO #logic #scalability
Diagnostic system for large scale logic cards and LSIs (SG, YO, TK, TM, YT, YO), pp. 256–259.
DACDAC-1975-AllevaCGP #evaluation #implementation #simulation #source code
A simulation system for implementation and evaluation of diagnostic programs of a special-purpose telecommunication switching processor (IA, MGC, RG, FP), pp. 123–133.
DACDAC-1973-Miyoshi #automation #generative #source code
Automatic generation of diagnostic programs for TOSBAC — 5400/150 (AM), pp. 213–221.
DACDAC-1971-Nagamine #automation #design #logic #source code
An automated method for designing logic circuit diagnostic programs (MN), pp. 236–241.
DACDAC-1970-Goetz #design
Computer aided diagnostic design for electronic switching systems (FMG), pp. 178–189.
DACDAC-1970-Quiet #automation #source code
An automated method for producing diagnostic programs (EQ), pp. 132–137.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.