Stem diagnost$ (all stems)

91 papers:

DATE-2015-FarkashHS #data mining #debugging #locality #mining

Data mining diagnostics and bug MRIs for HW bug localization (MF, BGH, BS), pp. 79–84.

SIGMOD-2015-WangDM #fault

Data X-Ray: A Diagnostic Tool for Data Errors (XW, XLD, AM), pp. 1231–1245.

DHM-EH-2015-JoshiW #collaboration #empirical #evaluation

A Collaborative Change Experiment: Diagnostic Evaluation of Telecare for Elderly Home Dwellers (SGJ, AW), pp. 423–434.

DHM-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.

ISSTA-2015-ZhangE #detection #fault

Proactive detection of inadequate diagnostic messages for software configuration errors (SZ, MDE), pp. 12–23.

CASE-2014-ChenHL #development

Development of an e-diagnostics system based on Web-services (CHC, HPH, SYL), pp. 686–691.

DATE-2014-Pomeranz #generative #testing

Test and non-test cubes for diagnostic test generation based on merging of test cubes (IP), pp. 1–4.

ICPR-2014-MercanASWBE #image #locality

Localization of Diagnostically Relevant Regions of Interest in Whole Slide Images (EM, SA, LGS, DLW, TTB, JGE), pp. 1179–1184.

KR-2014-BaierMM #problem

Diagnostic Problem Solving via Planning with Ontic and Epistemic Goals (JAB, BM, SAM).

SIGIR-2014-StantonIM #query

Circumlocution in diagnostic medical queries (IS, SI, NM), pp. 133–142.

DHM-SET-2013-MazzolaMBPAPP #process

Explicit Tracking in the Diagnostic Process for Hand Dermatological Practices (LM, SM, SB, FP, FA, ODP, PP), pp. 248–257.

DUXU-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.

DUXU-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.

CAiSE-2013-TaghiabadiFDA #requirements

Diagnostic Information for Compliance Checking of Temporal Compliance Requirements (ERT, DF, BFvD, WMPvdA), pp. 304–320.

ICML-c3-2013-ChuangGMH #topic

Topic Model Diagnostics: Assessing Domain Relevance via Topical Alignment (JC, SG, CDM, JH), pp. 612–620.

KDD-2013-KleinerTASJ #performance

A general bootstrap performance diagnostic (AK, AT, SA, IS, MIJ), pp. 419–427.

KEOD-2013-CholewaACR #integration #modelling #multimodal #network

Multimodal Statement Networks for Diagnostic Knowledge Modeling and Integration (WC, MA, PC, TR), pp. 140–147.

REFSQ-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.

CSCW-2012-RooksbyK #community #in the cloud

Diagnostic work in cloud computing: discussion forums, community and troubleshooting (JR, AKH), pp. 335–338.

KEOD-2012-MuellerHOZ #information management #requirements

Knowledge Engineering Requirements for Generic Diagnostic Systems (AM, IH, HO, SZ), pp. 184–189.

ASE-2011-LutzJP #assurance #modelling #using

Using model-based assurance to strengthen diagnostic procedures (RRL, JJ, APH), pp. 516–519.

DATE-2011-MicheliGBVC #framework

An integrated platform for advanced diagnostics (GDM, SSG, CB, FV, SC), pp. 1454–1459.

KMIS-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.

SLE-2011-BastenV #ambiguity

Parse Forest Diagnostics with Dr. Ambiguity (BB, JJV), pp. 283–302.

CASE-2010-Tobon-MejiaMZT #markov

A mixture of Gaussians Hidden Markov Model for failure diagnostic and prognostic (DATM, KM, NZ, GT), pp. 338–343.

DATE-2010-OstendorffWSK #adaptation #approach

A new approach for adaptive failure diagnostics based on emulation test (SO, HDW, JS, SK), pp. 327–330.

ICPR-2010-ElnakibECS #analysis #corpus

Dyslexia Diagnostics by Centerline-Based Shape Analysis of the Corpus Callosum (AE, AEB, MC, AES), pp. 261–264.

ICMT-2010-BehrensP #generative #modelling

Temporal Model-Based Diagnostics Generation for HVAC Control Systems (MB, GMP), pp. 31–44.

ITiCSE-2009-Palmer-BrownDL #feedback #learning

Guided learning via diagnostic feedback to question responses (DPB, CD, SWL), p. 362.

SEFM-2009-Chalin #verification

Adjusted Verification Rules for Loops Are More Complete and Give Better Diagnostics for Less (PC), pp. 317–324.

DATE-2008-PomeranzR08a #fault #taxonomy

A Same/Different Fault Dictionary: An Extended Pass/Fail Fault Dictionary with Improved Diagnostic Resolution (IP, SMR), pp. 1474–1479.

DATE-2008-ZjajoG #analysis #fault #multi

Diagnostic Analysis of Static Errors in Multi-Step Analog to Digital Converters (AZ, JPdG), pp. 74–79.

ICPR-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.

VMCAI-2008-CimattiRST

Diagnostic Information for Realizability (AC, MR, VS, AT), pp. 52–67.

RE-2007-MunirajJ #prototype #requirements #using

Requirements Engineering using Prototyping Projects in Healthcare Diagnostic Software Applications (GM, VJ), pp. 307–312.

ICEIS-AIDSS-2006-ConstantinouGCCL #assurance #automation #quality

A Semi-Automated Quality Assurance Toolbox for Diagnostic Radiological Imaging (CC, AG, AC, CC, AL), pp. 216–221.

ICPR-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.

CASE-2005-HungHWCLH #collaboration #framework

A secure collaborative e-diagnostics framework for semiconductor factories (MHH, FYH, TLW, FTC, RL, TH), pp. 185–190.

DAC-2005-EzerJ #configuration management #verification

Smart diagnostics for configurable processor verification (SE, SJ), pp. 789–794.

DATE-2005-NoguchiN #monitoring #multi

On-Chip Multi-Channel Waveform Monitoring for Diagnostics of Mixed-Signal VLSI Circuits (KN, MN), pp. 146–151.

DATE-2005-SandireddyA #detection #fault #multi

Diagnostic and Detection Fault Collapsing for Multiple Output Circuits (RKKRS, VDA), pp. 1014–1019.

EDOC-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.

ICEIS-v2-2005-Roubtsova #specification #workflow

A Property Specification Language for Workflow Diagnostics (EER), pp. 297–302.

KDD-2005-LebanMBZ #effectiveness #modelling #visual notation

Simple and effective visual models for gene expression cancer diagnostics (GL, MM, IB, BZ), pp. 167–176.

ICPR-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.

KDD-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.

CAV-2004-Tan #framework #game studies #named

PlayGame: A Platform for Diagnostic Games (LT), pp. 492–495.

SAC-2003-MabrySEE #monitoring

Intelligent Agents for Patient Monitoring and Diagnostics (SLM, TS, TE, NE), pp. 257–262.

DAC-2002-WohlWPM #effectiveness

Effective diagnostics through interval unloads in a BIST environment (PW, JAW, SP, GAM), pp. 249–254.

DATE-2002-KapurWM #logic

Directed-Binary Search in Logic BIST Diagnostics (RK, TWW, MRM), p. 1121.

ITiCSE-2002-Clear #performance

A diagnostic technique for addressing group performance in capstone projects (TC), p. 196.

ASE-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.

DATE-2000-BergfeldNR #embedded #testing #using

Diagnostic Testing of Embedded Memories Using BIST (TJB, DN, EMR), pp. 305–309.

TACAS-2000-Mateescu #equation #generative #performance

Efficient Diagnostic Generation for Boolean Equation Systems (RM), pp. 251–265.

ICPR-v2-2000-SkurichinaYD #subclass

The Role of Subclasses in Machine Diagnostics (MS, AY, RPWD), pp. 2668–2671.

KR-2000-BaralMS #problem #using

Formulating diagnostic problem solving using an action language with narratives and sensing (CB, SAM, TCS), pp. 311–322.

KR-2000-LampertiZ #compilation #generative

Generation of Diagnostic Knowledge by Discrete-Event Model Compilation (GL, MZ), pp. 333–344.

KR-2000-VerberneHT #approximate #constraints #reasoning #using

Anytime Diagnostic Reasoning using Approximate Boolean Constraint Propagation (AV, FvH, AtT), pp. 323–332.

CL-2000-Syrjanen #modelling

Including Diagnostic Information in Configuration Models (TS), pp. 837–851.

DATE-1999-GomesC #testing #using

Minimal Length Diagnostic Tests for Analog Circuits using Test History (AVG, AC), pp. 189–194.

TACAS-1999-Tripakis #reachability

Timed Diagnostics for Reachability Properties (ST), pp. 59–73.

HCI-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.

ICPR-1998-ComaniciuMF #image #retrieval

Shape-based image indexing and retrieval for diagnostic pathology (DC, PM, DJF), pp. 902–904.

HCI-CC-1997-JungKLS #agile

Diagnostic Methodology for Agile Manufacturing System (HSJ, YK, BGL, NS), pp. 335–338.

SAC-1997-HashemiCTSP #approximate #multi

A diagnostic system based on a multi-decision approximate rules model (RRH, FFC, JRT, WS, MGP), pp. 20–24.

PLDI-1996-BaileyD #generative #sequence #source code

Target-Sensitive Construction of Diagnostic Programs for Procedure Calling Sequence Generators (MWB, JWD), pp. 249–257.

DAC-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.

CHI-1995-Conn #heuristic #usability

Time Affordances: The Time Factor in Diagnostic Usability Heuristics (APC), pp. 186–193.

HCI-SHI-1993-KumeJS #design #paradigm

A New Paradigm for Diagnostic Expert System Based on Designer’s Knowledge (YK, HSJ, GS), pp. 867–872.

HCI-SHI-1993-VigBC

Medical Diagnostic Expert System (RV, DB, YCC), pp. 790–795.

ICML-1993-ORorkeFE

Explaining and Generalizing Diagnostic Decisions (PO, YEF, ME), pp. 228–235.

SEKE-1993-ChenV #fault #information management #problem

Knowledge Engineering in Fault Diagnostic Problem Solving (LC, PV), pp. 255–257.

DAC-1992-KubiakPFS #evaluation

Exact Evaluation of Diagnostic Test Resolution (KK, SP, WKF, RAS), pp. 347–352.

CAV-1992-CelikkanC #behaviour #generative

Generating Diagnostic Information for Behavioral Preorders (UC, RC), pp. 370–383.

IWPTS-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.

KDD-1991-McLeishYGS #bibliography

Discovery of Medical Diagnostic Information: An Overview of Methods and Results (MM, PY, MG, TS), pp. 477–490.

KR-1991-ProvanP

The Utility of Consistency-Based Diagnostic Techniques (GMP, DLP), pp. 461–472.

ML-1991-Feng #fault

Inducing Temporal Fault Diagnostic Rules from a Qualitative Model (CF), pp. 403–406.

ESEC-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.

CSCW-1986-Orr #process

Narratives at work: story telling as cooperative diagnostic activity (JEO), pp. 62–72.

ICLP-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.

ICSE-1984-ChongH #approach #database #distributed #relational

Diagnostic System for Distributed Software: A Relational Database Approach (KC, PH), pp. 30–43.

DAC-1983-Paulson #testing

Classes of diagnostic tests (CP), pp. 316–322.

DAC-1982-AllenET #automation #interface #named

DORA: : CAD interface to automatic diagnostics (RWA, MMEW, RET), pp. 559–565.

DAC-1981-AlmyR #fault #using

Using error latch trace to obtain diagnostic information (PMA, JLR), pp. 355–359.

DAC-1981-GoshimaOKMTO #logic #scalability

Diagnostic system for large scale logic cards and LSIs (SG, YO, TK, TM, YT, YO), pp. 256–259.

DAC-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.

DAC-1973-Miyoshi #automation #generative #source code

Automatic generation of diagnostic programs for TOSBAC — 5400/150 (AM), pp. 213–221.

DAC-1971-Nagamine #automation #design #logic #source code

An automated method for designing logic circuit diagnostic programs (MN), pp. 236–241.

DAC-1970-Goetz #design

Computer aided diagnostic design for electronic switching systems (FMG), pp. 178–189.

DAC-1970-Quiet #automation #source code

An automated method for producing diagnostic programs (EQ), pp. 132–137.