BibSLEIGH — decis stem

Used together with:

support (244)
tree (180)
system (179)
make (171)
base (163)

Stem decis$ (all stems)

1170 papers:

ECSA-2015-GroherW #architecture #requirements: Collecting Requirements and Ideas for Architectural Group Decision-Making Based on Four Approaches (IG, RW), pp. 181–192.
ECSA-2015-MucciniTR #architecture #on the #social: On the Social Dimensions of Architectural Decisions (HM, DAT, VSR), pp. 137–145.
WICSA-2015-GroherW #architecture #case study: A Study on Architectural Decision-Making in Context (IG, RW), pp. 11–20.
WICSA-2015-LiLA #architecture #identification #technical debt: Architectural Technical Debt Identification Based on Architecture Decisions and Change Scenarios (ZL, PL, PA), pp. 65–74.
WICSA-2015-SolimanRZ #architecture #design: Enriching Architecture Knowledge with Technology Design Decisions (MS, MR, UZ), pp. 135–144.
WICSA-2015-ZimmermannWKG #architecture #in the cloud #modelling #problem: Architectural Decision Guidance Across Projects — Problem Space Modeling, Decision Backlog Management and Cloud Computing Knowledge (OZ, LW, HK, TG), pp. 85–94.
CASE-2015-BrisimiAZCP #detection: Sensing and classifying roadway obstacles: The street bump anomaly detection and decision support system (TSB, SA, YZ, CGC, ICP), pp. 1288–1293.
CASE-2015-FantiIU #multimodal: A decision support system for multimodal logistic management (MPF, GI, WU), pp. 63–68.
CASE-2015-NohAH #assessment #behaviour: Situation assessment and behavior decision for vehicle/driver cooperative driving in highway environments (SN, KA, WH), pp. 626–633.
DAC-2015-TsaiYPLTCC #design #energy #in memory #memory management #using: Energy-efficient non-volatile TCAM search engine design using priority-decision in memory technology for DPI (HJT, KHY, YCP, CCL, YHT, MFC, TFC), p. 6.
DAC-2015-ZaheerWGL #markov #named #performance #process: mTunes: efficient post-silicon tuning of mixed-signal/RF integrated circuits based on Markov decision process (MZ, FW, CG, XL), p. 6.
TACAS-2015-DijkP #diagrams #manycore #named: Sylvan: Multi-Core Decision Diagrams (TvD, JvdP), pp. 677–691.
ICSME-2015-OyetoyanCT: A decision support system to refactor class cycles (TDO, DSC, CTN), pp. 231–240.
PLDI-2015-LalQ #graph #source code: DAG inlining: a decision procedure for reachability-modulo-theories in hierarchical programs (AL, SQ), pp. 280–290.
SAS-2015-ChenC #abstract domain: A Binary Decision Tree Abstract Domain Functor (JC, PC), pp. 36–53.
ICALP-v1-2015-GargMVY #multi #nash #symmetry: ETR-Completeness for Decision Versions of Multi-player (Symmetric) Nash Equilibria (JG, RM, VVV, SY), pp. 554–566.
ICALP-v2-2015-EtessamiSY #branch #equation #fixpoint #markov #polynomial #probability #process #reachability: Greatest Fixed Points of Probabilistic Min/Max Polynomial Equations, and Reachability for Branching Markov Decision Processes (KE, AS, MY), pp. 184–196.
ICALP-v2-2015-FiliotMRT #problem #transducer: Decision Problems of Tree Transducers with Origin (EF, SM, PAR, JMT), pp. 209–221.
CHI-2015-AsenieroWLRTC #named #release planning #using #visualisation: STRATOS: Using Visualization to Support Decisions in Strategic Software Release Planning (BAA, TW, DL, GR, AT, SC), pp. 1479–1488.
CHI-2015-ZhangBK #bias #design #information management: Designing Information for Remediating Cognitive Biases in Decision-Making (YZ, RKEB, WAK), pp. 2211–2220.
CSCW-2015-LeeFD #distance: Making Decisions From a Distance: The Impact of Technological Mediation on Riskiness and Dehumanization (MKL, NF, LD), pp. 1576–1589.
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.
DUXU-UI-2015-AldawoodAAAAAHA #collaboration #interface: Collaborative Tangible Interface (CoTI) for Complex Decision Support Systems (SA, FA, AA, TA, TA, RA, MKH, AA, AAW), pp. 415–424.
HCI-DE-2015-ChomaZB #communication #design #heuristic #protocol #usability: Communication of Design Decisions and Usability Issues: A Protocol Based on Personas and Nielsen’s Heuristics (JC, LAMZ, DB), pp. 163–174.
HCI-UC-2015-Fraoua #bias #information management: Moral Biases and Decision: Impact of Information System on Moral Biases (KEF), pp. 291–302.
HIMI-IKC-2015-GavishN: The Effect of Timing When Introducing a Decision Aid in a Decision Support System for Supply Chain Management (NG, HN), pp. 101–108.
HIMI-IKC-2015-Porathe #fault: Human Error and e-Navigation: Developing the Nautical Chart as Resilient Decision Support (TP), pp. 129–139.
LCT-2015-RobertsonSRGCMM #design #implementation #visual notation: The Visual Design and Implementation of an Embodied Conversational Agent in a Shared Decision-Making Context (eCoach) (SR, RS, MR, TWG, TC, VM, AM), pp. 427–437.
CAiSE-2015-Batoulis0BDW #logic #modelling #process: Extracting Decision Logic from Process Models (KB, AM, EB, GD, MW), pp. 349–366.
ICEIS-v1-2015-AlhammadiSE #knowledge base #migration: A Knowledge based Decision Making Tool to Support Cloud Migration Decision Making (AA, CS, AE), pp. 637–643.
ICEIS-v1-2015-AyadiHAF: Decision Tree Transformation for Knowledge Warehousing (RA, YH, SA, JF), pp. 616–623.
ICEIS-v1-2015-BousdekisMAM: Supporting the Selection of Prognostic-based Decision Support Methods in Manufacturing (AB, BM, DA, GM), pp. 487–494.
ICEIS-v1-2015-BrodskyL #knowledge base #modelling #reuse #towards: Decision Guidance Analytics Language (DGAL) — Toward Reusable Knowledge Base Centric Modeling (AB, JL), pp. 67–78.
ICEIS-v2-2015-FrantzSRYE #ecosystem #integration #markov #on the #process #using: On using Markov Decision Processes to Model Integration Solutions for Disparate Resources in Software Ecosystems (RZF, SS, FRF, IY, MTME), pp. 260–267.
ICEIS-v2-2015-ValenteAN #design #towards: Improving Software Design Decisions towards Enhanced Return of Investment (PV, DA, NJN), pp. 388–394.
ECIR-2015-SoldainiCYGF: Retrieving Medical Literature for Clinical Decision Support (LS, AC, AY, NG, OF), pp. 538–549.
ICML-2015-Abbasi-YadkoriB #crowdsourcing #markov #problem #scalability: Large-Scale Markov Decision Problems with KL Control Cost and its Application to Crowdsourcing (YAY, PLB, XC, AM), pp. 1053–1062.
ICML-2015-Osogami #markov #process #robust: Robust partially observable Markov decision process (TO), pp. 106–115.
ICML-2015-SerrurierP #evaluation #learning: Entropy evaluation based on confidence intervals of frequency estimates : Application to the learning of decision trees (MS, HP), pp. 1576–1584.
ICML-2015-Soltanmohammadi #data fusion: Context-based Unsupervised Data Fusion for Decision Making (ES, MNP, MvdS), pp. 2076–2084.
KDD-2015-Kamath #data-driven #optimisation: Optimizing Marketing Impact through Data Driven Decisioning (AK), p. 1631.
KDD-2015-KicKimanR #identification #social #social media #towards: Towards Decision Support and Goal Achievement: Identifying Action-Outcome Relationships From Social Media (EK, MR), pp. 547–556.
KDD-2015-KimYTM #framework #predict #sequence: A Decision Tree Framework for Spatiotemporal Sequence Prediction (TK, YY, SLT, IM), pp. 577–586.
KDD-2015-Ojjeh #open source #realtime #using: Powering Real-time Decision Engines in Finance and Healthcare using Open Source Software (BO), p. 1633.
SEKE-2015-AffonsoLON #adaptation #framework #learning #self: A Framework Based on Learning Techniques for Decision-making in Self-adaptive Software (FJA, GL, RAPO, EYN), pp. 24–29.
SEKE-2015-CheP #architecture #design #development #evaluation #paradigm: An Evaluation Study of Architectural Design Decision Paradigms in Global Software Development (MC, DEP), pp. 158–163.
SEKE-2015-HesseKPRB #implementation: Documenting Implementation Decisions with Code Annotations (TMH, AK, BP, TR, BB), pp. 152–157.
SIGIR-2015-DaiKC #distributed #how #random: How Random Decisions Affect Selective Distributed Search (ZD, YK, JC), pp. 771–774.
MoDELS-2015-KulkarniBCB #complexity #towards: Toward overcoming accidental complexity in organisational decision-making (VK, SB, TC, BSB), pp. 368–377.
POPL-2015-FosterKM0T #algebra: A Coalgebraic Decision Procedure for NetKAT (NF, DK, MM, AS, LT), pp. 343–355.
SAC-2015-AlmeidaBBCD #variability: Dynamic decision-making based on NFR for managing software variability and configuration selection (AA, NB, TVB, EC, FD), pp. 1376–1382.
SAC-2015-BasgaluppBP #algorithm #evolution #induction #multi: Evolving decision-tree induction algorithms with a multi-objective hyper-heuristic (MPB, RCB, VP), pp. 110–117.
SAC-2015-Khan #multi #network: Multi-criteria based vertical handover decision in heterogeneous wireless network (MK), pp. 720–721.
SAC-2015-NonnenmacherOBV #modelling #process: Modelling consumers decision-making process about excluding products as a result of mutual influence (VN, LPLdO, BEJB, MBV), pp. 1123–1128.
SAC-2015-SantosM #detection: Exploring decision drivers on god class detection in three controlled experiments (JAMS, MGM), pp. 1472–1479.
SAC-2015-SilvaBNCS #architecture #design #quality: A decision-making tool to support architectural designs based on quality attributes (ICLS, PHSB, BFdSN, EC, AAS), pp. 1457–1463.
ICSE-v1-2015-ZhuHFZLZ #developer #learning: Learning to Log: Helping Developers Make Informed Logging Decisions (JZ, PH, QF, HZ, MRL, DZ), pp. 415–425.
SLE-2015-OchoaRT #feature model #modelling #using: Using decision rules for solving conflicts in extended feature models (LO, OGR, TT), pp. 149–160.
CADE-2015-ReynoldsB #data type #smt: A Decision Procedure for (Co)datatypes in SMT Solvers (AR, JCB), pp. 197–213.
CAV-2015-BrazdilCCFK #learning #markov #process: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes (TB, KC, MC, AF, JK), pp. 158–177.
CAV-2015-RandourRS #markov #multi #process #query: Percentile Queries in Multi-dimensional Markov Decision Processes (MR, JFR, OS), pp. 123–139.
CSL-2015-Traytel #algebra: A Coalgebraic Decision Procedure for WS1S (DT), pp. 487–503.
ICLP-2015-Charwat #diagrams #programming #research #summary #using: Dynamic Programming on Tree Decompositions using Binary Decision Diagrams: Research Summary (GC).
LICS-2015-ChatterjeeKK #markov #multi #process: Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes (KC, ZK, JK), pp. 244–256.
TLCA-2015-Bagnol #diagrams #equivalence #proving: MALL Proof Equivalence is Logspace-Complete, via Binary Decision Diagrams (MB), pp. 60–75.
ECSA-2014-GerdesLR #architecture #design #evolution #legacy: Combining Architectural Design Decisions and Legacy System Evolution (SG, SL, MR), pp. 50–57.
ECSA-2014-RekhaM #architecture: Suitability of Software Architecture Decision Making Methods for Group Decisions (VSR, HM), pp. 17–32.
ECSA-2014-SolimanR #architecture #interactive #modelling: Modeling the Interactions between Decisions within Software Architecture Knowledge (MS, MR), pp. 33–40.
WICSA-2014-DragomirLB #approach #architecture: Systematic Architectural Decision Management, A Process-Based Approach (AD, HL, TB), pp. 255–258.
WICSA-2014-ManteuffelTKGA #architecture #documentation #framework #implementation #industrial: Industrial Implementation of a Documentation Framework for Architectural Decisions (CM, DT, HK, TG, PA), pp. 225–234.
WICSA-2014-RekhaM #architecture #case study: A Study on Group Decision-Making in Software Architecture (VSR, HM), pp. 185–194.
WICSA-2014-SapienzaCP #architecture #clustering #multi: Architectural Decisions for HW/SW Partitioning Based on Multiple Extra-Functional Properties (GS, IC, PP), pp. 175–184.
ASE-2014-LinYSM #agile #project management #tool support: Studying task allocation decisions of novice agile teams with data from agile project management tools (JL, HY, ZS, CM), pp. 689–694.
CASE-2014-FantiLIMUA #approach: A Decision Support System approach for the postal delivery operations (MPF, RL, GI, AMM, WU, LA), pp. 588–593.
CASE-2014-FeyzabadiC #markov #process #using: Risk-aware path planning using hirerachical constrained Markov Decision Processes (SF, SC), pp. 297–303.
CASE-2014-HsiaoYLH #design #implementation: Design and implementation of a ball-batting robot with optimal batting decision making ability (TH, CMY, IHL, CCH), pp. 1026–1031.
CASE-2014-LuXJ #markov #process: A Markov Decision Process model for elective inpatient admission with delay announcement (YL, XX, ZJ), pp. 552–557.
CASE-2014-SustoWPZJOM #adaptation #flexibility #machine learning #maintenance #predict: An adaptive machine learning decision system for flexible predictive maintenance (GAS, JW, SP, MZ, ABJ, PGO, SFM), pp. 806–811.
DATE-2014-AmaruGM #diagrams #performance: An efficient manipulation package for Biconditional Binary Decision Diagrams (LGA, PEG, GDM), pp. 1–6.
DATE-2014-BiewerGH #novel #smt: A novel model for system-level decision making with combined ASP and SMT solving (AB, JG, CH), pp. 1–4.
VLDB-2014-Duggan #data-driven: The Case for Personal Data-Driven Decision Making (JD), pp. 943–946.
FoSSaCS-2014-0001MS #markov #process: Limit Synchronization in Markov Decision Processes (LD, TM, MS), pp. 58–72.
FoSSaCS-2014-AntonopoulosGHKO #induction #logic #problem: Foundations for Decision Problems in Separation Logic with General Inductive Predicates (TA, NG, CH, MIK, JO), pp. 411–425.
FoSSaCS-2014-Fu #bound #markov #probability #process #reachability: Maximal Cost-Bounded Reachability Probability on Continuous-Time Markov Decision Processes (HF), pp. 73–87.
TACAS-2014-AlbertiGS #array: Decision Procedures for Flat Array Properties (FA, SG, NS), pp. 15–30.
ICPC-2014-ShahinLL #architecture #comprehension #design: Do architectural design decisions improve the understanding of software architecture? two controlled experiments (MS, PL, ZL), pp. 3–13.
ICPC-2014-StefikHMAYS #design #empirical #programming language #what: What is the Foundation of Evidence of Human Factors Decisions in Language Design? An Empirical Study on Programming Language Workshops (AS, SH, MM, AAA, SKY, SS), pp. 223–231.
SAS-2014-UrbanM #abstract domain #proving #termination: A Decision Tree Abstract Domain for Proving Conditional Termination (CU, AM), pp. 302–318.
DLT-J-2013-IbarraR14 #complexity: Some Decision Questions Concerning the Time Complexity of Language Acceptors (OHI, BR), pp. 1127–1140.
AFL-2014-Loding #automaton #infinity #problem #word: Decision Problems for Deterministic Pushdown Automata on Infinite Words (CL), pp. 55–73.
SEFM-2014-LovatoMS #diagrams #library #thread: A Thread-Safe Library for Binary Decision Diagrams (AL, DM, FS), pp. 35–49.
CHI-2014-FerreiraFK #visualisation: Sample-oriented task-driven visualizations: allowing users to make better, more confident decisions (NF, DF, ACK), pp. 571–580.
CHI-2014-HarbachHWS #communication #privacy #security #using: Using personal examples to improve risk communication for security & privacy decisions (MH, MH, SW, MS), pp. 2647–2656.
CHI-2014-PatilSKL #feedback #how: Reflection or action?: how feedback and control affect location sharing decisions (SP, RS, AK, AJL), pp. 101–110.
CHI-2014-Solomon #bias: Customization bias in decision support systems (JS), pp. 3065–3074.
CSCW-2014-MaruyamaRDSF #how #hybrid #twitter: Hybrid media consumption: how tweeting during a televised political debate influences the vote decision (MM, SPR, SKD, BS, HAF), pp. 1422–1432.
CSCW-2014-QuinnB #named #performance #spreadsheet: AskSheet: efficient human computation for decision making with spreadsheets (AJQ, BBB), pp. 1456–1466.
DUXU-DI-2014-MonatBL #visual notation: Taking Decisions with Systems Oriented to the General Public — Applying Visual Information Based on Viennese Method (ASM, MB, RCL), pp. 463–471.
DUXU-ELAS-2014-ThumKGRBSKBH #usability: Usability Improvement of a Clinical Decision Support System (FT, MSK, NG, LR, RB, JS, JLK, KB, UH), pp. 125–131.
HCI-AS-2014-KwiatkowskaSL #design: Design Artefacts as Business Decision Prompts: Tackling the Design and Business Values Gap (JK, AS, DL), pp. 721–730.
HCI-AS-2014-MoserF #branch #experience #feedback #game studies: Narrative Control and Player Experience in Role Playing Games: Decision Points and Branching Narrative Feedback (CM, XF), pp. 622–633.
HIMI-AS-2014-KoyamaYKT #named: ChoiceLog: Life Log System Based on Choices for Supporting Decision-Making (JK, KY, IK, YT), pp. 172–183.
HIMI-AS-2014-XingGLK #clustering: Decision Support Based on Time-Series Analytics: A Cluster Methodology (WX, RG, NL, TRK), pp. 217–225.
LCT-NLE-2014-Kim #feedback #learning #self #simulation: Simulation Training in Self-Regulated Learning: Investigating the Effects of Dual Feedback on Dynamic Decision-Making Tasks (JHK), pp. 419–428.
CAiSE-2014-MoyanoBG #trust: Trust-Aware Decision-Making Methodology for Cloud Sourcing (FM, KB, MCFG), pp. 136–149.
CAiSE-2014-WalleC #information management: Risk Accelerators in Disasters — Insights from the Typhoon Haiyan Response on Humanitarian Information Management and Decision Support (BVdW, TC), pp. 12–23.
ICEIS-v1-2014-BrodskyHL #named #query: DG-Query: An XQuery-based Decision Guidance Query Language (AB, SGH, JL), pp. 152–163.
ICEIS-v1-2014-DahlbomR #modelling #visual notation: Situation Modeling and Visual Analytics for Decision Support in Sports (AD, MR), pp. 539–544.
ICEIS-v1-2014-DominguezAERLE #data mining #fuzzy #logic #mining #roadmap #using: Advances in the Decision Making for Treatments of Chronic Patients Using Fuzzy Logic and Data Mining Techniques (MD, JA, JGE, IMR, JMLS, MJE), pp. 325–330.
ICEIS-v3-2014-RoychoudhuryRKK #enterprise #modelling: Models to Aid Decision Making in Enterprises (SR, AR, VK, DK), pp. 465–471.
CIKM-2014-KalyanakrishnanSK #on the #online #scalability: On Building Decision Trees from Large-scale Data in Applications of On-line Advertising (SK, DS, RK), pp. 669–678.
CIKM-2014-KimTS: Tracking Temporal Dynamics of Purchase Decisions via Hierarchical Time-Rescaling Model (HK, NT, HS), pp. 1389–1398.
ICML-c1-2014-CicaleseLS #optimisation #testing: Diagnosis determination: decision trees optimizing simultaneously worst and expected testing cost (FC, ESL, AMS), pp. 414–422.
ICML-c1-2014-DickGS #learning #markov #online #process #sequence: Online Learning in Markov Decision Processes with Changing Cost Sequences (TD, AG, CS), pp. 512–520.
ICML-c2-2014-MalekAB #linear #markov #problem #programming #scalability: Linear Programming for Large-Scale Markov Decision Problems (AM, YAY, PLB), pp. 496–504.
ICPR-2014-GaoATHRE #hybrid #image #multi #segmentation: Hybrid Decision Forests for Prostate Segmentation in Multi-channel MR Images (QG, AA, TT, YH, DR, PJE), pp. 3298–3303.
ICPR-2014-JiangMVP #recognition: Decision Level Fusion of Domain Specific Regions for Facial Action Recognition (BJ, BM, MFV, MP), pp. 1776–1781.
ICPR-2014-YuncuHB #automation #modelling #recognition #speech #using: Automatic Speech Emotion Recognition Using Auditory Models with Binary Decision Tree and SVM (EY, HH, CB), pp. 773–778.
KDD-2014-AvvenutiCMMT #realtime: EARS (earthquake alert and report system): a real time decision support system for earthquake crisis management (MA, SC, AM, CM, MT), pp. 1749–1758.
KDD-2014-GhalwashRO #nondeterminism: Utilizing temporal patterns for estimating uncertainty in interpretable early decision making (MFG, VR, ZO), pp. 402–411.
KDD-2014-Horvitz #people #predict: Data, predictions, and decisions in support of people and society (EH), p. 2.
KDIR-2014-AzadM #classification #consistency #fault #heuristic: “Misclassification Error” Greedy Heuristic to Construct Decision Trees for Inconsistent Decision Tables (MA, MJM), pp. 184–191.
KDIR-2014-Mustonen-Ollila14a #process: Actors and Factors in IS Process Innovation Decisions (EMO, JH, PP), pp. 202–209.
KEOD-2014-MinhasB #information management #ontology: Ontology Based Environmental Knowledge Management — A System to Support Decisions in Manufacturing Planning (SUHM, UB), pp. 397–404.
KEOD-2014-SmirnovLS: Knowledge Fusion in Context-Aware Decision Support Systems (AVS, TL, NS), pp. 186–194.
KMIS-2014-DaviesB #security: Determining the Value of Information Security Investments — A Decision Support System (HLD, AJCB), pp. 426–433.
KMIS-2014-WangABN #recommendation #semantics #towards: Towards a Recommender System from Semantic Traces for Decision Aid (NW, MHA, JPAB, EN), pp. 274–279.
KR-2014-KisaBCD #diagrams #probability: Probabilistic Sentential Decision Diagrams (DK, GVdB, AC, AD).
MLDM-2014-BugaychenkoZ #diagrams #learning #multi #pattern matching #pattern recognition #performance #recognition #using: Fast Pattern Recognition and Deep Learning Using Multi-Rooted Binary Decision Diagrams (DB, DZ), pp. 73–77.
RecSys-2014-Stettinger #independence #named #towards: Choicla: towards domain-independent decision support for groups of users (MS), pp. 425–428.
SEKE-2014-Garcia-NunesSZB #analysis #collaboration #fuzzy #modelling: Mental models analysis based on fuzzy rules for collaborative decision-making (PIGN, AES, ACZ, GB), pp. 695–700.
SEKE-2014-GuessiON #approach #architecture: An Approach for Capturing and Documenting Architectural Decisions of Reference Architectures (MG, FO, EYN), pp. 162–167.
SEKE-2014-NoorianBD #comprehension #product line: From Intentions to Decisions: Understanding Stakeholders’ Objectives in Software Product Line Configuration (MN, EB, WD), pp. 671–677.
SEKE-2014-RodriguesPTZOS #automation #component #design #on the #requirements: On the Requirements and Design Decisions of an In-House Component-Based SPL Automated Environment (EMR, LTP, LT, AFZ, FMdO, RSS), pp. 402–407.
SEKE-2014-Wang #composition #using #web #web service: QoS-Based Web Service Composition by GA Using Consumer Decision-Making Function (GW), pp. 361–364.
SIGIR-2014-YangLCN #named: QUADS: question answering for decision support (ZY, YL, JC, EN), pp. 375–384.
MoDELS-2014-ChavarriagaNCJ #detection #multi #process: Propagating Decisions to Detect and Explain Conflicts in a Multi-step Configuration Process (JC, CN, RC, VJ), pp. 337–352.
MoDELS-2014-ChavarriagaNCJ #detection #multi #process: Propagating Decisions to Detect and Explain Conflicts in a Multi-step Configuration Process (JC, CN, RC, VJ), pp. 337–352.
PPDP-2014-AotoS #induction #proving #theorem: Decision Procedures for Proving Inductive Theorems without Induction (TA, SS), pp. 237–248.
POPL-2014-ChaudhuriFK #analysis #consistency #source code: Consistency analysis of decision-making programs (SC, AF, ZK), pp. 555–568.
RE-2014-HorkoffSCS #nondeterminism: Supporting early decision-making in the presence of uncertainty (JH, RS, MC, ADS), pp. 33–42.
RE-2014-SaxenaC #agile #analysis #named #requirements: Decisively: Application of Quantitative Analysis and Decision Science in Agile Requirements Engineering (SKS, RC), pp. 323–324.
RE-2014-TranM #approach #evolution #feature model #nondeterminism: An Approach for Decision Support on the Uncertainty in Feature Model Evolution (LMST, FM), pp. 93–102.
REFSQ-2014-RiegelD #analysis #elicitation #heuristic #optimisation #performance: An Analysis of Priority-Based Decision Heuristics for Optimizing Elicitation Efficiency (NR, JD), pp. 268–284.
SAC-2014-PaulL #bibliography: A systematic literature review on modified condition and decision coverage (TKP, MFL), pp. 1301–1308.
ICSE-2014-ManotasPC #energy #framework #named: SEEDS: a software engineer’s energy-optimization decision support framework (ILMG, LLP, JC), pp. 503–514.
IJCAR-2014-CerritoDG #atl #logic #satisfiability #testing: Optimal Tableaux-Based Decision Procedure for Testing Satisfiability in the Alternating-Time Temporal Logic ATL+ (SC, AD, VG), pp. 277–291.
IJCAR-2014-LahavZ #calculus #satisfiability: SAT-Based Decision Procedure for Analytic Pure Sequent Calculi (OL, YZ), pp. 76–90.
LICS-CSL-2014-BrotherstonFPG #induction #logic #satisfiability: A decision procedure for satisfiability in separation logic with inductive predicates (JB, CF, JANP, NG), p. 10.
LICS-CSL-2014-Williams #first-order #graph #performance: Faster decision of first-order graph properties (RW), p. 6.
SMT-2014-AlbertiGS #array: Decision Procedures for Flat Array Properties (FA, SG, NS), p. 51.
VMCAI-2014-Song0G #bisimulation #logic #markov #process: Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes (LS, LZ, JCG), pp. 98–117.
CBSE-2013-KarveS #component #mining #online #towards: Towards mining informal online data to guide component-reuse decisions (SK, CS), pp. 65–74.
ECSA-2013-AnvaariCJ #architecture #case study #enterprise #industrial: Architectural Decision-Making in Enterprises: Preliminary Findings from an Exploratory Study in Norwegian Electricity Industry (MA, RC, LJ), pp. 162–175.
ECSA-2013-Kuster #architecture #design #modelling #traceability #validation: Architecture-Centric Modeling of Design Decisions for Validation and Traceability (MK), pp. 184–191.
ECSA-2013-LytraTZ #architecture #component #consistency #design #modelling #reuse: Supporting Consistency between Architectural Design Decisions and Component Models through Reusable Architectural Knowledge Transformations (IL, HT, UZ), pp. 224–239.
ECSA-2013-MiesbauerW #bibliography #classification #design: Classification of Design Decisions — An Expert Survey in Practice (CM, RW), pp. 130–145.
ECSA-2013-NowakP #architecture: Team Situational Awareness and Architectural Decision Making with the Software Architecture Warehouse (MN, CP), pp. 146–161.
ECSA-2013-TofanGA #architecture #bibliography: Difficulty of Architectural Decisions — A Survey with Professional Architects (DT, MG, PA), pp. 192–199.
ECSA-2013-VenB #architecture #design: Making the Right Decision: Supporting Architects with Design Decision Data (JSvdV, JB), pp. 176–183.
QoSA-2013-Schmid #approach #formal method #technical debt: A formal approach to technical debt decision making (KS), pp. 153–162.
CASE-2013-KurzDP #monitoring #reliability: Monitoring virtual metrology reliability in a sampling decision system (DK, CDL, JP), pp. 20–25.
CASE-2013-SilvaCTS #automation #linear #optimisation #programming: A mixed-integer linear programming model for automatic routing decisions in oil production optimization (TLS, EC, AFT, SS), pp. 280–285.
DATE-2013-ElbayoumiHE #concurrent #diagrams #manycore #novel: A novel concurrent cache-friendly binary decision diagram construction for multi-core platforms (ME, MSH, MYE), pp. 1427–1430.
ICDAR-2013-KirbyH #analysis #using: Analysis of Topographic Maps for Recreational Purposes Using Decision Trees (RK, TCH), pp. 1105–1109.
ICDAR-2013-PantkeMF #evaluation #on the #word: On Evaluation of Segmentation-Free Word Spotting Approaches without Hard Decisions (WP, VM, TF), pp. 1300–1304.
SIGMOD-2013-GaoLOWC #crowdsourcing #online: An online cost sensitive decision-making method in crowdsourcing systems (JG, XL, BCO, HW, GC), pp. 217–228.
ICSM-2013-FokaefsS #evolution #named: WSDARWIN: A Decision-Support Tool for Web-Service Evolution (MF, ES), pp. 444–447.
WCRE-2013-AbdeenSSAD #automation #design #towards: Towards automatically improving package structure while respecting original design decisions (HA, HAS, OS, NA, SD), pp. 212–221.
CIAA-2013-IbarraR #problem: Some Decision Problems Concerning NPDAs, Palindromes, and Dyck Languages (OHI, BR), pp. 193–207.
DLT-2013-IbarraR #complexity: Some Decision Questions Concerning the Time Complexity of Language Acceptors (OHI, BR), pp. 264–276.
ICALP-v1-2013-Leonardos #bound #complexity #random #recursion: An Improved Lower Bound for the Randomized Decision Tree Complexity of Recursive Majority, (NL), pp. 696–708.
ICALP-v2-2013-AlurR #problem: Decision Problems for Additive Regular Functions (RA, MR), pp. 37–48.
ICFP-2013-TraytelN #regular expression #word: Verified decision procedures for MSO on words based on derivatives of regular expressions (DT, TN), pp. 3–12.
CHI-2013-KelleyCS #privacy #process: Privacy as part of the app decision-making process (PGK, LFC, NMS), pp. 3393–3402.
CHI-2013-SkoGM #human-computer #online #parametricity: Non-parametric decision trees and online HCI (TS, HJG, MAM), pp. 2103–2106.
CSCW-2013-Barlow #chat #using: Emergent roles in decision-making tasks using group chat (JBB), pp. 1505–1514.
CSCW-2013-KaneTL #communication: Shared decision making needs a communication record (BK, PJT, SL), pp. 79–90.
CSCW-2013-ReineckeNBNG #behaviour #difference #online #scheduling: Doodle around the world: online scheduling behavior reflects cultural differences in time perception and group decision-making (KR, MKN, AB, MN, KZG), pp. 45–54.
DHM-SET-2013-LauterbachS #evaluation #implementation #interactive: Implementing Scenarios as an Evaluation Method of the Patient-Physician Interaction in Decision Aids (CVL, JDS), pp. 232–239.
DUXU-PMT-2013-FebrettiLSJKW #component #evaluation #interface #protocol: A Component-Based Evaluation Protocol for Clinical Decision Support Interfaces (AF, KDL, JS, AEJ, GMK, DJW), pp. 232–241.
HCI-IMT-2013-DruryPKL #design #lessons learnt #visualisation: Decision Space Visualization: Lessons Learned and Design Principles (JLD, MSP, GLK, YL), pp. 658–667.
HCI-IMT-2013-WahabZ #implementation #multi: The Implementation of Multi-touch Table to Support the Military Decision Making through Critical Success Factors (CSFs) (NW, HBZ), pp. 523–529.
HIMI-LCCB-2013-BraunerRGSZ: Human Factors in Supply Chain Management — Decision Making in Complex Logistic Scenarios (PB, SR, MG, GS, MZ), pp. 423–432.
OCSC-2013-LanghorneTK #health #multi #online #web: Untangling the Web of e-Health: Multiple Sclerosis Patients’ Perceptions of Online Health Information, Information Literacy, and the Impact on Treatment Decision Making (ALL, PT, LK), pp. 304–312.
VISSOFT-2013-FabryB #design: Design decisions in AspectMaps (JF, AB), pp. 1–4.
CAiSE-2013-ConfortiLRA #execution #process: Supporting Risk-Informed Decisions during Business Process Execution (RC, MdL, MLR, WMPvdA), pp. 116–132.
CAiSE-2013-KramerE #outsourcing #requirements: Outsourcing Location Selection with SODA: A Requirements Based Decision Support Methodology and Tool (TK, ME), pp. 530–545.
EDOC-2013-InzingerHLLTZD #evolution #lifecycle #modelling #monitoring: Decisions, Models, and Monitoring — A Lifecycle Model for the Evolution of Service-Based Systems (CI, WH, IL, PL, HT, UZ, SD), pp. 185–194.
EDOC-2013-PlataniotisKP #architecture #design #enterprise #graph #using: Relating Decisions in Enterprise Architecture Using Decision Design Graphs (GP, SdK, HAP), pp. 139–146.
ICEIS-J-2013-NganBEB13a #capacity #energy #framework #optimisation: Optimizing Power, Heating, and Cooling Capacity on a Decision-Guided Energy Investment Framework (CKN, AB, NEE, EB), pp. 154–173.
ICEIS-J-2013-RudraGA13a #approximate #query: Estimating Sufficient Sample Sizes for Approximate Decision Support Queries (AR, RPG, NRA), pp. 85–99.
ICEIS-v1-2013-al-KetbiC #data mining #integration #mining: Integration of Decision Support Systems and Data Mining for Improved Decision Making (OaK, MC), pp. 482–489.
ICEIS-v1-2013-CazzolatoRYS #algorithm #classification #data type #statistics: A Statistical Decision Tree Algorithm for Data Stream Classification (MTC, MXR, CAY, MTPS), pp. 217–223.
ICEIS-v1-2013-FeldmanSCA #enterprise #resource management: Enterprise Resource Planning Systems — Streamlining Upgrade Decisions (GF, HS, CC, AA), pp. 128–135.
ICEIS-v1-2013-GrabisK #integration #on-demand: On-demand Data Integration for Decision-making Applications (JG, JK), pp. 201–208.
ICEIS-v1-2013-HuangLCW #induction: A Rule Induction with Hierarchical Decision Attributes (CCH, SHL, ZXC, YPW), pp. 95–102.
ICEIS-v1-2013-NganBEB #capacity #energy #framework: A Decision-Guided Energy Framework for Optimal Power, Heating, and Cooling Capacity Investment (CKN, AB, NEE, EB), pp. 357–369.
ICEIS-v1-2013-QasimR #analysis #classification #evaluation #linear #using: Classification of Hepatitis Patients and Fibrosis Evaluation using Decision Trees and Linear Discriminant Analysis (RQ, RMR), pp. 239–246.
ICEIS-v1-2013-RudraGA #approximate #query: Selecting Adequate Samples for Approximate Decision Support Queries (AR, RPG, NRA), pp. 46–55.
ICEIS-v2-2013-DobsonSO #case study #ontology: Data, Ontologies and Decision Making — An Inter-disciplinary Case Study (SD, AS, TO), pp. 563–568.
ICEIS-v3-2013-HsuK #case study: A Study of Cognitive Effort of Decision Makers with Different NC under Framing (CWH, ClK), pp. 75–82.
ICEIS-v3-2013-RamdoyalPDSLJ #metamodelling #resource management #workflow: A Generic Workflow Metamodel to Support Resource-aware Decision Making (RR, CP, MAD, GS, IL, JMJ), pp. 243–250.
CIKM-2013-LiuTCALC #mining: Mining diabetes complication and treatment patterns for clinical decision support (LL, JT, YC, AA, WkL, ANC), pp. 279–288.
ICML-c3-2013-AppelFDP: Quickly Boosting Decision Trees — Pruning Underachieving Features Early (RA, TJF, PD, PP), pp. 594–602.
ICML-c3-2013-LakshminarayananRT #top-down: Top-down particle filtering for Bayesian decision trees (BL, DMR, YWT), pp. 280–288.
ICML-c3-2013-SunZ #evaluation #order #representation: Saving Evaluation Time for the Decision Function in Boosting: Representation and Reordering Base Learner (PS, JZ), pp. 933–941.
KDD-2013-GaneshapillaiG #data-driven: A data-driven method for in-game decision making in MLB: when to pull a starting pitcher (GG, JVG), pp. 973–979.
KDIR-KMIS-2013-FerchichiBF #adaptation #approach #image #predict: An Approach based on Adaptive Decision Tree for Land Cover Change Prediction in Satellite Images (AF, WB, IRF), pp. 82–90.
KDIR-KMIS-2013-Karacapilidis #collaboration #data-driven: Mastering Data-Intensive Collaboration and Decision Making (NIK), pp. 1–11.
KDIR-KMIS-2013-SediriMLH #experience #feedback: Decision Support by Handling Experience Feedback of Crisis Situations (MS, NM, SL, AH), pp. 351–359.
KDIR-KMIS-2013-SilvaPS #education: A Decision Support System for Portuguese Higher Education Course Selection — First Round (JPS, FP, MFS), pp. 360–367.
KDIR-KMIS-2013-VanthienenC #modelling #process #question: Modeling Business Decisions and Processes — Which Comes First? (JV, FC), pp. 451–456.
KEOD-2013-HalimAAA: Task Knowledge Model for Triage Decision-Support (SAH, MA, RA, MSA), pp. 261–268.
MLDM-2013-SentzH #analysis: Information Gap Analysis for Decision Support Systems in Evidence-Based Medicine (KS, FMH), pp. 543–554.
SEKE-2013-AlamRP: Decision Support for Re-planning of Software Product Releases (S) (SMDAA, GR, DP), pp. 89–94.
SEKE-2013-CheP #architecture #design #development #paradigm: Exploring Architectural Design Decision Management Paradigms for Global Software Development (MC, DEP), pp. 8–13.
SEKE-2013-GomedeB #development #process #quality #re-engineering: A Non-Intrusive Process to Software Engineering Decision Support focused on increasing the Quality of Software Development (S) (EG, RMB), pp. 95–100.
QAPL-2013-BertrandS #automaton #game studies #infinity #probability: Solving Stochastic Büchi Games on Infinite Decisive Arenas (NB, PS), pp. 116–131.
REFSQ-2013-AzmehMC #community #requirements: Highlighting Stakeholder Communities to Support Requirements Decision-Making (ZA, IM, PC), pp. 190–205.
REFSQ-2013-BencomoB #adaptation #modelling #network #self: Supporting Decision-Making for Self-Adaptive Systems: From Goal Models to Dynamic Decision Networks (NB, AB), pp. 221–236.
SAC-2013-BasgaluppBSC #approach #predict: Software effort prediction: a hyper-heuristic decision-tree based approach (MPB, RCB, TSdS, ACPLFC), pp. 1109–1116.
SAC-2013-BusseSDMR #architecture #manycore #scheduling: Analyzing resource interdependencies in multi-core architectures to improve scheduling decisions (AB, JHS, MD, GM, JR), pp. 1595–1602.
SAC-2013-DermevalCSPBBETS #architecture #design #metamodelling #on the #requirements: On the use of metamodeling for relating requirements and architectural design decisions (DD, JC, CTLLS, JP, IIB, PHdSB, EE, TT, APdS), pp. 1278–1283.
SAC-2013-DugerdilS #legacy: Dynamic decision tree for legacy use-case recovery (PD, DS), pp. 1284–1291.
SAC-2013-InzingerHSLD #identification #implementation #using: Identifying incompatible service implementations using pooled decision trees (CI, WH, BS, PL, SD), pp. 485–492.
SAC-2013-LeoniA #mining #process #using: Data-aware process mining: discovering decisions in processes using alignments (MdL, WMPvdA), pp. 1454–1461.
ICSE-2013-Baysal #development: Informing development decisions: from data to information (OB), pp. 1407–1410.
ICSE-2013-Che #approach #architecture #design #evolution: An approach to documenting and evolving architectural design decisions (MC), pp. 1373–1376.
ICSE-2013-Kukreja #approach #requirements #towards: Decision theoretic requirements prioritization: a two-step approach for sliding towards value realization (NK), pp. 1465–1467.
ICSE-2013-WhalenGYHS: Observable modified Condition/Decision coverage (MWW, GG, DY, MPEH, MS), pp. 102–111.
CAV-2013-ChatterjeeL #algorithm #markov #performance #process: Faster Algorithms for Markov Decision Processes with Low Treewidth (KC, JL), pp. 543–558.
CAV-2013-ColangeBKT #diagrams #distributed #model checking #towards #using: Towards Distributed Software Model-Checking Using Decision Diagrams (MC, SB, FK, YTM), pp. 830–845.
CSL-2013-ChatterjeeCT #decidability #markov #process #what: What is Decidable about Partially Observable Markov Decision Processes with ω-Regular Objectives (KC, MC, MT), pp. 165–180.
CSL-2013-Tendera: Means and Limits of Decision (Invited Talk) (LT), pp. 28–29.
LICS-2013-BrazdilCFK #markov #performance #process: Trading Performance for Stability in Markov Decision Processes (TB, KC, VF, AK), pp. 331–340.
LICS-2013-Comon-Lundh #logic #modelling #named #problem #security: LICS: Logic in Computer Security — Some Attacker’s Models and Related Decision Problems (HCL), p. 1.
QoSA-2012-AlebrahimH #design #modelling #quality #variability: Supporting quality-driven design decisions by modeling variability (AA, MH), pp. 43–48.
QoSA-2012-DurdikR #approach #architecture #design #modelling: Position paper: approach for architectural design and modelling with documented design decisions (ADMD3) (ZD, RHR), pp. 49–54.
WICSA-ECSA-2012-HeeschAH #architecture: Forces on Architecture Decisions — A Viewpoint (UvH, PA, RH), pp. 101–110.
WICSA-ECSA-2012-LytraSZ #architecture #framework #integration #multi: Architectural Decision Making for Service-Based Platform Integration: A Qualitative Multi-Method Study (IL, SS, UZ), pp. 111–120.
WICSA-ECSA-2012-SzlenkZK #architecture #modelling #requirements: Modelling Architectural Decisions under Changing Requirements (MS, AZ, SK), pp. 211–214.
WICSA-ECSA-2012-ThatSO #design pattern #using: Using Architectural Patterns to Define Architectural Decisions (MTTT, SS, FO), pp. 196–200.
CASE-2012-ChenC #collaboration: An expert decision-making strategy based on collaborative cloud system (CCC, APC), pp. 777–781.
CASE-2012-KurzDP #using: Sampling Decision System in semiconductor manufacturing using Virtual Metrology (DK, CDL, JP), pp. 74–79.
VLDB-2012-CaoSTC: Whom to Ask? Jury Selection for Decision Making Tasks on Micro-blog Services (CCC, JS, YT, LC), pp. 1495–1506.
VLDB-2012-ElmoreDAA #database #mobile #named #peer-to-peer: InfoPuzzle: Exploring Group Decision Making in Mobile Peer-to-Peer Databases (AJE, SD, DA, AEA), pp. 1998–2001.
FASE-2012-MaggiMA #constraints #framework #monitoring: An Operational Decision Support Framework for Monitoring Business Constraints (FMM, MM, WMPvdA), pp. 146–162.
WRLA-2012-TushkanovaGRK #framework #rule-based: A Rule-Based Framework for Building Superposition-Based Decision Procedures (ET, AG, CR, OK), pp. 221–239.
CSMR-2012-BauerH #api #comprehension #maintenance: Understanding API Usage to Support Informed Decision Making in Software Maintenance (VB, LH), pp. 435–440.
CSMR-2012-LytraTZ #architecture #component #consistency #constraints #design #evolution #modelling: Constraint-Based Consistency Checking between Design Decisions and Component Models for Supporting Software Architecture Evolution (IL, HT, UZ), pp. 287–296.
ICSM-2012-Weitzel #architecture #comprehension #deployment #enterprise #towards: Understanding deployment costs of enterprise systems: Towards architecture support in deployment decisions (BW), pp. 677–680.
ICALP-v1-2012-EtessamiSY #algorithm #branch #equation #markov #polynomial #probability #process: Polynomial Time Algorithms for Branching Markov Decision Processes and Probabilistic Min(Max) Polynomial Bellman Equations (KE, AS, MY), pp. 314–326.
ICALP-v2-2012-BrazdilKNW #markov #process #termination: Minimizing Expected Termination Time in One-Counter Markov Decision Processes (TB, AK, PN, DW), pp. 141–152.
ICALP-v2-2012-Fu #game studies #markov #metric #process: Computing Game Metrics on Markov Decision Processes (HF), pp. 227–238.
ICFP-2012-Sheard #design #programming #reduction: Painless programming combining reduction and search: design principles for embedding decision procedures in high-level languages (TES), pp. 89–102.
CHI-2012-Friess #case study #design #process: Personas and decision making in the design process: an ethnographic case study (EF), pp. 1209–1218.
CSCW-2012-LiuBS #collaboration #design #detection #product line: Conflict detection and resolution for product line design in a collaborative decision making environment (X(L, ECB, JES), pp. 1327–1336.
CSCW-2012-PhillipsRS #development #integration #parallel #process #scalability: Information needs for integration decisions in the release process of large-scale parallel development (SP, GR, JS), pp. 1371–1380.
CAiSE-2012-Petrusel #modelling #process: Aggregating Individual Models of Decision-Making Processes (RP), pp. 47–63.
EDOC-2012-ZarghamiSES #as a service #logic #process: Decision as a Service: Separating Decision-making from Application Process Logic (AZ, BS, MZE, MvS), pp. 103–112.
ICEIS-J-2012-RibeiroFBKE #algorithm #approach #learning #markov #process: Combining Learning Algorithms: An Approach to Markov Decision Processes (RR, FF, MACB, ALK, FE), pp. 172–188.
ICEIS-v1-2012-GascuenaG #modelling: Data Processing Modeling in Decision Support Systems (CMG, RG), pp. 133–138.
ICEIS-v1-2012-KlinkmullerMLF #automation #comparison #network #towards: Towards Automated Logistics Service Comparison — Decision Support for Logistics Network Management (CK, SM, AL, BF), pp. 259–264.
ICEIS-v1-2012-LambeckSAG #concept #enterprise #realtime: Changing Concepts in Human-Computer-Interaction in Real-time Enterprise Systems — Introducing a Concept for Intuitive Decision Support in SCM Scenarios (CL, DS, RA, RG), pp. 139–144.
ICEIS-v1-2012-RudraGA #approximate #performance #query: An Efficient Sampling Scheme for Approximate Processing of Decision Support Queries (AR, RPG, NA), pp. 16–26.
ICML-2012-Busa-FeketeBK #classification #graph #performance #using: Fast classification using sparse decision DAGs (RBF, DB, BK), p. 99.
ICML-2012-MoldovanA #markov #process: Safe Exploration in Markov Decision Processes (TMM, PA), p. 188.
ICML-2012-Nowozin #induction: Improved Information Gain Estimates for Decision Tree Induction (SN), p. 77.
ICPR-2012-IrsoyYA: Soft decision trees (OI, OTY, EA), pp. 1819–1822.
ICPR-2012-KangLH #adaptation #image: Fusing soft-decision-adaptive and bicubic methods for image interpolation (XK, SL, JH), pp. 1043–1046.
ICPR-2012-WangOJBK #using: Tracking Tetrahymena pyriformis cells using decision trees (QW, YO, AAJ, KLB, MK), pp. 1843–1847.
KDD-2012-Holada #low cost: Maximizing return and minimizing cost with the right decision management systems (RH), p. 407.
KDIR-2012-BhattacharjeeBG #data mining #mining #network #optimisation #using: Product Assortment Decisions for a Network of Retail Stores using Data Mining with Optimization (SB, FB, RDG), pp. 319–323.
KEOD-2012-MunozCLCP #enterprise #framework #ontology: Ontological Framework for Integrating Environmental Issues within Sustainable Enterprise — Enhancing Enterprise Decision-making (EM, ECG, JML, AEC, LP), pp. 385–388.
KMIS-2012-HanelF #towards: Facing the Change — Towards a Dynamic Decision Making in Manufacturing Environments (TH, CF), pp. 107–112.
KMIS-2012-OtsukiAS #using: An Improvement Method of User Operations using Decision Tree on Project Manager Skill-up Simulator (MO, MA, MS), pp. 158–163.
KMIS-2012-PortelaPS #data mining #mining #modelling #pervasive #predict: Data Mining Predictive Models for Pervasive Intelligent Decision Support in Intensive Care Medicine (FP, FP, MFS), pp. 81–88.
KR-2012-CravenTCHW #performance: Efficient Argumentation for Medical Decision-Making (RC, FT, CC, AH, MW).
KR-2012-DvorakJWW: Complexity-Sensitive Decision Procedures for Abstract Argumentation (WD, MJ, JPW, SW).
RE-2012-AmellerCF #architecture #named #tool support: ArchiTech: Tool support for NFR-guided architectural decision-making (DA, OC, XF), pp. 315–316.
SAC-2012-BartschS #approach #policy: Guiding decisions on authorization policies: a participatory approach to decision support (SB, MAS), pp. 1502–1507.
SAC-2012-BasgaluppBR #maintenance #predict: Predicting software maintenance effort through evolutionary-based decision trees (MPB, RCB, DDR), pp. 1209–1214.
SAC-2012-KosinaG #multi #performance #problem: Very Fast Decision Rules for multi-class problems (PK, JG), pp. 795–800.
SAC-2012-LassaigneP #approximate #markov #process #scalability #verification: Approximate planning and verification for large markov decision processes (RL, SP), pp. 1314–1319.
SAC-2012-NetoA #analysis #process: Keeping decisions and rationale explicit in business process analysis (MSdSN, RMdA), pp. 1702–1708.
ICSE-2012-Kalumbilo #effectiveness #re-engineering #specification: Effective specification of decision rights and accountabilities for better performing software engineering projects (MK), pp. 1503–1506.
PLEASE-2012-BoffoliCCV #consistency #flexibility #process #product line: Driving flexibility and consistency of business processes by means of product-line engineering and decision tables (NB, DC, DC, GV), pp. 33–36.
SPLC-2012-El-SharkawyDS #analysis #feature model #modelling: From feature models to decision models and back again an analysis based on formal transformations (SES, SD, KS), pp. 126–135.
SPLC-2012-NohrerBE #comparison #consistency #nondeterminism: A comparison of strategies for tolerating inconsistencies during decision-making (AN, AB, AE), pp. 11–20.
IJCAR-2012-FalkeK #induction #linear: Rewriting Induction + Linear Arithmetic = Decision Procedure (SF, DK), pp. 241–255.
IJCAR-2012-GaoAC #satisfiability: δ-Complete Decision Procedures for Satisfiability over the Reals (SG, JA, EMC), pp. 286–300.
VMCAI-2012-Bugaychenko #diagrams #model checking #multi #on the #probability: On Application of Multi-Rooted Binary Decision Diagrams to Probabilistic Model Checking (DB), pp. 104–118.
VMCAI-2012-RosenbergBN #logic: Decision Procedures for Region Logic (SR, AB, DAN), pp. 379–395.
ECSA-2011-CapillaZZAK #architecture #design #lifecycle #metamodelling #re-engineering: An Enhanced Architectural Knowledge Metamodel Linking Architectural Design Decisions to other Artifacts in the Software Engineering Lifecycle (RC, OZ, UZ, PA, JMK), pp. 303–318.
ECSA-2011-ZalewskiKS #architecture #evolution: Capturing Architecture Evolution with Maps of Architectural Decisions 2.0 (AZ, SK, DS), pp. 83–96.
WICSA-2011-BuchgeherW #architecture #automation #implementation: Automatic Tracing of Decisions to Architecture and Implementation (GB, RW), pp. 46–55.
WICSA-2011-HarrisonC #architecture #scalability: Attempting to Understand the Progress of Software Architecture Decision-Making on Large Australian Defence Projects (TCH, APC), pp. 42–45.
CASE-2011-PatilSMDS #development #requirements: Requirements for the development of a decision-support solution for sustainability target cascading (LP, LS, KM, DD, RS), pp. 456–461.
DAC-2011-Stergiou #diagrams #network #order #permutation: Implicit permutation enumeration networks and binary decision diagrams reordering (SS), pp. 615–620.
DATE-2011-BeltrameN #algorithm #design #multi: A multi-objective decision-theoretic exploration algorithm for platform-based design (GB, GN), pp. 1192–1195.
DATE-2011-ChenM #composition #functional #generative #testing: Decision ordering based property decomposition for functional test generation (MC, PM), pp. 167–172.
DATE-2011-WelpK #approach #markov #process #synthesis: An approach for dynamic selection of synthesis transformations based on Markov Decision Processes (TW, AK), pp. 1533–1536.
ICDAR-2011-LinGC #component #documentation: Classifying Textual Components of Bilingual Documents with Decision-Tree Support Vector Machines (XRL, CYG, FC), pp. 498–502.
FoSSaCS-2011-CousotCM #abstract domain: The Reduced Product of Abstract Domains and the Combination of Decision Procedures (PC, RC, LM), pp. 456–472.
SAS-2011-MadhusudanQ #performance #using: Efficient Decision Procedures for Heaps Using STRAND (PM, XQ), pp. 43–59.
ICALP-v1-2011-MagniezNSX #bound #complexity #random #recursion: Improved Bounds for the Randomized Decision Tree Complexity of Recursive Majority (FM, AN, MS, DX), pp. 317–329.
LATA-2011-DelahayeLLPW #markov #problem: Decision Problems for Interval Markov Chains (BD, KGL, AL, MLP, AW), pp. 274–285.
CHI-2011-JonesO: Contextual dynamics of group-based sharing decisions (SLJ, EO), pp. 1777–1786.
CHI-2011-LelisH #how #online #people #rating: Informing decisions: how people use online rating information to make choices (SL, AH), pp. 2285–2294.
HIMI-v1-2011-FriedemannRTSS #modelling #visualisation: Explicit Modeling and Visualization of Imperfect Information in the Context of Decision Support for Tsunami Early Warning in Indonesia (MF, UR, ST, TS, CS), pp. 201–210.
HIMI-v1-2011-MaeshiroNM #composition #music #process #representation: Representation of Decision Making Process in Music Composition Based on Hypernetwork Model (TM, SiN, MM), pp. 109–117.
HIMI-v2-2011-BrandonEGFGV #behaviour #feedback #social #visual notation: The Effects Visual Feedback on Social Behavior during Decision Making Meetings (MB, SE, TdG, TF, BvG, TV), pp. 219–228.
HIMI-v2-2011-JungLKS: Technology-Based Decision-Making Support System (HJ, ML, PK, WKS), pp. 262–267.
IDGD-2011-GuoRHW #design #industrial: Decision Support System for Industrial Designer Based on Kansei Engineering (FG, LR, ZH, HW), pp. 47–54.
CAiSE-2011-AuerBKS #case study #process #research: Exploratory Case Study Research on SOA Investment Decision Processes in Austria (LA, EB, NK, CS), pp. 329–336.
EDOC-2011-FakhfakhVP #multi #quality: Multi-criteria Decision Making Method for Quality of Service Aggregation (NF, HV, FP), pp. 203–212.
EDOC-2011-VaculinHHCNS #declarative #modelling #process: Declarative business artifact centric modeling of decision and knowledge intensive business processes (RV, RH, TH, CC, AN, PS), pp. 151–160.
ICEIS-J-2011-GuLZWLSLW #enterprise #evaluation #generative #information management #process #safety: Intelligent Information Acquisition and Utilization in Safety Evaluation Decision Making Process of Power Generation Enterprises (DxG, CyL, JZ, JW, WL, JS, WL, YW), pp. 162–177.
ICEIS-v1-2011-JiG #framework #process #research: Research Process Oriented Intelligent Decision Support System Framework (YJ, JG), pp. 534–538.
ICEIS-v1-2011-WeiY #analysis #behaviour #game studies #metric #security: Security Investment Analysis on Gaming Theory with Measurements of Cost and Decision Behavior (WW, RY), pp. 519–523.
ICEIS-v2-2011-BaiW #detection #fuzzy #identification #multi: Applying Fuzzy Multiple Criteria Decision Making to Evaluate and Identify Optimal Explosive Detection Equipments (YB, DW), pp. 118–124.
ICEIS-v2-2011-KisilevichKBTR #open source #tool support #using: Developing a Price Management Decision Support System for Hotel Brokers using Free and Open Source Tools (SK, DAK, RB, MT, LR), pp. 147–156.
ICEIS-v2-2011-LivaniPR #analysis: Decision Support System for Cost-benefit Analysis in Service Provision (EL, EP, GR), pp. 198–203.
ICEIS-v2-2011-MaZ #research: Research and Practice of Group Decision Systems (SqM, YZ), pp. 287–290.
ICEIS-v2-2011-Ng #framework #problem: Problem Solving Framework within Decision Support Systems (YHN), pp. 140–146.
ICEIS-v2-2011-ShahK #architecture #parallel #simulation: System Architecture of the Decision Support System Employing Microscopic Simulation and Expert System in Parallel for the Post Incident Traffic Management (SAAS, HK), pp. 113–117.
ICEIS-v4-2011-MaL: Investor-manager Heterogeneous Beliefs and Corporate Financing Decision (JM, ZL), pp. 384–388.
ICML-2011-MannorT #markov #optimisation #process: Mean-Variance Optimization in Markov Decision Processes (SM, JNT), pp. 177–184.
ICML-2011-ThomasB #markov #process: Conjugate Markov Decision Processes (PST, AGB), pp. 137–144.
KDD-2011-LuoXZGD #composition #perspective: Enhancing investment decisions in P2P lending: an investor composition perspective (CL, HX, WZ, YG, GD), pp. 292–300.
KDIR-2011-AlkhalidCM #algorithm #comparison: Comparison of Greedy Algorithms for Decision Tree Construction (AA, IC, MM), pp. 438–443.
KDIR-2011-RavulaCL #dynamic analysis #using: Dynamic Analysis of Malware using Decision Trees (RRR, CCC, KJL), pp. 74–83.
KEOD-2011-ColantonioMSPEM #knowledge base: Knowledge based Decision Support for the Management of Chronic Patients (SC, MM, OS, GDP, ME, AM), pp. 220–225.
KEOD-2011-MunozCLCP #enterprise #framework #integration #ontology #process: Ontological Framework for the Enterprise from a Process Perspective — Operational, Tactical and Strategic Integration for Improved Decision-making (EM, ECG, JML, AEC, LP), pp. 538–546.
KMIS-2011-GronauWH #collaboration: Interpretation of Collaborative Decisions by Meta-metrics (NG, EW, PH), pp. 158–166.
KMIS-2011-NiedermannSM #optimisation #process #repository: Managing Insights: A Repository for Process Analytics, Optimization and Decision Support (FN, HS, BM), pp. 424–429.
KMIS-2011-PortelaGSSRMAN #information management #pervasive #realtime: Knowledge Discovery for Pervasive and Real-time Intelligent Decision Support in Intensive Care Medicine (FP, PG, MFS, ÁMS, FR, JM, AA, JN), pp. 241–249.
MLDM-2011-DanylenkoLL #algebra #implementation #named: Decisions: Algebra and Implementation (AD, JL, WL), pp. 31–45.
MLDM-2011-LiTM #classification #hybrid #named #performance: ACE-Cost: Acquisition Cost Efficient Classifier by Hybrid Decision Tree with Local SVM Leaves (LL, UT, NDM), pp. 60–74.
MLDM-2011-PiatkowskaMNP #analysis #image #multi #semantics #using: A Decision Support System Based on the Semantic Analysis of Melanoma Images Using Multi-elitist PSO and SVM (WP, JM, LN, KP), pp. 362–374.
SEKE-2011-ZhangSPCM #architecture #design #quality #recommendation #towards: Towards Quality Based Solution Recommendation in Decision-Centric Architecture Design (LZ, YS, YP, XC, HM), pp. 776–781.
SEKE-2011-ZhangSSCM #design pattern #detection: Detecting Architecture Erosion by Design Decision of Architectural Pattern (LZ, YS, HS, FC, HM), pp. 758–763.
POPL-2011-CookK: Making prophecies with decision predicates (BC, EK), pp. 399–410.
RE-2011-HeavenL #design #modelling #optimisation #simulation: Simulating and optimising design decisions in quantitative goal models (WH, EL), pp. 79–88.
RE-2011-MasseySOA #implementation: Assessing the accuracy of legal implementation readiness decisions (AKM, BS, PNO, AIA), pp. 207–216.
RE-2011-VeerappaL #clustering #comprehension #multi #problem: Understanding clusters of optimal solutions in multi-objective decision problems (VV, EL), pp. 89–98.
REFSQ-2011-VeerappaL #clustering #requirements: Clustering Stakeholders for Requirements Decision Making (VV, EL), pp. 202–208.
ICSE-2011-Kidwell #classification #fault #research: A decision support system for the classification of software coding faults: a research abstract (BK), pp. 1158–1160.
ICSE-2011-Mirakhorli #approach #architecture #requirements: Tracing architecturally significant requirements: a decision-centric approach (MM), pp. 1126–1127.
SPLC-2011-NohrerE #optimisation: Optimizing User Guidance during Decision-Making (AN, AE), pp. 25–34.
CADE-2011-WiesMK #data type #imperative #performance: An Efficient Decision Procedure for Imperative Tree Data Structures (TW, MM, VK), pp. 476–491.
CAV-2011-ChatterjeeHJS #algorithm #analysis #automaton #markov #process: Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Büchi Objectives (KC, MH, MJ, NS), pp. 260–276.
ISSTA-2011-SegallTF #combinator #design #diagrams #using: Using binary decision diagrams for combinatorial test design (IS, RTB, EF), pp. 254–264.
LICS-2011-BrazdilBCFK #markov #multi #process: Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes (TB, VB, KC, VF, AK), pp. 33–42.
RTA-2011-ConchinhaBC #deduction #equivalence #named #performance: FAST: An Efficient Decision Procedure for Deduction and Static Equivalence (BC, DAB, CC), pp. 11–20.
SAT-2011-Minato #diagrams #named #performance #permutation #problem: πDD: A New Decision Diagram for Efficient Problem Solving in Permutation Space (SiM), pp. 90–104.
VMCAI-2011-PiskacW #automation #proving #termination: Decision Procedures for Automating Termination Proofs (RP, TW), pp. 371–386.
ECSA-2010-BodeR #architecture #evaluation: Impact Evaluation for Quality-Oriented Architectural Decisions regarding Evolvability (SB, MR), pp. 182–197.
ECSA-2010-EklundA #architecture #classification: A Classification of Value for Software Architecture Decisions (UE, TA), pp. 368–375.
ECSA-2010-IvanovicA #architecture: Customer Value in Architecture Decision Making (AI, PA), pp. 263–278.
ECSA-2010-KonemannZ #design #development #modelling: Linking Design Decisions to Design Models in Model-Based Software Development (PK, OZ), pp. 246–262.
ECSA-2010-SavolainenKMN #architecture #case study #development #experience #framework: Experiences in Making Architectural Decisions during the Development of a New Base Station Platform (JS, JK, TM, AN), pp. 425–432.
ECSA-2010-WeinreichB #architecture #design #representation #requirements: Integrating Requirements and Design Decisions in Architecture Representation (RW, GB), pp. 86–101.
ECSA-2010-ZalewskiK #architecture #complexity: Architecture Decision-Making in Support of Complexity Control (AZ, SK), pp. 501–504.
ASE-2010-NohrerE #named: C2O: a tool for guided decision-making (AN, AE), pp. 363–364.
DAC-2010-LaiJW #abstraction #learning #named: BooM: a decision procedure for boolean matching with abstraction and dynamic learning (CFL, JHRJ, KHW), pp. 499–504.
DATE-2010-ChenQM #generative #performance #satisfiability #testing: Efficient decision ordering techniques for SAT-based test generation (MC, XQ, PM), pp. 490–495.
SIGMOD-2010-RaghavanR #framework #generative #multi #named #query: ProgXe: progressive result generation framework for multi-criteria decision support queries (VR, EAR), pp. 1135–1138.
ICPC-2010-Taherkhani #algorithm #classification #sorting: Recognizing Sorting Algorithms with the C4.5 Decision Tree Classifier (AT), pp. 72–75.
DLT-2010-Ibarra #on the #problem: On Decision Problems for Simple and Parameterized Machines (OHI), p. 31.
ICALP-v1-2010-GuptaNR10a #adaptation #algorithm #approximate #problem: Approximation Algorithms for Optimal Decision Trees and Adaptive TSP Problems (AG, VN, RR), pp. 690–701.
ICEIS-AIDSS-2010-DiasioA: Replanting the Answer Garden — Cultivating Expertise through Decision Support Technology (SD, NA), pp. 373–378.
ICEIS-AIDSS-2010-KrammerM #collaboration #named #process: DecisionWave — Embedding Collaborative Decision Making into Business Processes (CK, AM), pp. 232–237.
ICEIS-AIDSS-2010-MokotoffGP #multi #normalisation #problem: Normalization Procedures on Multicriteria Decision Making — An Example on Environmental Problems (EM, EG, JP), pp. 206–211.
ICEIS-AIDSS-2010-ToscaniBQAG #evaluation #health #integration: A Software System for Data Integration and Decision Support for Evaluation of Air Pollution Health Impact (DT, FB, LQ, FA, IG), pp. 284–290.
ICEIS-ISAS-2010-Nicolicin-GeorgescuBLB #ontology #resource management: Ontology-based Autonomic Computing for Resource Sharing between Data Warehouses in Decision Support Systems (VNG, VB, RL, HB), pp. 199–206.
ICEIS-ISAS-2010-SharonSBBV #development #framework #process: A Decision Framework for Selecting a Suitable Software Development Process (IS, MdSS, JB, JvdB, JLMV), pp. 34–43.
ICEIS-J-2010-LopesVSS #using: Using Cases, Evidences and Context to Support Decision Making (ECL, VV, ACS, US), pp. 340–356.
CIKM-2010-RonenS10a #concurrent #network #protocol #social: Concurrent atomic protocols for making and changing decisions in social networks (RR, OS), pp. 1337–1340.
ICML-2010-PetrikTPZ #approximate #feature model #linear #markov #process #source code #using: Feature Selection Using Regularization in Approximate Linear Programs for Markov Decision Processes (MP, GT, RP, SZ), pp. 871–878.
ICPR-2010-CapitaineF #evaluation: An Optimum Class-Rejective Decision Rule and Its Evaluation (HLC, CF), pp. 3312–3315.
ICPR-2010-DiamantiniGP #ranking: Feature Ranking Based on Decision Border (CD, AG, DP), pp. 609–612.
ICPR-2010-GranaBC #algorithm #performance: Decision Trees for Fast Thinning Algorithms (CG, DB, RC), pp. 2836–2839.
ICPR-2010-TopcuE #recognition: Decision Fusion for Patch-Based Face Recognition (BT, HE), pp. 1348–1351.
KDIR-2010-GudysS #algorithm: An Algorithm for Decision Rules Aggregation (AG, MS), pp. 216–225.
KEOD-2010-AntunesC #re-engineering: Unfading Decisions — A Position Paper on Decision Reconstruction (FA, JPC), pp. 374–377.
KMIS-2010-PortelaSVRSN #realtime: Real-time Intelligent Decision Support in Intensive Medicine (FP, MS, MVB, FR, ÁMS, JN), pp. 44–50.
KR-2010-Halpern10a: I Don’t Want to Think About it Now: Decision Theory with Costly Computation (JYH).
KR-2010-LarbiKM: A Characterization of Optimality Criteria for Decision Making under Complete Ignorance (RBL, SK, PM).
KR-2010-LiVK #approach #performance: An Efficient Majority-Rule-Based Approach for Collective Decision Making with CP-Nets (ML, QBV, RK).
SEKE-2010-LivaniR: Decision Support for Staffing of the Next Software Product Release (EL, GR), pp. 634–639.
SIGIR-2010-HofmannHBR #evaluation #retrieval: Comparing click-through data to purchase decisions for retrieval evaluation (KH, BH, MB, MdR), pp. 761–762.
SIGIR-2010-ShtokKC #modelling #predict #statistics #using: Using statistical decision theory and relevance models for query-performance prediction (AS, OK, DC), pp. 259–266.
POPL-2010-SuterDK #abstraction #algebra #data type: Decision procedures for algebraic data types with abstractions (PS, MD, VK), pp. 199–210.
RE-2010-Al-EmranPR #analysis #release planning #robust: Decision Support for Product Release Planning Based on Robustness Analysis (AAE, DP, GR), pp. 157–166.
RE-2010-FerrariMSHGS #architecture #case study #prototype #requirements: Requirements Engineering Decisions in the Context of an Existing Architecture: A Case Study of a Prototypical Project (RF, NHM, OS, CH, JG, WS), pp. 79–88.
SAC-2010-FanizzidE #induction #towards: Towards the induction of terminological decision trees (NF, Cd, FE), pp. 1423–1427.
SAC-2010-MigotinaRF #automation #detection #fuzzy #parametricity #using: Automatic K-complex detection using Hjorth parameters and fuzzy decision (DM, ACR, ALNF), pp. 979–980.
SAC-2010-ShahinLK #architecture #design #using #visualisation: Rationale visualization of software architectural design decision using compendium (MS, PL, MRK), pp. 2367–2368.
SAC-2010-WeiC #adaptation #mobile #semantics #towards: Towards semantic-based adaptation decisions for context-aware mobile computing (EJYW, ATSC), pp. 563–567.
FSE-2010-DagenaisR #comprehension #developer #documentation #evolution #open source: Creating and evolving developer documentation: understanding the decisions of open source contributors (BD, MPR), pp. 127–136.
ICSE-2010-CarriereKO #architecture #framework: A cost-benefit framework for making architectural decisions in a business context (SJC, RK, IO), pp. 149–157.
PLEASE-2010-IvanovicA #architecture: Information needed for architecture decision making (AI, PA), pp. 54–57.
ICLP-J-2010-GavanelliRMC #assessment: Logic-based decision support for strategic environmental assessment (MG, FR, MM, PC), pp. 643–658.
IJCAR-2010-Bjorner #linear #quantifier: Linear Quantifier Elimination as an Abstract Decision Procedure (NB), pp. 316–330.
IJCAR-2010-FriedmannLL #automaton: A Decision Procedure for CTL* Based on Tableaux and Automata (OF, ML, ML), pp. 331–345.
IJCAR-2010-ShermanGD #partial order #type system: A Slice-Based Decision Procedure for Type-Based Partial Orders (ES, BJG, MBD), pp. 156–170.
VMCAI-2010-JungKWY #abstraction #algorithm #invariant #learning: Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction (YJ, SK, BYW, KY), pp. 180–196.
WICSA-ECSA-2009-BoerLTV #architecture #design #visualisation: Ontology-driven visualization of architectural design decisions (RCdB, PL, ACT, HvV), pp. 51–60.
WICSA-ECSA-2009-Konemann #concept #modelling #tool support #uml: Integrating decision management with UML modeling concepts and tools (PK), pp. 297–300.
WICSA-ECSA-2009-ShahinLK #architecture #design #modelling #tool support: Architectural design decision: Existing models and tools (MS, PL, MRK), pp. 293–296.
ASE-2009-HolmesRRW #automation #recommendation #reuse: Automatically Recommending Triage Decisions for Pragmatic Reuse Tasks (RH, TR, MPR, RJW), pp. 397–408.
ASE-2009-WongC #analysis #dependence #logic #modelling #performance: Improving the Efficiency of Dependency Analysis in Logical Decision Models (SW, YC), pp. 173–184.
CASE-2009-HariharanB #markov #process #using: Misplaced item search in a warehouse using an RFID-based Partially Observable Markov Decision Process (POMDP) model (SH, STSB), pp. 443–448.
CASE-2009-ParkPSR #adaptation: Decision support for optimal adaptation of product and supply chain systems based on real options theory (CHP, LP, KS, HER), pp. 316–321.
ICDAR-2009-Syeda-MahmoodBA: Disease-Specific Extraction of Text from Cardiac Echo Videos for Decision Support (TFSM, DB, AA), pp. 1290–1294.
SIGMOD-2009-BrodskyBCEW #abstraction #database #programming #query: A decisions query language (DQL): high-level abstraction for mathematical programming over databases (AB, MMB, MC, NEE, XSW), pp. 1059–1062.
FoSSaCS-2009-NeuhausserSK #markov #nondeterminism #process: Delayed Nondeterminism in Continuous-Time Markov Decision Processes (MRN, MS, JPK), pp. 364–379.
TACAS-2009-Thierry-MiegPHK #diagrams #modelling #set: Hierarchical Set Decision Diagrams and Regular Models (YTM, DP, AH, FK), pp. 1–15.
PLDI-2009-HooimeijerW #constraints #regular expression #set: A decision procedure for subset constraints over regular languages (PH, WW), pp. 188–198.
SAS-2009-Bodik #algorithm #source code #synthesis: Algorithmic Program Synthesis with Partial Programs and Decision Procedures (RB), p. 1.
ICALP-v1-2009-ChakaravarthyPRS #approximate #branch #multi: Approximating Decision Trees with Multiway Branches (VTC, VP, SR, YS), pp. 210–221.
LATA-2009-BrzozowskiSX #problem: Decision Problems for Convex Languages (JAB, JS, ZX), pp. 247–258.
CHI-2009-MentisBHRC #development: Development of decision rationale in complex group decision making (HMM, PMB, BH, MBR, JMC), pp. 1341–1350.
DHM-2009-WuLYSD #on the: On Improving Provider Decision Making with Enhanced Computerized Clinical Reminders (SjW, MRL, YY, JJS, BND), pp. 569–577.
HCD-2009-Eraslan #approach #evaluation #multi #usability: Usability Evaluation of Mp3/CD Players: A Multi-Criteria Decision Making Approach (EE), pp. 55–64.
HCI-VAD-2009-BaldirisFMG #adaptation #machine learning: Adaptation Decisions and Profiles Exchange among Open Learning Management Systems Based on Agent Negotiations and Machine Learning Techniques (SB, RF, CM, SG), pp. 12–20.
HIMI-II-2009-ChouC09a #fuzzy #multi #perspective: A Fuzzy Multiple Criteria Decision Making Model for Selecting the Distribution Center Location in China: A Taiwanese Manufacturer’s Perspective (CCC, PCC), pp. 140–148.
HIMI-II-2009-MarusterFH #design #learning #personalisation: Personalization for Specific Users: Designing Decision Support Systems to Support Stimulating Learning Environments (LM, NRF, RJFvH), pp. 660–668.
HIMI-II-2009-Terawaki #framework #learning: Framework for Supporting Decision Making in Learning Management System Selection (YT), pp. 699–707.
OCSC-2009-PhillipsGS #approach #behaviour #visualisation: A Visualization Approach for Group Behaviors, Beliefs and Intentions to Support Critical Decisions (CLP, NDG, JTS), pp. 91–100.
AdaEurope-2009-LauY #logic #on the #testing: On Comparing Testing Criteria for Logical Decisions (MFL, YTY), pp. 44–58.
ICEIS-AIDSS-2009-JuanRMJF #problem: A Simulation-based Methodology to Assist Decision-makers in Real Vehicle Routing Problems (AAJ, DR, DM, JJ, JF), pp. 212–217.
ICEIS-AIDSS-2009-TaghezoutAZ #coordination #multi: Coordination in Multi-agent Decision Support System — Application to a Boiler Combustion Management System (GLZ) (NT, AA, PZ), pp. 194–199.
ICEIS-AIDSS-2009-TamargoGABQ #classification: Decision Support System for Classification of Natural Risk in Maritime Construction (MAGT, ASAG, VCA, ABT, AAQ), pp. 138–143.
ICEIS-AIDSS-2009-TsengCH #approach #assembly #multi #sequence #using: A Decision Support System for Multi-plant Assembly Sequence Planning using a PSO Approach (YJT, JYC, FYH), pp. 124–129.
ICEIS-DISI-2009-SantosB #optimisation #performance #query: A Bit-selector Technique for Performance Optimization of Decision-support Queries (RJS, JB), pp. 151–157.
ICEIS-ISAS-2009-KinderenGA #modelling #multi #reasoning #using: Reasoning about Customer Needs in Multi-supplier ICT Service Bundles using Decision Models (SdK, JG, HA), pp. 131–136.
ICEIS-ISAS-2009-Petrusel #mining #modelling #process #workflow: Mining and Modeling Decision Workflows from DSS User Activity Logs (RP), pp. 144–149.
ICEIS-J-2009-Al-NoryBN #composition #framework #nondeterminism: A Service Composition Framework for Decision Making under Uncertainty (MTAN, AB, HN), pp. 363–375.
ICEIS-J-2009-PapatheocharousA #classification #fuzzy #predict: Classification and Prediction of Software Cost through Fuzzy Decision Trees (EP, ASA), pp. 234–247.
CIKM-2009-BjorklundGGT: Inverted indexes vs. bitmap indexes in decision support systems (TAB, NG, JG, ØT), pp. 1509–1512.
CIKM-2009-KuoCW #learning #rank: Learning to rank from Bayesian decision inference (JWK, PJC, HMW), pp. 827–836.
CIKM-2009-YeCCZ #distributed #probability: Stochastic gradient boosted distributed decision trees (JY, JHC, JC, ZZ), pp. 2061–2064.
ICML-2009-ChengHH #learning #ranking: Decision tree and instance-based learning for label ranking (WC, JCH, EH), pp. 161–168.
KDD-2009-GaoFSH #learning: Heterogeneous source consensus learning via decision propagation and negotiation (JG, WF, YS, JH), pp. 339–348.
KDD-2009-Hand #data mining #mining #modelling #tool support: Mismatched models, wrong results, and dreadful decisions: on choosing appropriate data mining tools (DJH), pp. 1–2.
KDD-2009-ScrippsTE #analysis #network #preprocessor: Measuring the effects of preprocessing decisions and network forces in dynamic network analysis (JS, PNT, AHE), pp. 747–756.
KEOD-2009-DolsakN #analysis #design #process: Intelligent Analytical Aids in Design — Decision Support to Engineering Analysis Process (BD, MN), pp. 129–134.
KEOD-2009-HodickyF: Decision Support System for a Commander at the Operational Level (JH, PF), pp. 359–362.
KEOD-2009-SancinD #design #integration: Integration of Human Cognition into Plastic Products’ Design — A Decision Support System (US, BD), pp. 123–128.
KMIS-2009-GallupMZRO #approach #collaboration #information management #self: Facilitating Decision Making, Re-use and Collaboration — A Knowledge Management Approach for System Self-Awareness (SPG, DJM, YZ, JR, CO), pp. 236–241.
MLDM-2009-LiHLG #concept #detection #random #streaming: Concept Drifting Detection on Noisy Streaming Data in Random Ensemble Decision Trees (PPL, XH, QL, YG), pp. 236–250.
RecSys-2009-BaskinK #recommendation: Preference aggregation in group recommender systems for committee decision-making (JPB, SK), pp. 337–340.
RecSys-2009-CastagnosJP #process #recommendation: Recommenders’ influence on buyers’ decision process (SC, NJ, PP), pp. 361–364.
SEKE-2009-CeccarelliSDV #information management: A Guideline Engine For Knowledge Management in Clinical Decision Support Systems (CDSSs) (MC, ADS, AD, DV), pp. 252–257.
SEKE-2009-ChangL #design: Supporting Good Decision Making at Early Stage of Software Design (HFC, SCYL), pp. 493–498.
SEKE-2009-Hayshi #outsourcing #process: Establish Decision Making Process for Selecting Outsourcing Company (AH), pp. 666–671.
SEKE-2009-MoavenAHK #architecture: Decision Support System Environment for Software Architecture Style Selection (DESAS v1.0) (SM, HA, JH, AK), pp. 147–151.
SAC-2009-BasgaluppBCFR #algorithm #induction #multi #named #search-based: LEGAL-tree: a lexicographic multi-objective genetic algorithm for decision tree induction (MPB, RCB, ACPLFdC, AAF, DDR), pp. 1085–1090.
SAC-2009-GaoZL #algorithm #constraints #fuzzy #optimisation: A particle swarm optimization based algorithm for fuzzy bilevel decision making with constraints-shared followers (YG, GZ, JL), pp. 1075–1079.
SAC-2009-GohKCC #analysis #performance #scalability #video: Fast mode decision for scalable video coding based on neighboring macroblock analysis (GG, JK, MC, KC), pp. 1845–1846.
SAC-2009-KangCRRV #adaptation #composition #implementation #probability #simulation: Modular implementation of adaptive decisions in stochastic simulations (PK, YC, NR, CJR, SV), pp. 995–1001.
SAC-2009-LeezerZ #simulation: Simulating human intuitive decisions by Q-learning (JL, YZ), pp. 2077–2081.
SAC-2009-LopesZ #database #named #relational #scalability: HTILDE: scaling up relational decision trees for very large databases (CL, GZ), pp. 1475–1479.
SAC-2009-TreDWMC #approach: Heterogeneous bipolar criteria satisfaction handling in geographical decision support systems: an LSP based approach (GDT, JJD, NVdW, TM, NC), pp. 1704–1708.
SAC-2009-Xie #predict: Improved AdaBoost.M1 of decision trees with confidence-rated predictions (ZX), pp. 1462–1466.
SAC-2009-YounM #email #ontology #personalisation #using: Spam decisions on gray e-mail using personalized ontologies (SY, DM), pp. 1262–1266.
ESEC-FSE-2009-BeltRD #analysis #lightweight #optimisation #symbolic computation: Sireum/Topi LDP: a lightweight semi-decision procedure for optimizing symbolic execution-based analyses (JB, R, XD), pp. 355–364.
GTTSE-2009-FritzscheG #model management #model transformation #performance: Model Transformation Chains and Model Management for End-to-End Performance Decision Support (MF, WG), pp. 345–363.
CADE-2009-GoreW #on the fly #satisfiability: An Optimal On-the-Fly Tableau-Based Decision Procedure for PDL-Satisfiability (RG, FW), pp. 437–452.
CAV-2009-Monniaux #float #linear #on the #using: On Using Floating-Point Computations to Help an Exact Linear Arithmetic Decision Procedure (DM), pp. 570–583.
CSL-2009-UmmelsW #game studies #nash #probability #problem: Decision Problems for Nash Equilibria in Stochastic Games (MU, DW), pp. 515–529.
RTA-2009-BursucC #algebra #bound #protocol #security: Protocol Security and Algebraic Properties: Decision Results for a Bounded Number of Sessions (SB, HCL), pp. 133–147.
ECSA-2008-CapillaB #architecture #design #on the #product line: On the Role of Architectural Design Decisions in Software Product Line Engineering (RC, MAB), pp. 241–255.
ECSA-2008-LeeK #architecture #design #visualisation: Visualizing Software Architectural Design Decisions (LL, PK), pp. 359–362.
ECSA-2008-MakkiBG #architecture #automation #multi #process #trade-off: Automating Architecture Trade-Off Decision Making through a Complex Multi-attribute Decision Process (MM, EB, AAG), pp. 264–272.
ECSA-2008-NavarroC #approach #architecture #automation #design #using: Automating the Trace of Architectural Design Decisions and Rationales Using a MDD Approach (EN, CEC), pp. 114–130.
ECSA-2008-ZalewskiL #architecture #diagrams #modelling: Diagrammatic Modeling of Architectural Decisions (AZ, ML), pp. 350–353.
QoSA-2008-LeeK #architecture #design #visualisation: A Tool to Visualize Architectural Design Decisions (LL, PK), pp. 43–54.
WICSA-2008-CantoneK #design #documentation #empirical: Value-Based Design Decision Rationale Documentation: Principles and Empirical Feasibility Study (GC, PK), pp. 189–198.
WICSA-2008-CuiSM #architecture #automation #design #synthesis #towards: Towards Automated Solution Synthesis and Rationale Capture in Decision-Centric Architecture Design (XC, YS, HM), pp. 221–230.
WICSA-2008-MillerFM #architecture #case study #requirements: Architectural Effects on Requirements Decisions: An Exploratory Study (JAM, RF, NHM), pp. 231–240.
WICSA-2008-StollWN #architecture: Guiding Architectural Decisions with the Influencing Factors Method (PS, AW, CN), pp. 179–188.
WICSA-2008-ZimmermannZGL #architecture #design #modelling #pattern matching #reuse: Combining Pattern Languages and Reusable Architectural Decision Models into a Comprehensive and Comprehensible Design Method (OZ, UZ, TG, FL), pp. 157–166.
ASE-2008-AndreouP #estimation #fuzzy #using: Software Cost Estimation using Fuzzy Decision Trees (ASA, EP), pp. 371–374.
ASE-2008-CapillaNMC #architecture #design #named: ADDSS: Architecture Design Decision Support System Tool (RC, FN, JM, CC), pp. 487–488.
CASE-2008-ChakibK #architecture #distributed #multi: Multi-decision C&P∨D&A architecture for the decentralized control of discrete event systems (HC, AK), pp. 187–193.
DAC-2008-YanC #named: DeFer: deferred decision making enabled fixed-outline floorplanner (JZY, CC), pp. 161–166.
DRR-2008-AntaniDLST #image: Exploring use of images in clinical articles for decision support in evidence-based medicine (SA, DDF, JL, BVS, GRT), p. 68150.
DRR-2008-XiangTLW #recognition #reliability #using: Achieving high recognition reliability using decision trees and AdaBoost (JX, XT, YL, PSPW), p. 68150.
FoSSaCS-2008-AntonikHLNW #complexity #problem #specification: Complexity of Decision Problems for Mixed and Modal Specifications (AA, MH, KGL, UN, AW), pp. 112–126.
FoSSaCS-2008-BaierBG #automaton #on the #probability #problem: On Decision Problems for Probabilistic Büchi Automata (CB, NB, MG), pp. 287–301.
CSMR-2008-SiikarlaS #interactive #model transformation #reuse: Decision Reuse in an Interactive Model Transformation (MS, TS), pp. 123–132.
STOC-2008-GopalanKK #learning: Agnostically learning decision trees (PG, ATK, ARK), pp. 527–536.
DLT-2008-FreydenbergerR #problem: Bad News on Decision Problems for Patterns (DDF, DR), pp. 327–338.
ICALP-B-2008-BrazdilFK #branch #markov #process #synthesis #verification: Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives (TB, VF, AK), pp. 148–159.
SEFM-2008-GorankoS #distributed #logic #multi: Tableau-Based Decision Procedure for the Multi-agent Epistemic Logic with Operators of Common and Distributed Knowledge (VG, DS), pp. 237–246.
CHI-2008-StollTES #named #security #visualisation: Sesame: informing user security decisions with system visualization (JS, CST, WKE, KS), pp. 1045–1054.
CSCW-2008-BurkeK #modelling #wiki: Mopping up: modeling wikipedia promotion decisions (MB, RK), pp. 27–36.
CAiSE-2008-SimonssonJE #assessment #modelling: The IT Organization Modeling and Assessment Tool for IT Governance Decision Support (MS, PJ, ME), pp. 258–261.
EDOC-2008-WehrweinMT #approach #collaboration #implementation: A Requirements-Driven and Collaborative Decision Support Approach for Evaluating the Viability of Candidate Implementation Technologies (BW, GM, RT), pp. 293–299.
ICEIS-AIDSS-2008-BurdescuML #concept #student #using: Building a Decision Support System for Students by Using Concept Maps (DDB, MCM, BL), pp. 130–135.
ICEIS-AIDSS-2008-KuoLH: An Intelligent Decision Support System for Supplier Selection (RJK, LYL, TLH), pp. 241–248.
ICEIS-AIDSS-2008-MerigoG: The Linguistic Generalized OWA Operator and its Application in Strategic Decision Making (JMM, AMGL), pp. 219–224.
ICEIS-AIDSS-2008-RybakovB #algorithm #logic #multi: Algorithms for AI Logic of Decisions in Multi-Agent Environment (VVR, SB), pp. 125–129.
ICEIS-AIDSS-2008-TsengKH #approach #assembly #using: A Decision Support System for Integrated Assembly and Disassembly Planning Using a GA Approach (YJT, HTK, FYH), pp. 348–355.
ICEIS-AIDSS-2008-VassilevaVSGD #multi: Multicriteria Decision Support System Multioptima (MV, VV, BS, KG, DD), pp. 276–281.
ICEIS-ISAS2-2008-CabelloR #product line #variability: Variability Management in Software Product Lines for Decision Support Systems Construction (MEC, IR), pp. 49–56.
ICEIS-ISAS2-2008-MacielRG #online #process: Measuring the e-Participation in Decision-Making Processes through Online Surveys (CM, LR, ACBG), pp. 426–434.
ICML-2008-NarayanamurthyR #markov #on the #process #symmetry: On the hardness of finding symmetries in Markov decision processes (SMN, BR), pp. 688–695.
ICML-2008-Nijssen #classification: Bayes optimal classification for decision trees (SN), pp. 696–703.
ICPR-2008-Basak #adaptation #clustering #framework #online: Online adaptive clustering in a decision tree framework (JB), pp. 1–4.
ICPR-2008-JradGB #constraints #learning #multi #performance: Supervised learning rule selection for multiclass decision with performance constraints (NJ, EGM, PB), pp. 1–4.
ICPR-2008-SpringerK #feature model: Feature selection via decision tree surrogate splits (CS, WPK), pp. 1–5.
ICPR-2008-YamashitaFLK #online: Human tracking based on Soft Decision Feature and online real boosting (TY, HF, SL, MK), pp. 1–4.
ICPR-2008-ZhongGA #algorithm #classification: Properties of the k-norm pruning algorithm for decision tree classifiers (MZ, MG, GCA), pp. 1–4.
KR-2008-AmgoudDM: Making Decisions through Preference-Based Argumentation (LA, YD, PM), pp. 113–123.
KR-2008-PiniRVW #nondeterminism: Dealing with Incomplete Agents’ Preferences and an Uncertain Agenda in Group Decision Making via Sequential Majority Voting (MSP, FR, KBV, TW), pp. 571–578.
RecSys-2008-BrodskyHW #framework #named #recommendation: CARD: a decision-guidance framework and application for recommending composite alternatives (AB, SMH, JW), pp. 171–178.
SEKE-2008-AprilHC #maintenance #maturity: Software Maintenance Maturity Model (S3mDSS) A Decision Support System (AA, NH, AC), pp. 60–66.
SEKE-2008-CuiSXM #architecture #design #reuse: A Decision-centric Architecture Design Method Facilitating the Contextually Capture and Reuse of Design Knowledge (XC, YS, SX, HM), pp. 321–326.
RE-2008-FeatherHMU #analysis #deployment #requirements #using: Guiding Technology Deployment Decisions using a Quantitative Requirements Analysis Technique (MSF, KAH, RMM, SU), pp. 271–276.
REFSQ-2008-AlenljungP #named #requirements #tool support: DESCRY: A Method for Evaluating Decision-Supporting Capabilities of Requirements Engineering Tools (BA, AP), pp. 52–57.
SAC-2008-AbedMS #analysis #graph #multi #proving #reachability #theorem proving #using: Reachability analysis using multiway decision graphs in the HOL theorem prover (SA, OAM, GAS), pp. 333–338.
SAC-2008-AraujoPFLO #distributed #named #using: FlagelLink: a decision support system for distributed flagellar data using data warehouse (FFA, ÂMAP, KMF, BFL, DMO), pp. 1268–1272.
SAC-2008-BorsjeLF #named #semantics: Hermes: a semantic web-based news decision support system (JB, LL, FF), pp. 2415–2420.
SAC-2008-MendoncaBC #collaboration #coordination: Decision-making coordination in collaborative product configuration (MM, TTB, DDC), pp. 108–113.
SAC-2008-PiresTR #collaboration #internet: A UMLS interoperable solution to support collaborative diagnosis decision making over the internet (DFP, CACT, EESR), pp. 1400–1404.
SAC-2008-PracaVVR #simulation: Agent-based simulation of electronic marketplaces with decision support (IP, MJV, ZAV, CR), pp. 3–7.
SAC-2008-RibeiroMB #implementation #product line: A decision model for implementing product lines variabilities (MdMR, PMJ, PB), pp. 276–277.
ICSE-2008-XiaoLG #distributed #protocol #security: Developing a security protocol for a distributed decision support system in a healthcare environment (LX, PHL, AG), pp. 673–682.
SPLC-2008-WeissLSDS #code generation: Decision-Model-Based Code Generation for SPLE (DMW, JJL, JHS, TTDT, HS), pp. 129–138.
IJCAR-2008-Gupta #automation #challenge #verification: Software Verification: Roles and Challenges for Automatic Decision Procedures (AG), p. 1.
SAT-2008-Goldberg: A Decision-Making Procedure for Resolution-Based SAT-Solvers (EG), pp. 119–132.
VMCAI-2008-DimitrovaP #abstraction #lazy evaluation #protocol #question: Is Lazy Abstraction a Decision Procedure for Broadcast Protocols? (RD, AP), pp. 98–111.
VMCAI-2008-PiskacK #constraints #multi: Decision Procedures for Multisets with Cardinality Constraints (RP, VK), pp. 218–232.
ECSA-2007-NavaCD #architecture #design #process #tool support: Processes for Creating and Exploiting Architectural Design Decisions with Tool Support (FN, RC, JCD), pp. 321–324.
QoSA-2007-ZimmermannGKLS #architecture #development #enterprise #modelling #reuse: Reusable Architectural Decision Models for Enterprise Application Development (OZ, TG, JMK, FL, NS), pp. 15–32.
WICSA-2007-DhunganaRG #architecture #modelling #product line: Decision-Oriented Modeling of Product Line Architectures (DD, RR, PG), p. 22.
WICSA-2007-JansenVAH #architecture #tool support: Tool Support for Architectural Decisions (AJ, JSvdV, PA, DKH), p. 4.
CASE-2007-GomezHR #fuzzy #logic #maintenance: Decision Making Based on Fuzzy Logic for Product Subcontracting Taking into Account Maintenance Actions (RAFG, SH, NR), pp. 771–776.
CASE-2007-HallbergNDSDFM #named #smarttech: HomeRuleML — A Model for the Exchange of Decision Support Rules Within Smart Environments (JH, CDN, RJD, KS, MPD, DDF, MDM), pp. 513–520.
CASE-2007-MishraV #framework #risk management: A CBR-based Decision Support System Framework for Construction Supply Chain Risk Management (VKM, NV), pp. 980–985.
CASE-2007-NarasimhaKS #approach #email #information management #markov #process: A Semi Markov Decision Process Approach To E-mail Management In A Knowledge Work Environment (CYN, MK, RS), pp. 1051–1056.
CASE-2007-SunFSFCD #analysis #bibliography #paradigm: Decision Paradigms in the Semiconductor Supply Chain: A Survey and Analysis (YS, ALF, DLS, JWF, TEC, BMD), pp. 106–110.
CASE-2007-ViswanadhamK #framework: A Decision Framework for Location Selection in Global Supply Chains (NV, SK), pp. 704–709.
DATE-2007-NarayananHMCZ #classification #implementation #interactive: Interactive presentation: An FPGA implementation of decision tree classification (RN, DH, GM, ANC, JZ), pp. 189–194.
ICDAR-2007-JlaielKAM #difference: Three decision levels strategy for Arabic and Latin texts differentiation in printed and handwritten natures (MBJ, SK, AMA, RM), pp. 1103–1107.
PODS-2007-ChakaravarthyPRAM #algorithm #approximate #identification: Decision trees for entity identification: approximation algorithms and hardness results (VTC, VP, SR, PA, MKM), pp. 53–62.
SIGMOD-2007-BravoR #optimisation #probability #query: Optimizing mpf queries: decision support and probabilistic inference (HCB, RR), pp. 701–712.
VLDB-2007-ChaudhuriKRP #execution #query: Stop-and-Restart Style Execution for Long Running Decision Support Queries (SC, RK, RR, AP), pp. 735–745.
TACAS-2007-EtessamiKVY #markov #model checking #multi #process: Multi-objective Model Checking of Markov Decision Processes (KE, MZK, MYV, MY), pp. 50–65.
TACAS-2007-YuCL #bound #diagrams #reachability #using: Bounded Reachability Checking of Asynchronous Systems Using Decision Diagrams (AJY, GC, GL), pp. 648–663.
TACAS-2007-ZhangHEJ #algorithm #performance #probability #simulation: Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations (LZ, HH, FE, DNJ), pp. 155–169.
ICALP-2007-BozzelliT #automaton #bound #parametricity #problem: Decision Problems for Lower/Upper Bound Parametric Timed Automata (LB, SLT), pp. 925–936.
SFM-2007-Ciardo #approach #data transformation #diagrams #performance #representation: Data Representation and Efficient Solution: A Decision Diagram Approach (GC), pp. 371–394.
DHM-2007-XiangZ #retrieval: Motion Retrieval Based on Temporal-Spatial Features by Decision Tree (JX, HZ), pp. 224–233.
HCI-AS-2007-CaiX #design #sorting: Designing Product List on E-tailing Websites: The Effect of Sorting on Consumer Decision (SC, YX), pp. 104–113.
HCI-AS-2007-LeeS #estimation #process: Experimental Effect Estimation of an Integrated Decision Support System to Aid Operator’s Cognitive Activities for Nuclear Power Plants (SJL, PHS), pp. 620–628.
HCI-IDU-2007-YoonY #design #development #metric #process #user interface: Development of Quantitative Metrics to Support UI Designer Decision-Making in the Design Process (YSY, WCY), pp. 316–324.
HCI-IPT-2007-AdnanNA #evaluation #visualisation: An Experimental Evaluation of Information Visualization Techniques and Decision Style (WAWA, NLMN, RA), pp. 143–150.
HCI-IPT-2007-LiuS #classification #interactive #visual notation: Interactive Visual Decision Tree Classification (YL, GS), pp. 92–105.
HCI-MIE-2007-KimL07b #optimisation: Decision Theoretic Perspective on Optimizing Intelligent Help (CK, MRL), pp. 358–365.
HIMI-IIE-2007-Chou: A Decision Making Model for the Taiwanese Shipping Logistics Company in China to Select the Container Distribution Center Location (CCC), pp. 844–854.
HIMI-IIE-2007-OginoSK: The Inspiring Store: Decision Support System for Shopping Based on Individual Interests (AO, SuS, TK), pp. 948–954.
HIMI-MTT-2007-LeeL #design #navigation: Integrated Physically Based Manipulation and Decision-Making Tree for Navigation to Support Design Rationale (JHL, TCL), pp. 480–489.
HIMI-MTT-2007-ZhuSC #approach #process #quality #visualisation: Integrating Data Quality Data into Decision-Making Process: An Information Visualization Approach (BZ, GS, YC), pp. 366–369.
OCSC-2007-MorrisonG #interactive #named #network #social #visualisation: ConnectDots: Visualizing Social Network Interaction for Improved Social Decision Making (DM, BG), pp. 134–140.
ICEIS-AIDSS-2007-BecksH #analysis #industrial #mining: Trend Analysis Based on Explorative Data and Text Mining: A Decision Support System for the European Home Textile Industry (AB, JH), pp. 253–258.
ICEIS-AIDSS-2007-BlunnCCWD #information management #mobile: Mobile Decision Making and Knowledge Management: Supporting Geoarchaeologists in the Field (MB, JC, DEC, CW, DD), pp. 57–62.
ICEIS-AIDSS-2007-LevashovaPL #approach #enterprise #modelling: Provision of Context-Sensitive Enterprise Knowledge for Decision Support: An Approach based on Enterprise Models and Information Demand Contexts (TL, MP, ML), pp. 88–93.
ICEIS-AIDSS-2007-RoviraASPV #ranking: Group Decision Systems for Ranking and Selection — An Application to the Accreditation of Doping Control Laboratories (XR, NA, MS, FP, MV), pp. 82–87.
ICEIS-AIDSS-2007-SokolovaF #architecture #assessment #data mining #mining #multi: A Multi-Agent Architecture for Environmental Impact Assessment: Information Fusion, Data Mining and Decision Making (MVS, AFC), pp. 219–224.
ICEIS-AIDSS-2007-SturekRNS #predict #reliability: A Decision Support System for Predicting the Reliability of a Robotic Dispensing System (JS, SR, PN, KS), pp. 289–296.
ICEIS-AIDSS-2007-VaginY #modelling #reasoning: Modelling Human Reasoning in Intelligent Decision Support Systems (VNV, APY), pp. 277–282.
ICEIS-AIDSS-2007-WenningGTSK #algorithm #distributed #framework: Investigations on Object-Centered Routing in Dynamic Environments: Algorithmic Framework and Initial Numerical Results — Support for Distributed Decision Making in Transport Systems (BLW, CG, ATG, JS, HK), pp. 225–230.
ICEIS-AIDSS-2007-YingboJJ #learning #predict #process #using #workflow: Using Decision Tree Learning to Predict Workflow Activity Time Consumption (YL, JW, JS), pp. 69–75.
ICEIS-EIS-2007-GeH #quality: A Theoretical Model to Explain Effects of Information Quality Awareness on Decision Making (MG, MH), pp. 164–169.
ECIR-2007-NottelmannF #distributed #formal method #network #peer-to-peer #query: A Decision-Theoretic Model for Decentralised Query Routing in Hierarchical Peer-to-Peer Networks (HN, NF), pp. 148–159.
ICML-2007-DelageM #markov #nondeterminism #optimisation #performance #process: Percentile optimization in uncertain Markov decision processes with application to efficient exploration (ED, SM), pp. 225–232.
ICML-2007-Shah #bound: Sample compression bounds for decision trees (MS), pp. 799–806.
KDD-2007-NijssenF #mining: Mining optimal decision trees from itemset lattices (SN, ÉF), pp. 530–539.
MLDM-2007-WangLYC #classification #data type #fuzzy #incremental #mining: An Incremental Fuzzy Decision Tree Classification Method for Mining Data Streams (TW, ZL, YY, HC), pp. 91–103.
SEKE-2007-HewettP #development #framework #trade-off: Software Tradeoff Assistant: An Integrated Framework for Analytical Decision Making and Tradeoffs in Software Development (RH, VP), pp. 450–455.
SEKE-2007-SchusterZP #architecture #collaboration #named #web: ADkwik: Web 2.0 Collaboration System for Architectural Decision Engineering (NS, OZ, CP), pp. 255–260.
SEKE-2007-WeiAZ #effectiveness #framework #network #validation: Validating A Layered Decision Framework for Cost-Effective Network Defense (HW, JAF, DZ), pp. 105–110.
RE-2007-LehtolaKV: Strengthening the link between business decisions and RE: Long-term product planning in software product companies (LL, MK, JV), pp. 153–162.
SMT-J-2006-BarrettST07 #data type #formal method #induction: An Abstract Decision Procedure for a Theory of Inductive Data Types (CB, IS, CT), pp. 21–46.
CADE-2007-BonacinaE #composition: T-Decision by Decomposition (MPB, ME), pp. 199–214.
CADE-2007-HeilalaP #bidirectional #logic: Bidirectional Decision Procedures for the Intuitionistic Propositional Modal Logic IS4 (SH, BP), pp. 116–131.
CADE-2007-UnelT #incremental: An Incremental Technique for Automata-Based Decision Procedures (GÜ, DT), pp. 100–115.
CAV-2007-AlfaroR #abstraction #markov #process: Magnifying-Lens Abstraction for Markov Decision Processes (LdA, PR), pp. 325–338.
CAV-2007-GaneshD #array: A Decision Procedure for Bit-Vectors and Arrays (VG, DLD), pp. 519–531.
CSL-2007-BlanquiJS #calculus #induction: Building Decision Procedures in the Calculus of Inductive Constructions (FB, JPJ, PYS), pp. 328–342.
ICLP-2007-UnelT #approach #logic programming: Logic Programming Approach to Automata-Based Decision Procedures (GÜ, DT), pp. 165–179.
LICS-2007-GimbertZ #markov #multi #process: Limits of Multi-Discounted Markov Decision Processes (HG, WZ), pp. 89–98.
SAT-2007-Kullmann #invariant #matrix #polynomial #satisfiability: Polynomial Time SAT Decision for Complementation-Invariant Clause-Sets, and Sign-non-Singular Matrices (OK), pp. 314–327.
VMCAI-2007-RakamaricBH #data type #source code #verification: An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures (ZR, JDB, AJH), pp. 106–121.
QoSA-2006-WuK #architecture #design #safety: Managing Architectural Design Decisions for Safety-Critical Software Systems (WW, TK), pp. 59–77.
ASE-2006-HassanZ #certification #predict #using: Using Decision Trees to Predict the Certification Result of a Build (AEH, KZ), pp. 189–198.
CASE-2006-ViswanadhamPG #exception #process: Decision Support System for Exception Management in RFID Enabled Airline Baggage Handling Process (NV, AP, RSG), pp. 351–356.
DAC-2006-WilsonZ: Decision-making for complex SoCs in consumer electronic products (RW, YZ), p. 173.
DATE-2006-AbdollahiP #analysis #diagrams #quantum #synthesis #using: Analysis and synthesis of quantum circuits by using quantum decision diagrams (AA, MP), pp. 317–322.
TACAS-2006-SiminiceanuC #diagrams #metric: New Metrics for Static Variable Ordering in Decision Diagrams (RS, GC), pp. 90–104.
ICSM-2006-Chikofsky: Sustain, Enhance, or Replace: Making Decisions on Systems (EJC), p. 134.
MSR-2006-KnabPB #fault #predict #source code: Predicting defect densities in source code files with decision tree learners (PK, MP, AB), pp. 119–125.
DLT-2006-BellP #bound #matrix: Lowering Undecidability Bounds for Decision Questions in Matrices (PB, IP), pp. 375–385.
DLT-2006-BonizzoniM #reflexive: A Decision Procedure for Reflexive Regular Splicing Languages (PB, GM), pp. 315–326.
SEFM-2006-RaniseZ #formal method: A Theory of Singly-Linked Lists and its Extensible Decision Procedure (SR, CGZ), pp. 206–215.
SFM-2006-CimattiS #performance #satisfiability: Building Efficient Decision Procedures on Top of SAT Solvers (AC, RS), pp. 144–175.
CHI-2006-PuVF #using: Increasing user decision accuracy using suggestions (PP, PV, BF), pp. 121–130.
CSCW-2006-KientzHAG: From the war room to the living room: decision support for home-based therapy teams (JAK, GRH, GDA, REG), pp. 209–218.
ICEIS-AIDSS-2006-Fornells-HerreraRMB #approach #evolution: Decision Support System for Breast Cancer Diagnosis by a Meta-Learning Approach Based on Grammar Evolution (AFH, EGiR, EBiM, JMB), pp. 222–229.
ICEIS-AIDSS-2006-GalinhoCPS #representation: Dynamic Representation of Information for a Decision Support System (TG, MC, PP, FS), pp. 156–163.
ICEIS-AIDSS-2006-LinHST #named #scheduling: LOGICRUNCHER — A Logistics Planning and Scheduling Decision Support System for Emerging EMS and 3PL Business Practices (RJL, JH, NSK, BT), pp. 176–181.
ICEIS-AIDSS-2006-RamezaniM #case study #design #fuzzy #implementation: Design and Implementation of a Fuzzy Expert Decision Support System for Vendor Selection — Case Study in OIEC Iran (Oil Industerial Engineering and Construction) (MR, GAM), pp. 243–248.
ICEIS-ISAS-2006-KnackstedtJR #approach #configuration management #modelling #transaction: Configuring Reference Models — An Integrated Approach for Transaction Processing and Decision Support (RK, CJ, TR), pp. 135–143.
ICEIS-ISAS-2006-Vaisman #approach #elicitation #quality #requirements: Requirements Elicitation for Decision Support Systems: A Data Quality Approach (AAV), pp. 316–321.
ICML-2006-DegrisSW #learning #markov #problem #process: Learning the structure of Factored Markov Decision Processes in reinforcement learning problems (TD, OS, PHW), pp. 257–264.
ICML-2006-LiLC #markov #process: Region-based value iteration for partially observable Markov decision processes (HL, XL, LC), pp. 561–568.
ICML-2006-ToussaintS #markov #probability #process: Probabilistic inference for solving discrete and continuous state Markov Decision Processes (MT, AJS), pp. 945–952.
ICPR-v1-2006-Lampert #machine learning #video: Machine Learning for Video Compression: Macroblock Mode Decision (CHL), pp. 936–940.
ICPR-v2-2006-BertolamiB #classification #integration #multi #recognition: Early feature stream integration versus decision level combination in a multiple classifier system for text line recognition (RB, HB), pp. 845–848.
ICPR-v3-2006-GokberkA #3d #algorithm #analysis #comparative #recognition: Comparative Analysis of Decision-level Fusion Algorithms for 3D Face Recognition (BG, LA), pp. 1018–1021.
ICPR-v4-2006-LienY #performance #predict #using: A Fast Mode Decision Method for H.264/AVC Using the Spatial-Temporal Prediction Scheme (CCL, CPY), pp. 334–337.
KDD-2006-FanMY #framework #performance #random #summary: A general framework for accurate and fast regression by data summarization in random decision trees (WF, JM, PSY), pp. 136–146.
KDD-2006-LoekitoB #diagrams #mining #performance #using: Fast mining of high dimensional expressive contrast patterns using zero-suppressed binary decision diagrams (EL, JB), pp. 307–316.
KR-2006-BlumeEH: Redoing the Foundations of Decision Theory (LEB, DAE, JYH), pp. 14–24.
KR-2006-DuboisF: Qualitative Decision Making with Bipolar Information (DD, HF), pp. 175–186.
KR-2006-FritzM: Decision-Theoretic GOLOG with Qualitative Preferences (CF, SAM), pp. 153–163.
SEKE-2006-McElroyR #release planning: Decision Support for Resource-centric Software Release Planning (JM, GR), pp. 132–137.
SEKE-2006-ZiemerSS #approach #development #modelling #requirements #trade-off #web: A Decision Modelling Approach for Analysing Requirements Configuration Trade-offs in Timeconstrained Web Application Development (SZ, PRFS, TS), pp. 144–149.
SAC-2006-AhmedKL #algorithm #design #implementation #network: Design and implementation of a context-aware decision algorithm for heterogeneous networks (TA, KK, ML), pp. 1134–1138.
SAC-2006-BergerMD #categorisation #email #set: Exploiting partial decision trees for feature subset selection in e-mail categorization (HB, DM, MD), pp. 1105–1109.
SAC-2006-NikovskiK #induction #personalisation #recommendation: Induction of compact decision trees for personalized recommendation (DN, VK), pp. 575–581.
SAC-2006-RothF #information management #recommendation: Trust-decisions on the base of maximal information of recommended direct-trust (UR, VF), pp. 1898–1901.
ICSE-2006-LiCSBTM #component #development #empirical #off the shelf: An empirical study on decision making in off-the-shelf component-based development (JL, RC, OPNS, CB, MT, MM), pp. 897–900.
IJCAR-2006-BonacinaGNRZ #decidability: Decidability and Undecidability Results for Nelson-Oppen and Rewrite-Based Decision Procedures (MPB, SG, EN, SR, DZ), pp. 513–527.
IJCAR-2006-KazakovM: A Resolution-Based Decision Procedure for SHOIQ (YK, BM), pp. 662–677.
IJCAR-2006-ReeberH #satisfiability #subclass: A SAT-Based Decision Procedure for the Subclass of Unrollable List Formulas in ACL2 (SULFA) (ER, WAHJ), pp. 453–467.
VMCAI-2006-BinghamR #abstraction #logic #source code: A Logic and Decision Procedure for Predicate Abstraction of Heap-Manipulating Programs (JDB, ZR), pp. 207–221.
WICSA-2005-JansenB #architecture #design #set: Software Architecture as a Set of Architectural Design Decisions (AJ, JB), pp. 109–120.
WICSA-2005-Tyree #architecture #design: Architectural Design Decisions Session Report (JT), pp. 285–286.
CASE-2005-MaheshFWL #agile #benchmark #metric #prototype: Benchmarking for decision making in rapid prototyping systems (MM, JYHF, YSW, HTL), pp. 19–24.
CASE-2005-ViswanadhamB #outsourcing: Foreign direct investment or outsourcing: a supply chain decision model (NV, KB), pp. 232–237.
CASE-2005-XueSG #multi: Multi-objective evolutionary decision support for design-supplier-manufacturing planning (FX, ACS, RJG), pp. 197–202.
VLDB-2005-PeiJET #approach #semantics: Catching the Best Views of Skyline: A Semantic Approach Based on Decisive Subspaces (JP, WJ, ME, YT), pp. 253–264.
CSMR-2005-KoskinenASTLK #empirical #legacy: Software Modernization Decision Criteria: An Empirical Study (JK, JJA, HS, TT, HL, IK), pp. 324–331.
ICSM-2005-BhawnaniFR #case study: Explorative Study to Provide Decision Support for Software Release Decisions (PB, BHF, GR), pp. 617–620.
DLT-J-2004-DassowH05 #problem #product line: Language families defined by a ciliate bio-operation: hierarchies and decision problems (JD, MH), pp. 645–662.
CIAA-2005-Latour #diagrams #set: Computing Affine Hulls over Q and Z from Sets Represented by Number Decision Diagrams (LL), pp. 213–224.
ICALP-2005-EtessamiY #game studies #markov #probability #process #recursion: Recursive Markov Decision Processes and Recursive Stochastic Games (KE, MY), pp. 891–903.
ICEIS-v1-2005-EzekielM #health #policy: An Integrated Decision Support Tool for EU Policies on Health, Transport and Artistic Heritage Recovery (KE, FM), pp. 261–266.
ICEIS-v1-2005-SimonssonLJNGW #approach #enterprise #evaluation #top-down: Scenario-based Evaluation of Enterprise — a Top-Down Approach for Chief Information Officer Decision Making (MS, ÅL, PJ, LN, JG, OW), pp. 130–137.
ICEIS-v2-2005-AprilD #maintenance: Software Maintenance Expert System (SMXPERT) — a Decision Support Instrument (AA, JMD), pp. 142–148.
ICEIS-v2-2005-Fu #using: Construction of Decision Trees Using Data Cube (LF), pp. 119–126.
ICEIS-v2-2005-LancM #information management #internet: Strategic Information Systems Alignment — A Decision Support Application for the Internet Era (DL, LMM), pp. 100–110.
ICEIS-v2-2005-MezaNMGC #analysis #modelling: Free Software for Decision Analysis: A Software Package for Data Envelopment Models (LAM, LBN, JCCBSdM, EGG, PHGC), pp. 207–212.
ICEIS-v2-2005-NilssonFX #classification #using: Clinical Decision Support by Time Series Classification Using Wavelets (MN, PF, NX), pp. 169–175.
ICEIS-v2-2005-OttomanelliDS #maintenance: A Decision Support System Based on Neuro-Fuzzy System for Railroad Maintenance Planning (MO, MD, DS), pp. 43–49.
ICEIS-v2-2005-Paris: Decision Support System for Affordable Housing (DEP), pp. 273–282.
ICML-2005-RohanimaneshM #approach #concurrent #generative #markov #named #process: Coarticulation: an approach for generating concurrent plans in Markov decision processes (KR, SM), pp. 720–727.
MLDM-2005-BunkeDIK #analysis #graph #learning #predict: Analysis of Time Series of Graphs: Prediction of Node Presence by Means of Decision Tree Learning (HB, PJD, CI, MK), pp. 366–375.
SEKE-2005-ArdimentoBCV #information management: Decision Tables for Knowledge Acquisition during Goal Interpretation (PA, MTB, DC, GV), pp. 404–407.
SIGIR-2005-HoweRM #documentation #recognition #retrieval #word: Boosted decision trees for word recognition in handwritten document retrieval (NRH, TMR, RM), pp. 377–383.
SAC-2005-GamaMR #data type #learning: Learning decision trees from dynamic data streams (JG, PM, PPR), pp. 573–577.
ICSE-2005-Ayton #how: Extending the discipline: how software can help or hinder human decision making (and vice-versa) (PA), p. 36.
SPLC-2005-ReiserW #set #using: Using Product Sets to Define Complex Product Decisions (MOR, MW), pp. 21–32.
SAT-J-2004-ArmandoCGM05 #constraints #difference #satisfiability: A SAT-Based Decision Procedure for the Boolean Combination of Difference Constraints (AA, CC, EG, MM), pp. 16–29.
SAT-J-2004-GalesiK05 #polynomial #rank #satisfiability: Polynomial Time SAT Decision, Hypergraph Transversals and the Hermitian Rank (NG, OK), pp. 89–104.
CADE-2005-BryantS #verification: Decision Procedures Customized for Formal Verification (REB, SAS), pp. 255–259.
CADE-2005-McLaughlinH: A Proof-Producing Decision Procedure for Real Arithmetic (SM, JH), pp. 295–314.
CAV-2005-LahiriBC #abstraction: Predicate Abstraction via Symbolic Decision Procedures (SKL, TB, BC), pp. 24–38.
CAV-2005-MeirS #logic #similarity: Yet Another Decision Procedure for Equality Logic (OM, OS), pp. 307–320.
ICLP-2005-KleemannS #mobile #personalisation: Decision Support for Personalization on Mobile Devices (TK, AS), pp. 404–406.
LICS-2005-Leroux #diagrams #polynomial #synthesis: A Polynomial Time Presburger Criterion and Synthesis for Number Decision Diagrams (JL), pp. 147–156.
ASE-2004-Ramler #development: Decision Support for Test Management in Iterative and Evolutionary Development (RR), pp. 406–409.
DAC-2004-WangJHS #bound #model checking #satisfiability: Refining the SAT decision ordering for bounded model checking (CW, HJ, GDH, FS), pp. 535–538.
DATE-DF-2004-AitkenM #dependence #design: From Working Design Flow to Working Chips: Dependencies and Impacts of Methodology Decisions (RCA, FM), p. 2.
DATE-v2-2004-JabirP #diagrams #multi #named #representation: MODD: A New Decision Diagram and Representation for Multiple Output Binary Functions (AMJ, DKP), pp. 1388–1389.
DATE-v2-2004-Stanley-MarbellM #adaptation #fault tolerance: Local Decisions and Triggering Mechanisms for Adaptive Fault-Tolerance (PSM, DM), pp. 968–973.
FASE-2004-SoraCVB #automation #component #composition #requirements: Automating Decisions in Component Composition Based on Propagation of Requirements (IS, VC, PV, YB), pp. 374–388.
TACAS-2004-BaierHHK #bound #markov #performance #process #reachability: Efficient Computation of Time-Bounded Reachability Probabilities in Uniform Continuous-Time Markov Decision Processes (CB, BRH, HH, JPK), pp. 61–76.
CSMR-2004-AversanoEMT #re-engineering: Supporting Decisions on the Adoption of Re-engineering Technologies (LA, RE, TM, MT), pp. 95–104.
CSMR-2004-Srivastava #component #framework #maintenance #project management #reuse: A Decision-support Framework for Component Reuse and Maintenance in Software Project Management (BS), pp. 125–136.
ICSM-2004-TahvildariK #approach #multi #source code: Developing a Multi-Objective Decision Approach to Select Source-Code Improving Transformations (LT, KK), pp. 427–431.
PLDI-2004-WhaleyL #alias #analysis #diagrams #pointer #using: Cloning-based context-sensitive pointer alias analysis using binary decision diagrams (JW, MSL), pp. 131–144.
DLT-2004-LakinT #problem: Context-Sensitive Decision Problems in Groups (SRL, RMT), pp. 296–307.
SFM-2004-AlurM #automaton #bibliography #problem: Decision Problems for Timed Automata: A Survey (RA, PM), pp. 1–24.
CHI-2004-JensenP #evaluation #online #policy #privacy #tool support: Privacy policies as decision-making tools: an evaluation of online privacy notices (CJ, CP), pp. 471–478.
ICEIS-v1-2004-CortesO #quality #relational: Relational Sampling for Data Quality Auditing and Decision Support (BC, JNO), pp. 376–382.
ICEIS-v2-2004-Azevedo #bibliography #order #requirements: Order Planning Decision Support System for Customer Driven Manufacturing: Overview of Main System Requirements (HP, ALA), pp. 417–422.
ICEIS-v2-2004-Hillbrand: Building Proven Causal Model Bases for Strategic Decision Support (CH), pp. 178–183.
ICEIS-v2-2004-KotsiantisP #classification #hybrid #using: A Hybrid Decision Support Tool — Using Ensemble of Classifiers (SBK, PEP), pp. 448–456.
ICEIS-v2-2004-MuesHVB #diagrams #using #visualisation: Comprehensible Credit-Scoring Knowledge Visualization Using Decision Tables and Diagrams (CM, JH, JV, BB), pp. 226–232.
ICEIS-v2-2004-OgielaTO #algorithm #information management #reasoning #visual notation: Cognitive Reasoning in Intelligent Medical Information Systems — Visual Data Perception Algorithms in Medical Decision support Systems (MRO, RT, LO), pp. 222–225.
ICEIS-v2-2004-Okhtilev #data flow #distributed #realtime: The Data Flow and Distributed Calculations Intelligence Information Technology for Decision Support System in Real Time (MO), pp. 497–500.
ICEIS-v2-2004-SalterSS #component #development #information management: Reducing Rework in the Development of Information Systems Through the Components of Decisions (AS, HS, BS), pp. 430–435.
ICEIS-v2-2004-ValleP #communication: Decision Follow-Up Support Mechanism Based on Asynchronous Communication (CV, WP), pp. 423–429.
ICEIS-v5-2004-JantkeLGGTT #data mining #learning #mining: Learning by Doing and Learning when Doing: Dovetailing E-Learning and Decision Support with a Data Mining Tutor (KPJ, SL, GG, PAG, BT, BT), pp. 238–241.
ECIR-2004-NottelmannF #approach: Combining CORI and the Decision-Theoretic Approach for Advanced Resource Selection (HN, NF), pp. 138–153.
ICML-2004-EsmeirM #algorithm #induction: Lookahead-based algorithms for anytime induction of decision trees (SE, SM).
ICML-2004-LingYWZ #low cost: Decision trees with minimal costs (CXL, QY, JW, SZ).
ICPR-v2-2004-GutierrezRA #identification: Weighted Loss Functions to Make Risk-based Language Identification Fused Decisions (JG, JLR, RAO), pp. 863–866.
ICPR-v3-2004-IrnigerB #database #graph #using: Graph Database Filtering Using Decision Trees (CI, HB), pp. 383–388.
ICPR-v3-2004-ZhuHT #bound: Comparing Decision Boundary Curvature (HZ, JH, XT), pp. 450–453.
SEKE-2004-JedlitschkaPB #framework #re-engineering: A Framework for Comprehensive Experience-based Decision Support for Software Engineering Technology Selection (AJ, DP, FB), pp. 342–345.
SEKE-2004-YaoZY #framework: Level Construction of Decision Trees in a Partition-based Framework for Classi cation (YY, YZ, JY), pp. 199–204.
PADL-2004-Fall #declarative #nondeterminism: Supporting Decisions in Complex, Uncertain Domains with Declarative Languages (AF), pp. 16–22.
SAC-2004-AmorBE #detection #naive bayes: Naive Bayes vs decision trees in intrusion detection systems (NBA, SB, ZE), pp. 420–424.
SAC-2004-El-Gayar #fuzzy #logic #multi: Application of fuzzy logic to multiple criteria decision making in aquacultural planning (OFEG), pp. 1028–1029.
SAC-2004-Ferrer-TroyanoAS #data type: Discovering decision rules from numerical data streams (FJFT, JSAR, JCRS), pp. 649–653.
SAC-2004-RodriguezA: Interval and dynamic time warping-based decision trees (JJR, CJA), pp. 548–552.
SAC-2004-ZhangVlY #approach #communication #design #multi: A decision-theoretic approach for designing proactive communication in multi-agent teamwork (YZ, RAV, TRI, JY), pp. 64–71.
ICSE-2004-FentonMNCFT #resource management: Making Resource Decisions for Software Projects (NEF, WM, MN, PC, SF, MT), pp. 397–406.
ICSE-2004-ZhangGZ #diagrams #dynamic analysis #order #performance #slicing #using: Efficient Forward Computation of Dynamic Slices Using Reduced Ordered Binary Decision Diagrams (XZ, RG, YZ), pp. 502–511.
SPLC-2004-AmericaHIOR #architecture #product line #variability: Scenario-Based Decision Making for Architectural Variability in Product Families (PA, DKH, MTI, JHO, ER), pp. 284–303.
CAV-2004-GanzingerHNOT #performance: DPLL( T): Fast Decision Procedures (HG, GH, RN, AO, CT), pp. 175–188.
CAV-2004-LahiriS: The UCLID Decision Procedure (SKL, SAS), pp. 475–478.
CAV-2004-MouraR #evaluation: An Experimental Evaluation of Ground Decision Procedures (LMdM, HR), pp. 162–174.
IJCAR-2004-KazakovN #transitive: A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards (YK, HdN), pp. 122–136.
IJCAR-2004-MaricJ #framework #named: argo-lib: A Generic Platform for Decision Procedures (FM, PJ), pp. 213–217.
IJCAR-2004-MouraORRS #deduction #embedded: The ICS Decision Procedures for Embedded Deduction (LMdM, SO, HR, JMR, NS), pp. 218–222.
IJCAR-2004-ZhangSM #constraints #data type #integer #recursion: Decision Procedures for Recursive Data Structures with Integer Constraints (TZ, HBS, ZM), pp. 152–167.
SAT-2004-ArmandoCGM #constraints #difference #satisfiability: A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints (AA, CC, EG, MM), pp. 166–173.
SAT-2004-GalesiK #polynomial #rank #satisfiability: Polynomial Time SAT Decision, Hypergraph Transversals and the Hermitian Rank (NG, OK), pp. 76–85.
DAC-2003-RongP #approach #markov #mobile #network: Extending the lifetime of a network of battery-powered mobile devices by remote processing: a markovian decision-based approach (PR, MP), pp. 906–911.
DAC-2003-SeshiaLB #hybrid #logic #satisfiability: A hybrid SAT-based decision procedure for separation logic with uninterpreted functions (SAS, SKL, REB), pp. 425–430.
ICDAR-2003-DimauroIMP #recognition: Numeral Recognition by Weighting Local Decisions (GD, SI, RM, GP), pp. 1070–1074.
TACAS-2003-BerezinGD #linear #online: An Online Proof-Producing Decision Procedure for Mixed-Integer Linear Arithmetic (SB, VG, DLD), pp. 521–536.
TACAS-2003-ConchonK: Strategies for Combining Decision Procedures (SC, SK), pp. 537–552.
SAS-2003-Monniaux #abstract interpretation #markov #process #source code: Abstract Interpretation of Programs as Markov Decision Processes (DM), pp. 237–254.
ICALP-2003-Okhotin #equation #problem: Decision Problems for Language Equations with Boolean Operations (AO), pp. 239–251.
ICEIS-v2-2003-AzevedoM #analysis #capacity #enterprise #network #requirements: Requirements of a Decision Support System for Capacity Analysis and Planning in Enterprise Networks (ALA, AM), pp. 177–184.
ICEIS-v2-2003-BaesensMBVS #using: Building Intelligent Credit Scoring Systems Using Decision Tables (BB, CM, MDB, JV, RS), pp. 19–25.
ICEIS-v2-2003-CastroSS #collaboration #named: Decisio: A Collaborative Decision Support System for Environmental Planning (MdC, JMdS, JCMS), pp. 217–222.
ICEIS-v2-2003-ChadesSC #markov #multi #process #using: Planning Cooperative Homogeneous Multiagent Systems Using Markov Decision Processes (IC, BS, FC), pp. 426–429.
ICEIS-v2-2003-KoskivaaraB #network: An Artificial Neural Network Based Decision Support System for Budgeting (EK, BB), pp. 108–114.
ICEIS-v2-2003-MaciasVSR #data mining #development #mining: A Data Mining Method to Support Decision Making in Software Development Projects (JLÁM, JMV, JCRS, IR), pp. 11–18.
ICEIS-v2-2003-MontesTDBO: A Decision Support System for Preventing and Correcting Burden Slips, Drops and Hangs in a Blast Furnace (DM, JT, ED, RB, FO), pp. 197–201.
ICEIS-v2-2003-NoorPW #process: A Web-Based Decision Support System for Tendering Processes (NMMN, KNP, BW), pp. 124–131.
ICEIS-v2-2003-RaysonSACCCDOQRSSSW #framework #named: Tracker: A Framework to Support Reducing Rework Through Decision Management (PR, BS, AA, JC, CC, RJC, AJD, VO, AQ, DR, AS, HS, IS, PCW), pp. 344–351.
ICEIS-v2-2003-WangFS #development #enterprise #prototype: The Development of a Prototype of an Enterprise Marketing Decision Support System (XW, JF, FS), pp. 379–386.
ICEIS-v3-2003-AndreouZP #3d #component #development #elicitation #requirements: A Three-Dimensional Requirements Elicitation and Management Decision-Making Scheme for the Development of New Software Components (ASA, ACZ, GAP), pp. 3–13.
ICEIS-v4-2003-StanojevicTV #named: FIDES — A Financial Decision Aid That Can Be Trusted (MS, VT, SV), pp. 103–110.
ICML-2003-FernB #lazy evaluation: Boosting Lazy Decision Trees (XZF, CEB), pp. 178–185.
ICML-2003-LingY #ranking: Decision Tree with Better Ranking (CXL, RJY), pp. 480–487.
ICML-2003-YamadaSYT #data-driven #database #induction #standard: Decision-tree Induction from Time-series Data Based on a Standard-example Split Test (YY, ES, HY, KT), pp. 840–847.
KDD-2003-GamaRM #data type #mining #performance: Accurate decision trees for mining high-speed data streams (JG, RR, PM), pp. 523–528.
KDD-2003-JinA #performance #streaming: Efficient decision tree construction on streaming data (RJ, GA), pp. 571–576.
KDD-2003-TeohM #interactive #named #visualisation: PaintingClass: interactive construction, visualization and exploration of decision trees (STT, KLM), pp. 667–672.
MLDM-2003-ComiteGT #learning #multi: Learning Multi-label Alternating Decision Trees from Texts and Data (FDC, RG, MT), pp. 35–49.
MLDM-2003-Nedelko #empirical #quality: Estimating a Quality of Decision Function by Empirical Risk (VMN), pp. 182–187.
SEKE-2003-AggourP #architecture #named #reuse: ROADS: A Reusable, Optimizable Architecture for Decision Systems (KSA, MP), pp. 297–305.
SEKE-2003-CanforaCPT #approach #case study #implementation: A Tool for Decision Support Implementing OFNWA Approach: A Case Study (GC, LC, RP, LT), pp. 714–720.
SEKE-2003-MenziesKF #automation #re-engineering #reduction #tool support: Improved Software Engineering Decision Support Through Automatic Argument Reduction Tools (TM, JDK, MSF), pp. 655–662.
SEKE-2003-MeshkatFC #traceability: Traceability and Decision Capture in Semi-structured Contexts (LM, MSF, SLC), pp. 647–654.
REFSQ-J-2002-AurumW03 #process #requirements: The fundamental nature of requirements engineering activities as a decision-making process (AA, CW), pp. 945–954.
SAC-2003-GiraldezAS #data type #performance: An Efficient Data Structure for Decision Rules Discovery (RG, JSAR, JCRS), pp. 475–479.
SAC-2003-HarmsDG #information management: Building Knowledge Discovery into a Geo-spatial Decision Support System (SKH, JSD, SG), pp. 445–449.
ICSE-2003-MooreKKA #architecture #design #lessons learnt: Quantifying the Value of Architecture Design Decisions: Lessons from the Field (MM, RK, MK, JA), pp. 557–563.
CADE-2003-Lynch #problem #unification: Schematic Saturation for Decision and Unification Problems (CL), pp. 427–441.
LICS-2003-ChevalierKRT #protocol: An NP Decision Procedure for Protocol Insecurity with XOR (YC, RK, MR, MT), pp. 261–270.
LICS-2003-Comon-LundhS #constraints #deduction #theorem proving: Intruder Deductions, Constraint Solving and Insecurity Decision in Presence of Exclusive or (HCL, VS), p. 271–?.
SIGMOD-2002-PossSKL #benchmark #metric: TPC-DS, taking decision support benchmarking to the next level (MP, BS, LK, PÅL), pp. 582–587.
CIAA-2002-Fatholahzadeh #automaton #implementation: Implementation of Dictionaries via Automata and Decision Trees (AF), pp. 95–105.
DLT-2002-BonizzoniFMZ #linear #problem: Decision Problems for Linear and Circular Splicing Systems (PB, CdF, GM, RZ), pp. 78–92.
ICEIS-2002-Castro-SchezJMR #fuzzy: Simple Decision Support System Based on Fuzzy Repertory Table (JJCS, LJ, JMG, LRB), pp. 424–430.
ICEIS-2002-HerreraM: Group Decision Making Based on the Linguistic 2-Tuple Model in Heterogeneous Contexts (FH, LM), pp. 358–366.
ICEIS-2002-HillbrandK #approach #metamodelling #network #using: Using Artificial Neural Networks to Prove Hypothetic Cause-And-Effect Relations: A Metamodel-Based Approach to Support Strategic Decisions (CH, DK), pp. 367–373.
ICEIS-2002-RuizEGG: A System Based on Preferences for Aid to the Purchase Decision (ILR, ELE, GCG, MÁGN), pp. 1058–1063.
ICEIS-2002-VallsMS #multi: A Multi-Criteria Decision Aid Agent Applied to the Selection of the Best Receiver in a Transplant (AV, AM, DS), pp. 431–438.
ICML-2002-Bonet #algorithm #markov #process: An epsilon-Optimal Grid-Based Algorithm for Partially Observable Markov Decision Processes (BB), pp. 51–58.
ICML-2002-ChisholmT #learning #random: Learning Decision Rules by Randomized Iterative Local Search (MC, PT), pp. 75–82.
ICML-2002-FerriFH #learning #using: Learning Decision Trees Using the Area Under the ROC Curve (CF, PAF, JHO), pp. 139–146.
ICML-2002-TakechiS #induction: Finding an Optimal Gain-Ratio Subset-Split Test for a Set-Valued Attribute in Decision Tree Induction (FT, ES), pp. 618–625.
ICPR-v2-2002-Amin #learning #prototype #using: Prototyping Structural Description Using Decision Tree Learning Techniques (AA), pp. 76–79.
ICPR-v2-2002-ChenC: Speeding up SVM Decision Based on Mirror Points (JHC, CSC), pp. 869–872.
ICPR-v3-2002-HallouliLS #case study #comparative #data fusion #markov #recognition: A Comparative Study between Decision Fusion and Data Fusion in Markovian Printed Character Recognition (KH, LLS, MS), pp. 147–150.
ICPR-v3-2002-SilvestreL #bound #classification #optimisation: Optimization of Neural Classifiers Based on Bayesian Decision Boundaries and Idle Neurons Pruning (MRS, LLL), pp. 387–390.
KDD-2002-Boz #network: Extracting decision trees from trained neural networks (OB), pp. 456–461.
KDD-2002-LiB #algorithm #classification: Instability of decision tree classification algorithms (RHL, GGB), pp. 570–575.
KDD-2002-PednaultAZ #learning: Sequential cost-sensitive decision making with reinforcement learning (EPDP, NA, BZ), pp. 259–268.
KR-2002-DuboisFP #on the: On the Limitations of Ordinal Approaches to Decision-making (DD, HF, PP), pp. 133–146.
KR-2002-HustadtS #benchmark #logic #metric: Scientific Benchmarking with Temporal Logic Decision Procedures (UH, RAS), pp. 533–546.
LSO-2002-Ruhe #learning #paradigm #re-engineering: Software Engineering Decision Support ? A New Paradigm for Learning Software Organizations (GR), pp. 104–113.
SEKE-2002-AlvesF #challenge #off the shelf #perspective #requirements: Challenges in COTS decision-making: a goal-driven requirements engineering perspective (CFA, AF), pp. 789–794.
SEKE-2002-ChartersKTM #component #visualisation: Visualisation for informed decision making; from code to components (SMC, CK, NT, MM), pp. 765–772.
SEKE-2002-ConciP #industrial #realtime: A system for real-time fabric inspection and industrial decision (AC, CBP), pp. 707–714.
SEKE-2002-KarlstromR #programming: Decision support for extreme programming introduction and practice selection (DK, PR), pp. 835–841.
SEKE-2002-PoleseTT #data mining #mining: A data mining based system supporting tactical decisions (GP, MT, GT), pp. 681–684.
SEKE-2002-RaffoHV #framework #hybrid #metric #modelling #process #trade-off #using: Software process decision support: making process tradeoffs using a hybrid metrics, modeling and utility framework (DR, WH, JV), pp. 803–809.
SEKE-2002-RuheEP #requirements: Quantitative WinWin: a new method for decision support in requirements negotiation (GR, AE, DP), pp. 159–166.
SEKE-2002-RusBH #analysis #development #empirical #process #simulation: Systematically combining process simulation and empirical data in support of decision analysis in software development (IR, SB, MH), pp. 827–833.
SIGIR-2002-DziadoszC #question #web: Do thumbnail previews help users make better relevance decisions about web search results? (SD, RC), pp. 365–366.
SAC-2002-DingDP #classification #data type #using: Decision tree classification of spatial data streams using Peano Count Trees (QD, QD, WP), pp. 413–417.
SPLC-2002-KishiNK #framework #product line: A Method for Product Line Scoping Based on a Decision-Making Framework (TK, NN, TK), pp. 348–365.
CADE-2002-FordS #verification: Formal Verification of a Combination Decision Procedure (JF, NS), pp. 347–362.
CADE-2002-PanSV: BDD-Based Decision Procedures for K (GP, US, MYV), pp. 16–30.
RTA-2002-BaaderT: Combining Decision Procedures for Positive Theories Sharing Constructors (FB, CT), pp. 352–366.
SAT-2002-SlaneyW #behaviour #optimisation: Phase Transition Behavior: From Decision to Optimization (JS, TW), p. 4.
VMCAI-2002-FaellaTM #game studies: Automata-Theoretic Decision of Timed Games (MF, SLT, AM), pp. 94–108.
WICSA-2001-Schwanke #architecture: Layers, Decisions, Patterns, Styles, and Architectures (RWS), pp. 137–147.
DATE-2001-LiuWHL #diagrams: Binary decision diagram with minimum expected path length (YYL, KHW, TH, CLL), pp. 708–712.
DATE-2001-RedaS #diagrams #equivalence #satisfiability #using: Combinational equivalence checking using Boolean satisfiability and binary decision diagrams (SR, AS), pp. 122–126.
DATE-2001-ThorntonD #diagrams #graph transformation #using: Spectral decision diagrams using graph transformations (MAT, RD), pp. 713–719.
DATE-2001-UbarJP #diagrams #simulation: Timing simulation of digital circuits with binary decision diagrams (RU, AJ, ZP), pp. 460–466.
ICDAR-2001-KimCKS #generative #recognition #string #using: Recognition of Unconstrained Handwritten Numeral Strings Using Decision Value Generator (KKK, YC, JHK, CYS), pp. 14–17.
ICSM-2001-JonesH #reduction #testing: Test-Suite Reduction and Prioritization for Modified Condition/Decision Coverage (JAJ, MJH), p. 92–?.
DLT-2001-Harju #integer #matrix: Decision Questions on Integer Matrices (TH), pp. 57–68.
ICALP-2001-HarjuIKS #morphism: Decision Questions Concerning Semilinearity, Morphisms, and Commutation of Languages (TH, OHI, JK, AS), pp. 579–590.
SIGAda-2001-EhresmanF: Electronic maneuvering board and dead reckoning tracer decision aid for the officer of the deck (KLE, JLF), pp. 61–70.
ICEIS-v1-2001-Abi-Zeid #named: SARPlan: A Decision Support System for Canadian Search and Rescue Operations (IAZ), pp. 383–390.
ICEIS-v1-2001-Carneiro: A GDSS for Supporting Management Decisions (AC), pp. 505–508.
ICEIS-v1-2001-Eom: Relationships between the Decision Support System Subspecialities and Artificial Intelligence (SBE), pp. 418–424.
ICEIS-v1-2001-Iordanova #architecture: An Agent-Based Architecture of Future Integrated Operational Decision Supporting Systems (BNI), pp. 509–513.
ICEIS-v1-2001-Malhotra: A Decision Support System Model for Subjective Decisions (VMM), pp. 255–261.
ICEIS-v1-2001-OriogunM #assessment #case study #framework #re-engineering #student: Winwin Decision Support Framework: A Case Study on Students’ In-Course Assessment in a Software Engineering Module (PKO, RM), pp. 370–376.
ICEIS-v1-2001-RomanSP: Improvements in the Decision Making in Software Projects (IR, JCRS, JAP), pp. 431–436.
ICEIS-v1-2001-SalemB: Case-Based Decision Support Systems (ABMS, NB), pp. 425–430.
CIKM-2001-SattlerD #classification #database #sql: SQL Database Primitives for Decision Tree Classifiers (KUS, OD), pp. 379–386.
ICML-2001-BlockeelS #algorithm #performance: Efficient algorithms for decision tree cross-validation (HB, JS), pp. 11–18.
ICML-2001-PapagelisK #using: Breeding Decision Trees Using Evolutionary Techniques (AP, DK), pp. 393–400.
ICML-2001-SatoK #learning #markov #problem: Average-Reward Reinforcement Learning for Variance Penalized Markov Decision Problems (MS, SK), pp. 473–480.
ICML-2001-ZadroznyE #classification #naive bayes #probability: Obtaining calibrated probability estimates from decision trees and naive Bayesian classifiers (BZ, CE), pp. 609–616.
ICML-2001-ZinkevichB #learning #markov #multi #process #symmetry: Symmetry in Markov Decision Processes and its Implications for Single Agent and Multiagent Learning (MZ, TRB), p. 632–?.
KDD-2001-ZadroznyE #learning: Learning and making decisions when costs and probabilities are both unknown (BZ, CE), pp. 204–213.
KDD-T-2001-GehrkeL #roadmap: Advances in decision tree construction (JG, WYL), pp. 119–185.
MLDM-2001-FischerB #automation #identification #using: Automatic Identification of Diatoms Using Decision Forests (SF, HB), pp. 173–183.
SEKE-2001-Pfleeger #re-engineering: Decision-Making in Software Engineering (SLP), p. 179.
PADL-2001-NogueiraBGWB #prolog: An A-Prolog Decision Support System for the Space Shuttle (MN, MB, MG, RW, MB), pp. 169–183.
SAC-2001-LarocheBS #composition #markov #process: A new decomposition technique for solving Markov decision processes (PL, YB, RS), pp. 12–16.
SAC-2001-MedeirosSSP #aspect-oriented #collaboration #coordination: Coordination aspects in a spatial group decision support collaborative system (SPJM, JMdS, JCMS, GdRBP), pp. 182–186.
ICSE-2001-CampaillaCCJV #performance #using: Efficient Filtering in Publish-Subscribe Systems Using Binary Decision (AC, SC, EMC, SJ, HV), pp. 443–452.
ICSE-2001-KazmanAK #architecture #cost analysis: Quantifying the Costs and Benefits of Architectural Decisions (RK, JA, MK), pp. 297–306.
LCTES-OM-2001-Theiling #generative: Generating Decision Trees for Decoding Binaries (HT), pp. 112–120.
CSL-2001-ArmandoRR: Uniform Derivation of Decision Procedures by Superposition (AA, SR, MR), pp. 513–527.
CSL-2001-Klaedtke: Decision Procedure for an Extension of WS1S (FK), pp. 384–398.
IJCAR-2001-ArmandoCR: System Description: RDL : Rewrite and Decision Procedure Laboratory (AA, LC, SR), pp. 663–669.
IJCAR-2001-NivelleP #similarity: A Resolution-Based Decision Procedure for the Two-Variable Fragment with Equality (HdN, IPH), pp. 211–225.
IJCAR-2001-Pliuskevicius: Deduction-Based Decision Procedure for a Clausal Miniscoped Fragment of FTL (RP), pp. 107–120.
LICS-2001-StumpBDL #array: A Decision Procedure for an Extensional Theory of Arrays (AS, CWB, DLD, JRL), pp. 29–37.
LICS-2001-SzwastT #on the #problem #transitive: On the Decision Problem for the Guarded Fragment with Transitivity (WS, LT), pp. 147–156.
SAT-2001-Kullmann #on the #satisfiability: On the use of autarkies for satisfiability decision (OK), pp. 231–253.
CBSE-2000-Gómez-PerezL #component: Impact of Software Components Characteristics Above Decision-Making Factors (AGP, AL), p. 10.
DAC-2000-GhoshF #automation #diagrams #functional #generative #using: Automatic test pattern generation for functional RTL circuits using assignment decision diagrams (IG, MF), pp. 43–48.
DAC-2000-PiS #analysis #approach #diagrams #multi: Multi-terminal determinant decision diagrams: a new approach to semi-symbolic analysis of analog integrated circuits (TP, CJRS), pp. 19–22.
DATE-2000-MorawiecUR #algorithm #diagrams #simulation #using: Cycle-Based Simulation Algorithms for Digital Systems Using High-Level Decision Diagrams (AM, RU, JR), p. 743.
VLDB-2000-LuL #classification #scalability: Decision Tables: Scalable Classification Exploring RDBMS Capabilities (HL, HL), pp. 373–384.
STOC-2000-CrescenzoSY #on the #proving: On zero-knowledge proofs (extended abstract): “from membership to decision” (GDC, KS, MY), pp. 255–264.
CHI-2000-EspinosaCRKSL #tool support #why: Coming to the wrong decision quickly: why awareness tools must be matched with appropriate tasks (JAE, JJC, LRG, REK, WLS, GL), pp. 392–399.
CSCW-2000-FarnhamCMKL #interactive #online: Structured online interactions: improving the decision-making of small discussion groups (SF, HRC, DEM, RK, JL), pp. 299–308.
ICEIS-2000-Belo #monitoring #process #realtime: Monitoring Production Plants Activities in Real Time as a Way to Gather Decision Support Information in Advance (OB), pp. 27–31.
ICEIS-2000-Carneiro: A Group Decision Support System for Strategic Alternatives Selection (AC), pp. 38–43.
ICEIS-2000-FlynnLSC: Decision Support Systems within Telecommunications (PF, TL, TS, KC), pp. 127–131.
ICEIS-2000-GoncalvesA #database #quote: “Decision Can”: A Database of Decision Cases (NMVPG, PA), pp. 139–143.
ICEIS-2000-GunterBS #industrial: Supporting Distrubted Decision Making in the Manegement of Bids for Tender for the It Industry (KG, PB, HS), pp. 287–293.
ICEIS-2000-OquendoPR #enterprise #modelling #process: Addressing Decision Making Issues in Enterprise Process Modelling (FO, KNP, IR), pp. 333–338.
ICEIS-2000-RavatT #object-oriented: Object-Oriented Decision Support System (FR, OT), pp. 79–84.
CIKM-2000-LiuXY #clustering: Clustering Through Decision Tree Construction (BL, YX, PSY), pp. 20–29.
CIKM-2000-Thomsen #industrial #research: A relevant research agenda for the decision support industry (ET), p. 1.
ICML-2000-DrummondH: Exploiting the Cost (In)sensitivity of Decision Tree Splitting Criteria (CD, RCH), pp. 239–246.
ICML-2000-NikovskiN #learning #mobile #modelling #navigation #probability: Learning Probabilistic Models for Decision-Theoretic Navigation of Mobile Robots (DN, IRN), pp. 671–678.
ICML-2000-Reynolds #adaptation #bound #clustering #learning: Adaptive Resolution Model-Free Reinforcement Learning: Decision Boundary Partitioning (SIR), pp. 783–790.
ICML-2000-SridharanT #automation #multi: Multi-agent Q-learning and Regression Trees for Automated Pricing Decisions (MS, GT), pp. 927–934.
ICPR-v2-2000-LingC #bound #feature model #performance: Fast and Efficient Feature Extraction Based on Bayesian Decision Boundaries (LLL, HMC), pp. 2390–2393.
ICPR-v2-2000-SaranliD: A Unified View of Rank-Based Decision Combination (AS, MD), pp. 2479–2482.
ICPR-v3-2000-DemireklerKC #using: Fusing Length and Voicing Information, and HMM Decision Using a Bayesian Causal Tree against Insufficient Training Data (MD, FK, TÇ), pp. 3106–3109.
KDD-2000-GarofalakisHRS #algorithm #constraints #performance: Efficient algorithms for constructing decision trees with constraints (MNG, DH, RR, KS), pp. 335–339.
KDD-2000-Goodnight: Decision support in the booming e-world (invited talk, abstract only) (JG), p. 5.
KDD-2000-WangZH: Growing decision trees on support-less association rules (KW, SZ, YH), pp. 265–269.
KR-2000-FargierLM #logic: Propositional Logic and One-Stage Decision Making (HF, JL, PM), pp. 445–456.
KR-2000-LafageL #logic #representation: Logical representation of preferences for group decision making (CL, JL), pp. 457–468.
SAC-2000-LoiaSTS #approach #design #hybrid: An Evolutionary Hybrid Approach to the Design of a Decision Support System (VL, AS, RT, SS), pp. 524–528.
HPCA-2000-UysalAS #database #evaluation: Evaluation of Active Disks for Decision Support Databases (MU, AA, JHS), pp. 337–348.
CADE-2000-BarrettDS #framework: A Framework for Cooperating Decision Procedures (CWB, DLD, AS), pp. 79–98.
CADE-2000-GiunchigliaT #development #framework: System Description: *SAT: A Platform for the Development of Modal Decision Procedures (EG, AT), pp. 291–296.
CADE-2000-KapurS #induction: Extending Decision Procedures with Induction Schemes (DK, MS), pp. 324–345.
CADE-2000-SchmidtH #logic: A Resolution Decision Procedure for Fluted Logic (RAS, UH), pp. 433–448.
CAV-2000-AyariBK #automaton #induction: Decision Procedures for Inductive Boolean Functions Based on Alternating Automata (AA, DAB, FK), pp. 170–185.
CAV-2000-WilliamsBCG #diagrams #model checking #performance #satisfiability: Combining Decision Diagrams and SAT Procedures for Efficient Symbolic Model Checking (PFW, AB, EMC, AG), pp. 124–138.
CL-2000-Dierkes: An Application of Model Building in a Resolution Decision Procedure for Guarded Formulas (MD), pp. 583–597.
CL-2000-HolldoblerS #calculus #diagrams #problem #using: Solving the Entailment Problem in the Fluent Calculus Using Binary Decision Diagrams (SH, HPS), pp. 747–761.
CL-2000-Poole #information management #logic #representation: Logic, Knowledge Representation, and Bayesian Decision Theory (DP), pp. 70–86.
LICS-2000-KorovinV #algebra: A Decision Procedure for the Existential Theory of Term Algebras with the Knuth-Bendix Ordering (KK, AV), pp. 291–302.
LICS-2000-RybinaV #algebra: A Decision Procedure for Term Algebras with Queues (TR, AV), pp. 279–290.
DAC-1999-QiuP #markov #power management #process: Dynamic Power Management Based on Continuous-Time Markov Decision Processes (QQ, MP), pp. 555–561.
DAC-1999-QuWP #problem: Optimization-Intensive Watermarking Techniques for Decision Problems (GQ, JLW, MP), pp. 33–36.
DATE-1999-RaikU #diagrams #generative #modelling #testing #using: Sequential Circuit Test Generation Using Decision Diagram Models (JR, RU), pp. 736–740.
DATE-1999-TanS #diagrams #scalability #using: Interpretable Symbolic Small-Signal Characterization of Large Analog Circuits using Determinant Decision Diagrams (XDT, CJRS), pp. 448–453.
DATE-1999-ThorntonWDD #diagrams #order #using: Variable Reordering for Shared Binary Decision Diagrams Using Output Probabilities (MAT, JPW, RD, ND), pp. 758–759.
DATE-1999-UbarRM #diagrams #simulation: Cycle-based Simulation with Decision Diagrams (RU, JR, AM), pp. 454–458.
SIGMOD-1999-GehrkeGRL: BOAT-Optimistic Decision Tree Construction (JG, VG, RR, WYL), pp. 169–180.
VLDB-1999-AcharyaGP #approximate #named #performance #query #using: Aqua: A Fast Decision Support Systems Using Approximate Query Answers (SA, PBG, VP), pp. 754–757.
VLDB-1999-RaoR #in memory #memory management: Cache Conscious Indexing for Decision-Support in Main Memory (JR, KAR), pp. 78–89.
SAS-1999-Mauborgne #graph: Binary Decision Graphs (LM), pp. 101–116.
FM-v1-1999-Jones: Scientific Decisions which Characterize VDM (CBJ), pp. 28–47.
HCI-CCAD-1999-KoisoFN #coordination #interface #visual notation: Proposal of visual interfaces to coordinate decision making in hierarchical structures and their application to fire systems (TK, TF, SN), pp. 367–371.
HCI-CCAD-1999-LiangL #matrix #metric #process #representation: Information representation and decision process: effects of measurement scale and shape of decision matrix on preferential choice (SFML, MRL), pp. 62–65.
HCI-EI-1999-Matsuda #algorithm #ambiguity #search-based: Genetic Algorithm (GA) as a Means of Ambiguous Decision Support by AHP (NM), pp. 764–768.
ICEIS-1999-Athans #distributed #problem: A Class of Distributed Decision Problems (MA), p. III.
ICEIS-1999-Bestougeff #enterprise #modelling: Modeling Enterprise Organizational and Decision Structures (HB), p. 782.
ICEIS-1999-Carneiro #effectiveness #how #question: How Decision Support Systems Influence Management Decision Effectiveness? (AC), pp. 51–58.
ICEIS-1999-FerreiraMS #interactive #visualisation: Supporting Decisions Concerning Location-Routing of Obnoxious Facilities: An Application Example of Visualization and Interaction Techniques (CF, ABdM, BSS), pp. 74–81.
ICEIS-1999-LavazzaS #information management #modelling #named: DAMAS: An Integrated Business Modelling Information System to Support Management Enterprose Decisions (LL, HS), pp. 256–263.
ICEIS-1999-Ramos #scalability: Scalable Intelligence Decision Support Systems (CR), pp. 280–284.
ICEIS-1999-ToffolonD #framework #process #re-engineering: The Decision Process in Software Engineering-A Framework Based on the Call Options Theory (CT, SD), p. 778.
CIKM-1999-LiY #classification #probability #using: Text Classification Using ESC-based Stochastic Decision Lists (HL, KY), pp. 122–130.
ICML-1999-FreundM #algorithm #learning: The Alternating Decision Tree Learning Algorithm (YF, LM), pp. 124–133.
ICML-1999-WangM #markov #optimisation #process: Hierarchical Optimization of Policy-Coupled Semi-Markov Decision Processes (GW, SM), pp. 464–473.
ICML-1999-ZhengWT #lazy evaluation #learning #naive bayes: Lazy Bayesian Rules: A Lazy Semi-Naive Bayesian Learning Technique Competitive to Boosting Decision Trees (ZZ, GIW, KMT), pp. 493–502.
KDD-1999-AnkerstEEK #approach #classification #interactive #visual notation: Visual Classification: An Interactive Approach to Decision Tree Construction (MA, CE, ME, HPK), pp. 392–396.
KDD-1999-BrijsSVW #case study #using: Using Association Rules for Product Assortment Decisions: A Case Study (TB, GS, KV, GW), pp. 254–260.
MLDM-1999-JacobsenZP #comparison #network: A Comparison between Neural Networks and Decision Trees (CJ, UZ, PP), pp. 144–158.
CADE-1999-Gradel #logic: Invited Talk: Decision procedures for guarded logics (EG), pp. 31–51.
CADE-1999-JanicicBG #flexibility #framework #integration #proving #theorem proving: A Framework for the Flexible Integration of a Class of Decision Procedures into Theorem Provers (PJ, AB, IG), pp. 127–141.
CAV-1999-BloemRS #linear #logic #model checking #performance: Efficient Decision Procedures for Model Checking of Linear Time Logic Properties (RB, KR, FS), pp. 222–235.
CSL-1999-MollerLAH #diagrams #difference: Difference Decision Diagrams (JBM, JL, HRA, HH), pp. 111–125.
IWTCS-1999-Toro #multi #testing: Decision on Tester Configuration for Multiparty Testing (MT), pp. 109–130.
LICS-1999-Friedman #complexity #problem: Some Decision Problems of Enormous Complexity (HF), pp. 2–12.
LICS-1999-GanzingerN #similarity: A Superposition Decision Procedure for the Guarded Fragment with Equality (HG, HdN), pp. 295–303.
ASE-1998-MillerM: ASSISTing Exit Decisions in Software Inspection (JM, FM), pp. 281–284.
DAC-1998-BarrettDL: A Decision Procedure for Bit-Vector Arithmetic (CWB, DLD, JRL), pp. 522–527.
DAC-1998-RaviMSS #approximate #composition #diagrams: Approximation and Decomposition of Binary Decision Diagrams (KR, KLM, TRS, FS), pp. 445–450.
DATE-1998-HorethD #diagrams: Dynamic Minimization of Word-Level Decision Diagrams (SH, RD), pp. 612–617.
SIGMOD-1998-SubramanianV #cost analysis #optimisation #query #using: Cost-Based Optimization of Decision Support Queries Using Transient Views (SNS, SV), pp. 319–330.
VLDB-1998-GehrkeRG #dataset #framework #named #performance #scalability: RainForest — A Framework for Fast Decision Tree Construction of Large Datasets (JG, RR, VG), pp. 416–427.
VLDB-1998-RastogiS #classification #named: PUBLIC: A Decision Tree Classifier that Integrates Building and Pruning (RR, KS), pp. 404–415.
STOC-1998-Kleinberg #algorithm #problem: Decision Algorithms for Unsplittable Flow and the Half-Disjoint Paths Problem (JMK), pp. 530–539.
WIA-1998-MichonC #automaton #diagrams: Automata and Binary Decision Diagrams (JFM, JMC), pp. 178–182.
CIKM-1998-ClairLP #process: Attribute Weighting: A Method of Applying Domain Knowledge in the Decision Tree Process (CSC, CL, NP), pp. 259–266.
CIKM-1998-NagD #memory management #query: Memory Allocation Strategies for Complex Decision Support Queries (BN, DJD), pp. 116–123.
ICML-1998-BonetG #learning #sorting: Learning Sorting and Decision Trees with POMDPs (BB, HG), pp. 73–81.
ICML-1998-FrankW98a #mutation testing #permutation #using: Using a Permutation Test for Attribute Selection in Decision Trees (EF, IHW), pp. 152–160.
ICML-1998-KearnsM #algorithm #bottom-up #performance: A Fast, Bottom-Up Decision Tree Pruning Algorithm with Near-Optimal Generalization (MJK, YM), pp. 269–277.
ICML-1998-LochS #markov #policy #process #using: Using Eligibility Traces to Find the Best Memoryless Policy in Partially Observable Markov Decision Processes (JL, SPS), pp. 323–331.
ICML-1998-NockJ #on the #power of: On the Power of Decision Lists (RN, PJ), pp. 413–420.
ICPR-1998-BhattacharyaK #nearest neighbour #set: Reference set thinning for the k-nearest neighbor decision rule (BKB, DK), pp. 238–242.
ICPR-1998-Ho: C4.5 decision forests (TKH), pp. 545–549.
ICPR-1998-MorishimaIT #2d #image #parametricity: Facial muscle parameter decision from 2D frontal image (SM, TI, DT), pp. 160–162.
ICPR-1998-SanchezPF #approach #induction: A Voronoi-diagram-based approach to oblique decision tree induction (JSS, FP, FJF), pp. 542–544.
KDD-1998-AlsabtiRS #classification #dataset #named #scalability: CLOUDS: A Decision Tree Classifier for Large Datasets (KA, SR, VS), pp. 2–8.
KDD-1998-KohaviS #classification: Targeting Business Users with Decision Table Classifiers (RK, DS), pp. 249–253.
KR-1998-DuboisGPZ: Making Decision in a Qualitative Setting: from Decision under Uncertaintly to Case-based Decision (DD, LG, HP, AZ), pp. 594–607.
KR-1998-GiunchigliaGST #evaluation #logic: More Evaluation of Decision Procedures for Modal Logics (EG, FG, RS, AT), pp. 626–635.
TOOLS-ASIA-1998-WangH #data mining #implementation #mining #research: The Research and Implementation of Data Warehouse and Data Mining in Decision Support System (BW, JH), pp. 362–371.
LOPSTR-1998-BaalenR #deduction #synthesis #using: Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis Systems (JVB, SR), pp. 61–70.
FSE-1998-MasudaSU #design pattern #learning: Applying Design Patterns to Decision Tree Learning System (GM, NS, KU), pp. 111–120.
CADE-1998-Nivelle: A Resolution Decision Procedure for the Guarded Fragment (HdN), pp. 191–204.
CAV-1998-ColonU #abstraction #finite #generative #using: Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures (MC, TEU), pp. 293–304.
CAV-1998-XuCSCM #first-order #graph #logic #model checking #multi #using: Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs (YX, EC, XS, FC, OAM), pp. 219–231.
LICS-1998-ComonNNR #order #problem: Decision Problems in Ordered Rewriting (HC, PN, RN, MR), pp. 276–286.
DAC-1997-MeinelST #diagrams #linear: Linear Sifting of Decision Diagrams (CM, FS, TT), pp. 202–207.
ICDAR-1997-RahmanF #case study #multi #recognition #using: Introducing New Multiple Expert Decision Combination Topologies: A Case Study using Recognition of Handwritten Characters (AFRR, MCF), p. 886–?.
SIGMOD-1997-ChaudhuriD #tutorial: Data Warehousing and OLAP for Decision Support (Tutorial) (SC, UD), pp. 507–508.
STOC-1997-HerlihyR #decidability #distributed: The Decidability of Distributed Decision Tasks (Extended Abstract) (MH, SR), pp. 589–598.
DLT-1997-Moshkov #complexity #nondeterminism #recognition #regular expression #word: Complexity of Deterministic and Nondeterministic Decision Trees for Regular Language Word Recognition (MM), pp. 343–349.
HCI-CC-1997-MatejaP #process: Decision Process of the Current Ergonomic Renewal of Production Systems (BEM, LMP), pp. 667–670.
HCI-CC-1997-RogalinskiT #development: Ergonomic Decision Optimalization in Production System Development (KLR, SRT), pp. 671–674.
HCI-SEC-1997-ChenH #scheduling: A Decision Support System for Production Scheduling and Control (MBC, SLH), pp. 15–18.
HCI-SEC-1997-Chiu #effectiveness #modelling #problem: Modeling the User’s Problem-Solving Expertise for Effective Decision Support (CC), pp. 99–102.
HCI-SEC-1997-Kazemian #flexibility #network: Networking and Urban Forms in the Electronic Age-Towards Flexible Location Decisions in Stockholm (RK), pp. 605–608.
HCI-SEC-1997-MatsudaN #interactive: Interactive Support for Decision Making (NM, KN), pp. 479–482.
HCI-SEC-1997-NakamuraTK #interactive #modelling #scheduling: The Human Scheduler’s Mental Models and Decision Aids of the Interactive Scheduling System (NN, JT, TK), pp. 87–90.
HCI-SEC-1997-TabeCT #development: Project Development Staff-Decision-Support System for Software Development (TT, TC, YT), pp. 577–580.
HCI-SEC-1997-ZhuL #hypermedia #information retrieval: Decision Support for Indexing and Information Retrieval: Implications for Hypertext Systems (WZ, MRL), pp. 747–750.
CIKM-1997-ObermeyerM #using: Evaluating Triggers Using Decision Trees (LO, DPM), pp. 144–150.
ICML-1997-Decatur #classification #induction #learning: PAC Learning with Constant-Partition Classification Noise and Applications to Decision Tree Induction (SED), pp. 83–91.
ICML-1997-KohaviK: Option Decision Trees with Majority Votes (RK, CK), pp. 161–169.
ICML-1997-Mansour: Pessimistic decision tree pruning based Continuous-time (YM), pp. 202–210.
ICML-1997-OatesJ #complexity #set: The Effects of Training Set Size on Decision Tree Complexity (TO, DJ), pp. 254–262.
ICML-1997-VilaltaR #classification #induction #multi: Integrating Feature Construction with Multiple Classifiers in Decision Tree Induction (RV, LAR), pp. 394–402.
KDD-1997-JensenS #multi: Adjusting for Multiple Comparisons in Decision Tree Pruning (DJ, MDS), pp. 195–198.
KDD-1997-RaoP #visualisation: Visualizing Bagged Decision Trees (JSR, WJEP), pp. 243–246.
RE-1997-RoscaFW #lifecycle: Decision Making Methodology in Support of the Business Rules Lifecycle (DR, MF, CW), pp. 236–246.
SAC-1997-HashemiCTSP #approximate #multi: A diagnostic system based on a multi-decision approximate rules model (RRH, FFC, JRT, WS, MGP), pp. 20–24.
CADE-1997-BaaderT #approach #problem #word: A New Approach for Combining Decision Procedure for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method (FB, CT), pp. 19–33.
CADE-1997-BjornerSU #first-order #integration #reasoning: A Practical Integration of First-Order Reasoning and Decision Procedures (NB, MES, TEU), pp. 101–115.
CADE-1997-GiunchigliaRS #logic #testing: A New Method for Testing Decision Procedures in Modal Logics (FG, MR, RS), pp. 264–267.
CAV-1997-CyrlukMR #formal method #performance: An Efficient Decision Procedure for the Theory of Fixed-Sized Bit-Vectors (DC, MOM, HR), pp. 60–71.
DAC-1996-HansenS #diagrams #synthesis #using: Synthesis by Spectral Translation Using Boolean Decision Diagrams (JPH, MS), pp. 248–253.
DAC-1996-LiG #optimisation #using: HDL Optimization Using Timed Decision Tables (JL, RKG), pp. 51–54.
SIGMOD-1996-RaoBG #query: Providing Better Support for a Class of Decision Support Queries (SR, AB, DVG), pp. 217–227.
VLDB-1996-FukudaMMT #performance #using: Constructing Efficient Decision Trees by Using Optimized Numeric Association Rules (TF, YM, SM, TT), pp. 146–155.
ICSM-1996-WallaceCW #case study #distributed #framework #legacy #migration: Discovering a system modernization decision framework: a case study in migrating to distributed object technology (EW, PCC, KCW), p. 185–?.
STOC-1996-EvansP #bound: Lower Bounds for Noisy Boolean Decision Trees (WSE, NP), pp. 620–628.
STOC-1996-GrigorievKHS #algebra #bound #random: A Lower Bound for Randomized Algebraic Decision Trees (DG, MK, FMadH, RS), pp. 612–619.
STOC-1996-KearnsM #algorithm #learning #on the #top-down: On the Boosting Ability of Top-Down Decision Tree Learning Algorithms (MJK, YM), pp. 459–468.
CHI-1996-Gonzalez #animation #question #user interface: Does Animation in User Interfaces Improve Decision Making? (CG), pp. 27–34.
ICML-1996-Burges: Simplified Support Vector Decision Rules (CJCB), pp. 71–77.
ICML-1996-GeibelW #concept #learning #relational: Learning Relational Concepts with Decision Trees (PG, FW), pp. 166–174.
ICML-1996-IttnerS: Non-Linear Decision Trees — NDT (AI, MS), pp. 252–257.
ICML-1996-Kubat: Second Tier for Decision Trees (MK), pp. 293–301.
ICML-1996-Ting #predict: The Characterisation of Predictive Accuracy and Decision Combination (KMT), pp. 498–506.
ICPR-1996-ChaiZZS #algorithm #linear #search-based: Binary linear decision tree with genetic algorithm (BBC, XZ, YZ, JS), pp. 530–534.
ICPR-1996-DarrellP #gesture #markov #process #recognition #using: Active gesture recognition using partially observable Markov decision processes (TD, AP), pp. 984–988.
ICPR-1996-Draper #markov #modelling #process #recognition: Modeling object recognition as a Markov decision process (BAD), pp. 95–99.
ICPR-1996-ValevR #recognition: Construction of Boolean decision rules for ECG recognition by non-reducible descriptors (VV, PR), pp. 111–115.
KDD-1996-CherkauerS #information management: Growing Simpler Decision Trees to Facilitate Knowledge Discovery (KJC, JWS), pp. 315–318.
KDD-1996-FultonKSW #data mining #induction #interactive #mining #towards: Local Induction of Decision Trees: Towards Interactive Data Mining (TF, SK, SS, DLW), pp. 14–19.
KDD-1996-IttnerS #generative: Discovery of Relevant New Features by Generating Non-Linear Decision Trees (AI, MS), pp. 108–113.
KDD-1996-Kohavi #classification #hybrid #scalability: Scaling Up the Accuracy of Naive-Bayes Classifiers: A Decision-Tree Hybrid (RK), pp. 202–207.
KDD-1996-Rymon: SE-Trees Outperform Decision Trees in Noisy Domains (RR), pp. 331–334.
KR-1996-BacchusG #independence: Utility Independence in a Qualitative Decision Theory (FB, AJG), pp. 542–552.
KR-1996-GiunchigliaS #satisfiability: A SAT-based Decision Procedure for ALC (FG, RS), pp. 304–314.
SEKE-1996-AgyapongB #case study #elicitation: Eliciting Domain Knowledge for Decision Support: A Case Study in the Criminal Justice System (OAA, POB), pp. 129–135.
SEKE-1996-RoscaW #approach: Business Rules in the Real World: A Decision Support Approach (DR, JCW), pp. 121–128.
SAC-1996-NascimentoD #database #transaction: Indexing a transaction-decision time database (MAN, MHD), pp. 166–172.
FSE-1996-DamonJJ #diagrams #relational #specification: Checking Relational Specifications With Binary Decision Diagrams (CD, DJ, SJ), pp. 70–80.
CADE-1996-CyrlukLS #on the: On Shostak’s Decision Procedure for Combinations of Theories (DC, PL, NS), pp. 463–477.
CADE-1996-GiunchigliaS #case study #logic: Building Decision Procedures for Modal Logics from Propositional Decision Procedure — The Case Study of Modal K (FG, RS), pp. 583–597.
LICS-1996-MatiyasevichS #problem: Decision Problems for Semi-Thue Systems with a Few Rules (YM, GS), pp. 523–531.
KBSE-1995-Bose #collaboration #framework #maintenance: A Model for Decision Maintenance in the WinWin Collaboration Framework (PKB), pp. 105–113.
KBSE-1995-RoscaGWRMF #lifecycle: Application of a Decision Support Mechanism to the Business Rules Lifecycle (DR, SJG, JCW, HBR, KM, MF), pp. 114–121.
ICDAR-v1-1995-Ho #random: Random decision forests (TKH), pp. 278–282.
SIGMOD-1995-Bampahl #requirements: Real World Requirements for Decision Support — Implications for RDBMS (SKB), p. 448.
DLT-1995-Galvez #lr #parsing #stack: A Practical Small LR Parser with Action Decision Through Minimal Stack Suffix Scanning (JFG), pp. 460–465.
DLT-1995-Stiebe: Some New Decision Results for Edge Grammars (RS), pp. 329–338.
ICML-1995-AlmuallimAK #learning #on the: On Handling Tree-Structured Attributed in Decision Tree Learning (HA, YA, SK), pp. 12–20.
ICML-1995-AuerHM #theory and practice: Theory and Applications of Agnostic PAC-Learning with Small Decision Trees (PA, RCH, WM), pp. 21–29.
ICML-1995-FultonKS #algorithm #multi #performance: Efficient Algorithms for Finding Multi-way Splits for Decision Trees (TF, SK, SS), pp. 244–251.
ICML-1995-KrishnanLV #learning: Learning to Make Rent-to-Buy Decisions with Systems Applications (PK, PML, JSV), pp. 233–330.
ICML-1995-NockG #learning #on the: On Learning Decision Committees (RN, OG), pp. 413–420.
ICML-1995-OliveiraS #graph #order: Inferring Reduced Ordered Decision Graphs of Minimum Description Length (ALO, ALSV), pp. 421–429.
ICML-1995-OliverH #on the: On Pruning and Averaging Decision Trees (JJO, DJH), pp. 430–437.
ICML-1995-SmythGF #classification #estimation #kernel #using: Retrofitting Decision Tree Classifiers Using Kernel Density Estimation (PS, AGG, UMF), pp. 506–514.
KDD-1995-John #database #robust: Robust Decision Trees: Removing Outliers from Databases (GHJ), pp. 174–179.
KDD-1995-MehtaRA: MDL-Based Decision Tree Pruning (MM, JR, RA), pp. 216–221.
KDD-1995-MurthyS #effectiveness #heuristic #how #induction #question: Decision Tree Induction: How Effective is the Greedy Heuristic? (SKM, SS), pp. 222–227.
PLILP-1995-Moor #process: A Generic Program for Sequential Decision Processes (OdM), pp. 1–23.
SAC-1995-FedrizziFPZ: A dynamical model for reaching consensus in group decision making (MF, MF, RAMP, AZ), pp. 493–496.
SAC-1995-Goonatilake #hybrid: Intelligent hybrid systems for financial decision making (SG), pp. 471–476.
SAC-1995-MurrayB: A decision support system for academic advising (WSM, LALB), pp. 22–26.
ICLP-1995-Brand #algorithm #graph: A Decision Graph Algorithm for CCP Languages (PB), pp. 433–447.
LICS-1995-LincolnSS #higher-order #linear #logic #problem: Decision Problems for Second-Order Linear Logic (PL, AS, NS), pp. 476–485.
DAC-1994-DrechslerSTBP #diagrams #functional #order #performance #representation: Efficient Representation and Manipulation of Switching Functions Based on Ordered Kronecker Functional Decision Diagrams (RD, AS, MT, BB, MAP), pp. 415–419.
EDAC-1994-BeckerD #diagrams #functional #testing: Testability of Circuits Derived from Functional Decision Diagrams (BB, RD), p. 667.
KBSE-1994-WildR #evolution #reuse #specification #using: Evolution and Reuse of Formal Specification Using Decision Structures (JCW, DR), pp. 108–115.
SIGMOD-1994-Ballinger #evolution #parallel: Evolving Teradata Decision Support for Massively Parallel Processing with UNIX (CB), p. 490.
SIGMOD-1994-Englert #scalability #sql: NonStop SQL: Scalability and Availability for Decision Support (SE), p. 491.
STOC-1994-GrigorievKV #algebra #bound #testing: Lower bounds on testing membership to a polyhedron by algebraic decision trees (DG, MK, NV), pp. 635–644.
STOC-1994-Yao #complexity: Decision tree complexity and Betti numbers (ACCY), pp. 615–624.
LFP-1994-DeanC #towards #using: Towards Better Inlining Decisions Using Inlining Trials (JD, CC), pp. 273–282.
AdaEurope-1994-Noseck #analysis #reuse: Cost-Benefit Analysis for Software-Reuse — A Decision Procedure (HN), pp. 397–405.
CIKM-1994-HuC #approach #database #relational #set: Discovery of Decision Rules in Relational Databases: A Rough Set Approach (XH, NC), pp. 392–400.
ICML-1994-Elomaa #learning: In Defense of C4.5: Notes Learning One-Level Decision Trees (TE), pp. 62–69.
ICML-1994-Jordan #approach #modelling #statistics: A Statistical Approach to Decision Tree Modeling (MIJ), pp. 363–370.
ICML-1994-SinghJJ #learning #markov #process: Learning Without State-Estimation in Partially Observable Markovian Decision Processes (SPS, TSJ, MIJ), pp. 284–292.
ICML-1994-Utgoff #algorithm #incremental #induction: An Improved Algorithm for Incremental Induction of Decision Trees (PEU), pp. 318–325.
ICML-1994-WeissI: Small Sample Decision tree Pruning (SMW, NI), pp. 335–342.
KDD-1994-ImamM #bibliography: From Facts to Rules to Decisions: An Overview of the FRD-1 System (IFI, RSM), pp. 229–236.
KR-1994-Boutilier #logic #towards: Toward a Logic for Qualitative Decision Theory (CB), pp. 75–86.
KR-1994-KoenigS #graph #probability: Risk-Sensitive Planning with Probabilistic Decision Graphs (SK, RGS), pp. 363–373.
KR-1994-Niemela #reasoning: A Decision Method for Nonmomotonic Reasoning Based on Autoepistemic Reasoning (IN), pp. 473–484.
SEKE-1994-VanthienenW #database #relational: Managing decision table knowledge in a relational database environment (JV, GW), pp. 352–357.
SIGIR-1994-Yang #categorisation #effectiveness #learning #network #performance #retrieval: Expert Network: Effective and Efficient Learning from Human Decisions in Text Categorization and Retrieval (YY), pp. 13–22.
ICDAR-1993-HullL #database #documentation #graph #recognition #word: Interpreting word recognition decisions with a document database graph (JJH, YL), pp. 488–492.
STOC-1993-Fleischer: Decision trees: old and new results (RF), pp. 468–477.
HCI-ACS-1993-Chung #using: Decision Maker’s Knowledge Level and the Selection of Decision Strategies in Using a Decision Support System (HMMC), pp. 487–491.
HCI-ACS-1993-LewisS #modelling #multi: Modeling Multispecialist Decision Making (ML, KPS), pp. 481–486.
HCI-ACS-1993-MacGregor #design #maintenance #reliability: Workstation Designs for Reliability Centered Maintenance Decision Support (DGM), pp. 80–85.
HCI-ACS-1993-OBrienFM #automation #monitoring: The Effect of Automated Intelligent Advisors on Human Decision Making in Monitoring Complex Mechanical Systems (KO, EMF, FM), pp. 185–190.
HCI-ACS-1993-Stahre #named: Humanufacturing — Operator Decision Suport in a CIM Environment (JS), pp. 2–7.
HCI-ACS-1993-VendaH #analysis #complexity: Qualitative and Quantitative Analysis of Human Decision-Making Complexity (VFV, HWH), pp. 636–641.
ICML-1993-Cardie #learning #using: Using Decision Trees to Improve Case-Based Learning (CC), pp. 25–32.
ICML-1993-MusickCR #database #induction #scalability: Decision Theoretic Subsampling for Induction on Large Databases (RM, JC, SJR), pp. 212–219.
ICML-1993-ORorkeFE: Explaining and Generalizing Diagnostic Decisions (PO, YEF, ME), pp. 228–235.
SAC-1993-ThakoreC: Effect of the χ² Test on Construction of ID3 Decision Trees (MT, DCSC), pp. 1–8.
CAV-1993-KestenMMP #algorithm #logic: A Decision Algorithm for Full Propositional Temporal Logic (YK, ZM, HM, AP), pp. 97–109.
RTA-1993-BaaderS #problem: Combination Techniques and Decision Problems for Disunification (FB, KUS), pp. 301–315.
DAC-1992-BeggsSCE #automation #design: Automated Design Decision Support System (RB, JS, CC, JE), pp. 506–511.
DAC-1992-LaiS #diagrams #multi #verification: Edge-Valued Binary Decision Diagrams for Multi-Level Hierarchical Verification (YTL, SS), pp. 608–613.
DAC-1992-PixleyJH #diagrams #sequence: Exact Calculation of Synchronization Sequences Based on Binary Decision Diagrams (CP, SWJ, GDH), pp. 620–623.
STOC-1992-BjornerLY #bound #linear: Linear Decision Trees: Volume Estimates and Topological Bounds (AB, LL, ACCY), pp. 170–177.
CSCW-1992-BolandMTST #distributed: Sharing Perspectives in Distributed Decision Making (RJBJ, AM, DT, DGS, RVT), pp. 306–313.
KR-1992-HaddawyH: Representations for Decision-Theoretic Planning: Utility Functions for Deadline Goals (PH, SH), pp. 71–82.
ML-1992-IbaL #induction: Induction of One-Level Decision Trees (WI, PL), pp. 233–240.
ML-1992-Merckt #concept #flexibility #named: NFDT: A System that Learns Flexible Concepts Based on Decision Trees for Numerical Attributes (TVdM), pp. 322–331.
CADE-1992-BaaderS #equation #unification: Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures (FB, KUS), pp. 50–65.
JICSLP-1992-DebrayKP: Weighted Decision Trees (SKD, SK, MP), pp. 654–668.
DAC-1991-ButlerRKM #diagrams #heuristic #order #performance: Heuristics to Compute Variable Orderings for Efficient Manipulation of Ordered Binary Decision Diagrams (KMB, DER, RK, MRM), pp. 417–420.
STOC-1991-KushilevitzM #fourier #learning #using: Learning Decision Trees Using the Fourier Sprectrum (Extended Abstract) (EK, YM), pp. 455–464.
ICALP-1991-GrogerT #linear #on the: On Linear Decision Trees Computing Boolean Functions (HDG, GT), pp. 707–718.
KDD-1991-ChenM #estimation #summary #using: Summary Data Estimation Using Decision Trees (MCC, LM), pp. 309–324.
KDD-1991-ManagoK #induction: Induction of Decision Trees from Complex Structured Data (MM, YK), pp. 289–308.
ML-1991-Brand #learning: Decision-Theoretic Learning in an Action System (MB), pp. 283–287.
ML-1991-TchengLLR #adaptation #interactive #modelling #named: AIMS: An Adaptive Interactive Modeling System for Supporting Engineering Decision Making (DKT, BLL, SCYL, LAR), pp. 645–649.
ML-1991-WatanabeR: Feature Construction in Structural Decision Trees (LW, LAR), pp. 218–222.
ML-1991-WatanabeY #3d #induction: Decision Tree Induction of 3-D Manufacturing Features (LW, SY), pp. 650–654.
PPoPP-1991-BalasundaramFKK #clustering #performance: A Static Performance Estimator to Guide Data Partitioning Decisions (VB, GF, KK, UK), pp. 213–223.
CSL-1991-ChirimarL: Provability in TBLL: A Decision Procedure (JC, JL), pp. 53–67.
DAC-1990-IshiuraDY #diagrams #simulation #using: Coded Time-Symbolic Simulation Using Shared Binary Decision Diagram (NI, YD, SY), pp. 130–135.
DAC-1990-MinatoIY #diagrams #performance: Shared Binary Decision Diagram with Attributed Edges for Efficient Boolean function Manipulation (SiM, NI, SY), pp. 52–57.
DAC-1990-SatoYMF #diagrams: Boolean Resubstitution with Permissible Functions and Binary Decision Diagrams (HS, YY, YM, MF), pp. 284–289.
PLDI-1990-Wendt #code generation #performance #using: Fast Code Generation Using Automatically-Generated Decision Trees (ALW), pp. 9–15.
ICALP-1990-CourcoubetisY #markov #process: Markov Decision Processes and Regular Events (Extended Abstract) (CC, MY), pp. 336–349.
ML-1990-UtgoffB #incremental #multi: An Incremental Method for Finding Multivariate Splits for Decision Trees (PEU, CEB), pp. 58–65.
SEKE-1990-Mazurov #learning #parallel #process: Parallel Processes of Decision Making and Multivalued Interpretation of Contradictory Data by Learning Neuron Machines (VDM), p. 165.
PLILP-1990-Fribourg #execution #prolog: A New Presburger Arithmetic Decision Procedure Based on Extended Prolog Execution (LF), pp. 174–188.
ICSE-1990-GiavittoRDM #design #framework #incremental: Design Decisions for the Incremental Adage Framework (JLG, GR, AD, AM), pp. 86–95.
ICSE-1990-RoseJ #process: A Decision-Based Configuration Process Model (TR, MJ), pp. 316–325.
CSL-1990-CantoneCS #problem #set: Decision Problems for Tarski and Presburger Arithmetics Extended With Sets (DC, VC, JTS), pp. 95–109.
LICS-1990-HeintzeJ #constraints #set: A Decision Procedure for a Class of Set Constraints (Extended Abstract) (NH, JJ), pp. 42–51.
NACLP-1990-KligerS #graph: From Decision Trees to Decision Graphs (SK, EYS), pp. 97–116.
DAC-1989-Yu #case study: A Study of the Applicability of Hopfield Decision Neural Nets to VLSI CAD (MLY), pp. 412–417.
PODS-1989-Elkan #query: A Decision Procedure for Conjunctive Query Disjointness (CE), pp. 134–139.
STOC-1989-FellowsL #algorithm #on the #performance #polynomial: On Search, Decision and the Efficiency of Polynomial-Time Algorithms (Extended Abstract) (MRF, MAL), pp. 501–512.
STOC-1989-Nisan: CREW PRAMs and Decision Trees (NN), pp. 327–335.
CHI-1989-Sheffield #communication #comparison: The effects of bargaining orientation and communication medium on negotiations in the bilateral monopoly task: a comparison of decision room and computer conferencing communication media (JS), pp. 43–48.
KR-1989-Etzioni: Tractable Decision-Analytic Control (OE), pp. 114–125.
ML-1989-HilliardLRP #approach #classification #hybrid #learning #problem #scheduling: Learning Decision Rules for scheduling Problems: A Classifier Hybrid Approach (MRH, GEL, GR, MRP), pp. 188–190.
ML-1989-KrulwichCB #experience: Improving Decision-Making on the Basis of Experience (BK, GC, LB), pp. 55–57.
ML-1989-SpanglerFU #induction: Induction of Decision Trees from Inconclusive Data (WSS, UMF, RU), pp. 146–150.
ML-1989-WefaldR #adaptation #learning: Adaptive Learning of Decision-Theoretic Search Control Knowledge (EW, SJR), pp. 408–411.
CSCW-1988-PooleHD: Conflict Management and Group Decision Support Systems (MSP, MH, GD), pp. 227–243.
ML-1988-ChengFIQ: Improved Decision Trees: A Generalized Version of ID3 (JC, UMF, KBI, ZQ), pp. 100–106.
ML-1988-Quinlan #classification #comparison #empirical #search-based: An Empirical Comparison of Genetic and Decision-Tree Classifiers (JRQ), pp. 135–141.
ML-1988-Spackman #category theory #learning: Learning Categorical Decision Criteria in Biomedical Domains (KAS), pp. 36–46.
ICSE-1988-PottsB #design: Recording the Reasons for Design Decisions (CP, GB), pp. 418–427.
CADE-1988-Moser #graph: A Decision Procedure for Unquantified Formulas of Graph Theory (LEM), pp. 344–357.
CADE-1988-Niemela #logic: Decision Procedure for Autoepistemic Logic (IN), pp. 675–684.
CSL-1988-Niemela #complexity #logic #on the #problem: On the Complexity of the Decision Problem in Propositional Nonmonotonic Logic (IN), pp. 226–239.
JICSCP-1988-KlingerS88 #algorithm #compilation #exclamation: A Decision Tree Compilation Algorithm for FCP(!, : , ?) (SK, EYS), pp. 1315–1336.
LICS-1988-KolaitisV #higher-order #logic #problem: 0-1 Laws and Decision Problems for Fragments of Second-Order Logic (PGK, MYV), pp. 2–11.
DAC-1987-FriedmanS #diagrams: Finding the Optimal Variable Ordering for Binary Decision Diagrams (SJF, KJS), pp. 358–356.
STOC-1987-BeameH #bound #problem: Optimal Bounds for Decision Problems on the CRCW PRAM (PB, JH), pp. 83–93.
STOC-1987-KolaitisV #higher-order #problem: The Decision Problem for the Probabilities of Higher-Order Properties (PGK, MYV), pp. 425–435.
ICALP-1987-AalbersbergH #problem: Decision Problems for Regular Trace Languages (IJA, HJH), pp. 250–259.
HCI-CE-1987-NakamuraS #case study #flexibility #scheduling: Human Decision Making in Computer-Based Scheduling within a Flexible Manufacturing System: An Experimental Study (NN, GS), pp. 257–264.
HCI-CE-1987-OShaughnessyCK #information management #multi #online: Multiple Attribute Decision Making and On-Line Information Systems (MPO, SC, EK), pp. 61–66.
HCI-CE-1987-Zimolong #flexibility #simulation: Decision Aids and Risk Taking in Flexible Manufacturing Systems: A Simulation Study (BZ), pp. 265–272.
HCI-SES-1987-JenkinsG #development #evaluation #interactive: Development and Evaluation of a Risk Based Interactive Decision Aid (JPJ, JCG), pp. 173–180.
CSCW-1986-ApplegateKN #analysis #generative #idea: A group decision support system for idea generation and issue analysis in organization planning (LMA, BRK, JFN), pp. 16–34.
DAC-1985-RajanT #synthesis: Synthesis by delayed binding of decisions (JVR, DET), pp. 367–373.
STOC-1985-KarpUW85a #problem #question: Are Search and Decision Problems Computationally Equivalent? (RMK, EU, AW), pp. 464–475.
SIGIR-1984-KraftB #behaviour #information retrieval #roadmap: Advances in a Bayesian Decision Model of User Stopping Behaviour for Scanning the Output of an Information Retrieval System (DHK, DAB), pp. 421–433.
CADE-1984-CavalliC #linear #logic: A Decision Method for Linear Temporal Logic (ARC, LFdC), pp. 113–127.
CADE-1984-LankfordBB #algorithm: A Progress Report on New Decision Algorithms for Finitely Prsented Abelian Groups (DL, GBI, AMB), pp. 128–141.
DAC-1983-MetosO #diagrams #implementation #physics: Binary Decision Diagrams: From abstract representations to physical implementations (JSM, JVO), pp. 567–570.
ICALP-1983-CulikS #ambiguity #problem: Ambiguity and Decision Problems Concerning Number Systems (KCI, AS), pp. 137–146.
STOC-1982-EmersonH #branch #logic: Decision Procedures and Expressiveness in the Temporal Logic of Branching Time (EAE, JYH), pp. 169–180.
STOC-1982-ManberT #nondeterminism #probability: Probabilistic, Nondeterministic, and Alternating Decision Trees (UM, MT), pp. 234–244.
SIGIR-1982-Knorz #approach #automation: A Decision Theory Approach to Optimal Automatic Indexing (GK), pp. 174–193.
ILPC-1982-JoubertFFR82 #logic: Medical Decision Aid: Logic Bases of the System SPHINX (MJ, MF, DF, MR), pp. 210–214.
ILPC-1982-RoachF82 #migration #prolog #simulation: A Prolog Simulation of Migration Decision Making in a Less Developed Country (JWR, TDF), pp. 110–115.
ICALP-1981-GurariI #complexity #multi #problem: The Complexity of Decision Problems for Finite-Turn Multicounter Machines (EMG, OHI), pp. 495–505.
ICALP-1981-ItzhaikY #equivalence #linear: A Decision Procedure for the Equivalence of Two DPDAs, One of Which is Linear (Extended Abstract) (YI, AY), pp. 229–237.
ICALP-1981-Snir #bound #proving: Proving Lower Bounds for Linar Decision Trees (MS), pp. 305–315.
STOC-1980-Ukkonen #automaton #equivalence #realtime: A Decision Method for the Equivalence of some Non-Real-Time Deterministic Pushdown Automata (EU), pp. 29–38.
POPL-1980-MannaP #problem: Synchronous Schemes and Their Decision Problems (ZM, AP), pp. 62–67.
CADE-1980-FerroOS #set: Decision Procedures for Some Fragments of Set Theory (AF, EGO, JTS), pp. 88–96.
VLDB-1979-Studer #functional #specification: Functional Specification of a Decision Support System (RS), pp. 85–93.
POPL-1979-GullJ: Decisions for “Type” in APL (WEG, MAJ), pp. 190–196.
STOC-1978-Pratt #logic: A Practical Decision Method for Propositional Dynamic Logic: Preliminary Report (VRP), pp. 326–337.
ICALP-1978-Restivo #monad #set: Some Decision Results for Recognizable Sets in Arbitrary Monoids (AR), pp. 363–371.
POPL-1978-NelsonO #algorithm #performance: A Simplifier Based on Efficient Decision Algorithms (CGN, DCO), pp. 141–150.
VLDB-1977-GambinoG #database #design: A Data Base Design Decision Support System (TJG, RG), pp. 534–544.
ICALP-1977-PnueliS #problem #source code: Simple Programs and Their Decision Problems (AP, GS), pp. 380–390.
STOC-1976-IbarraK #problem: A Useful Device for Showing the Solvability of Some Decision Problems (OHI, CEK), pp. 135–140.
STOC-1976-MandersA #polynomial #problem: NP-Complete Decision Problems for Quadratic Polynomials (KLM, LMA), pp. 23–29.
STOC-1976-Schaefer #complexity #finite #game studies #problem: Complexity of Decision Problems Based on Finite Two-Person Perfect-Information Games (TJS), pp. 41–49.
ICSE-1976-LewT #programming #reliability: Decision Table Programming and Reliability (AL, DT), pp. 345–349.
SIGIR-1973-MartinG #design #information retrieval #interactive: Language Decisions Made While Designing an Interactive Information Retrieval System (THM, RLG), pp. 86–100.
POPL-1973-Chandra #commutative #on the #problem: On the Decision Problems of Program Schemas with Commutative and Invertable Functions (AKC), pp. 235–242.
DAC-1972-Dudnik #architecture #nondeterminism #optimisation: Optimization of planning and architectural decisions under conditions of uncertain demand (EED), pp. 213–219.
STOC-1971-McNaughton #set: A Decision Procedure for Generalized Sequential Mapability-onto of Regular Sets (RM), pp. 206–218.
STOC-1971-Terrine #algorithm #bottom-up #context-free grammar #generative #parsing #set: An Algorithm Generating the Decision Table of a Deterministic Bottom Up Parser for a Subset of Context Free Grammars (GT), pp. 185–205.
SIGIR-1971-Paola #problem #relational: The Relational Data File and the Decision Problem for Classes of Proper Formulas (RADP), pp. 95–104.