Stem determin$ (all stems)

317 papers:

CASE-2015-ForstnerM #optimisation #safety #using

Using simulation-based optimization to determine production strategies and safety stock levels in semiconductor supply chains (LF, LM), pp. 655–656.

MSR-2015-YuWFDV #evaluation #git #latency

Wait for It: Determinants of Pull Request Evaluation Latency on GitHub (YY, HW, VF, PTD, BV), pp. 367–371.

HCI-IT-2015-HuhJIKKP #case study #comparison #interactive

Preliminary Study to Determine a “User-Friendly” Bending Method: Comparison Between Bending and Touch Interaction (BH, HJ, SI, HSK, GK, JP), pp. 175–183.

LCT-2015-FatahiMZ #performance

A Computational Model to Determine Desirability of Events Based on Personality for Performance Motivational Orientation Learners (SF, HM, ANZ), pp. 227–237.

LCT-2015-KobanLO #game studies #video

Good Newbie or Poor Newbie? Determinants of Video Game Skill Acquisition at an Early Stage (KK, BL, PO), pp. 608–619.

ICML-2015-HanMS #probability #scalability

Large-scale log-determinant computation through stochastic Chebyshev expansions (IH, DM, JS), pp. 908–917.

KDD-2015-PengKLC #approximate #clustering #rank #using

Subspace Clustering Using Log-determinant Rank Approximation (CP, ZK, HL, QC), pp. 925–934.

SAC-2015-SampaioEF #coordination

Determining the location of buildings given a single picture, environment maps and inaccurate GPS coordinates (JCS, RSE, LAFF), pp. 542–547.

ASE-2014-Schneider14a #fault #modelling #runtime

Determining the most probable root causes of run-time errors in simulink models (JS), pp. 875–878.

DATE-2014-LeD #design #towards #verification

Towards verifying determinism of SystemC designs (HML, RD), pp. 1–4.

ESOP-2014-BocchiMT #nondeterminism

Resolving Non-determinism in Choreographies (LB, HCM, ET), pp. 493–512.

ICSME-2014-BhattacharyaNF #approach #developer #graph

Determining Developers’ Expertise and Role: A Graph Hierarchy-Based Approach (PB, IN, MF), pp. 11–20.

PLDI-2014-LuJS #parallel #scripting language

Dynamic enforcement of determinism in a parallel scripting language (LL, WJ, MLS), p. 53.

AFL-2014-CarninoL #ambiguity #automaton #on the

On Determinism and Unambiguity of Weighted Two-way Automata (VC, SL), pp. 188–200.

ICALP-v1-2014-MertziosNRS #interactive #memory management #network

Determining Majority in Networks with Local Interactions and Very Small Local Memory (GBM, SEN, CR, PGS), pp. 871–882.

LATA-2014-CaronFM

(k, l)-Unambiguity and Quasi-Deterministic Structures: An Alternative for the Determinization (PC, MF, LM), pp. 260–272.

CHI-2014-FigueiredoABG #case study #social #social media

Does content determine information popularity in social media?: a case study of youtube videos’ content and their popularity (FF, JMA, FB, KPG), pp. 979–982.

CHI-2014-SchwarzMLHM #gesture #interface

Combining body pose, gaze, and gesture to determine intention to interact in vision-based interfaces (JS, CCM, TL, SEH, JM), pp. 3443–3452.

HCI-AS-2014-LouLP #distance #game studies #how

Distance Effect: Where You Stand Determines How Promptly You Interact with Game (XL, AXL, RP), pp. 614–621.

ECIR-2014-VechtomovaST #approach #information retrieval #word

An Information Retrieval-Based Approach to Determining Contextual Opinion Polarity of Words (OV, KS, JT), pp. 553–559.

ICML-c1-2014-CicaleseLS #optimisation #testing

Diagnosis determination: decision trees optimizing simultaneously worst and expected testing cost (FC, ESL, AMS), pp. 414–422.

ICPR-2014-ChernousovaLTMW #parametricity #validation

Non-enumerative Cross Validation for the Determination of Structural Parameters in Feature-Selective SVMs (EC, PL, AT, VM, DW), pp. 3654–3659.

ICPR-2014-WangDWLZJ

Depth Super-resolution by Fusing Depth Imaging and Stereo Vision with Structural Determinant Information Inference (YW, HD, BW, WL, JZ, YJ), pp. 4212–4217.

KDIR-2014-BuijsS #online #social

The Social Score — Determining the Relative Importance of Webpages Based on Online Social Signals (MB, MRS), pp. 71–77.

KMIS-2014-BorchardtRL #tool support

Determining and Evaluating the Benefits of KM Tool Support for SME (UB, JR, BL), pp. 203–211.

KMIS-2014-DaviesB #security

Determining the Value of Information Security Investments — A Decision Support System (HLD, AJCB), pp. 426–433.

SIGIR-2014-SmuckerGT

Mouse movement during relevance judging: implications for determining user attention (MDS, XSG, AT), pp. 979–982.

AMT-2014-EramoMPR #bidirectional #nondeterminism #towards

Towards Analysing Non-Determinism in Bidirectional Transformations (RE, RM, AP, GR), pp. 76–85.

POPL-2014-Krebbers #axiom #c #nondeterminism #semantics #sequence

An operational and axiomatic semantics for non-determinism and sequence points in C (RK), pp. 101–112.

CASE-2013-XiaZLZ #as a service

A comprehensive QoS determination model for Infrastructure-as-a-Service clouds (YX, MZ, XL, QZ), pp. 122–127.

DATE-2013-JainTG #automation

Automated determination of top level control signals (RKJ, PT, SG), pp. 509–512.

DATE-2013-SeiterWSD #ocl #specification #uml #verification

Determining relevant model elements for the verification of UML/OCL specifications (JS, RW, MS, RD), pp. 1189–1192.

ICDAR-2013-BarbozaLJ #documentation #forensics

A Color-Based Model to Determine the Age of Documents for Forensic Purposes (RdSB, RDL, DMdJ), pp. 1350–1354.

ICDAR-2013-YadavCK #using

Most Discriminative Primitive Selection for Identity Determination Using Handwritten Devanagari Script (NY, SC, PKK), pp. 1390–1394.

SIGMOD-2013-CaoFY

Determining the relative accuracy of attributes (YC, WF, WY), pp. 565–576.

VLDB-2013-DengJLLY #concept #knowledge base #scalability #using #web

Scalable Column Concept Determination for Web Tables Using Large Knowledge Bases (DD, YJ, GL, JL, CY), pp. 1606–1617.

ICSM-2013-FrancisW #debugging #policy

Determining “Grim Reaper” Policies to Prevent Languishing Bugs (PF, LW), pp. 436–439.

SCAM-2013-NicolayNRM #javascript #type inference #using

Determining dynamic coupling in JavaScript using object type inference (JN, CN, CDR, WDM), pp. 126–135.

DLT-J-2012-HromkovicKKS13 #automaton #logic #nondeterminism #representation

Determinism vs. Nondeterminism for Two-Way Automata: Representing the Meaning of States by Logical Formulæ (JH, RK, RK, RS), pp. 955–978.

DLT-2013-LuPC

Deciding Determinism of Unary Languages Is coNP-Complete (PL, FP, HC), pp. 350–361.

ICALP-v1-2013-Blaser #commutative

Noncommutativity Makes Determinants Hard (MB), pp. 172–183.

LATA-2013-BalaJ #automaton #nondeterminism

Limited Non-determinism Hierarchy of Counter Automata (SB, DJ), pp. 92–103.

DUXU-PMT-2013-Islam13a #interface #towards #web

Towards Determinants of User-Intuitive Web Interface Signs (MNI), pp. 84–93.

DUXU-WM-2013-WelchK #mobile #usability

Determining the Effect of Menu Element Size on Usability of Mobile Applications (SW, SJK), pp. 740–749.

DUXU-WM-2013-WilliamsGMW #approach #enterprise #performance

A User Centred Approach to Determining the Impact of Faster Broadband on Small and Medium Sized Enterprises (DW, AG, JM, JW), pp. 140–149.

HCI-AS-2013-LekkasGTMS #behaviour #component #experience #how #learning #process

Personality and Emotion as Determinants of the Learning Experience: How Affective Behavior Interacts with Various Components of the Learning Process (ZL, PG, NT, CM, GS), pp. 418–427.

HIMI-HSM-2013-KimuraHTN #evaluation #performance #using

Determination of Alarm Setpoint for Alarm System Rationalization Using Performance Evaluation (NK, TH, KT, MN), pp. 507–514.

EDOC-2013-NowakBLU #power management #process #re-engineering

Determining Power Consumption of Business Processes and Their Activities to Enable Green Business Process Reengineering (AN, TB, FL, NU), pp. 259–266.

ICEIS-v1-2013-TuW #industrial #migration

Technology Migration Determination Model for DRAM Industry (YMT, CIW), pp. 389–394.

ICEIS-v2-2013-SoaresB #development #process

Projects Characteristics Determining Suitability of Software Development Process (MdSS, JB), pp. 118–125.

KDIR-KMIS-2013-DimasKV #approach #sentiment #twitter

Every Character Counts — A Character based Approach to Determine Political Sentiment on Twitter (AD, PCK, EMV), pp. 261–266.

SAC-2013-LaboreiroBSRO #microblog

Determining language variant in microblog messages (GL, MB, LS, EMR, ECO), pp. 902–907.

ASPLOS-2013-SungKA #hardware #named #nondeterminism #performance

DeNovoND: efficient hardware support for disciplined non-determinism (HS, RK, SVA), pp. 13–26.

CC-2013-CammarotaNVKDM #on the #optimisation

On the Determination of Inlining Vectors for Program Optimization (RC, AN, AVV, AK, DD, MM), pp. 164–183.

PPoPP-2013-LuZWZ0 #multi #named #performance #thread

RaceFree: an efficient multi-threading model for determinism (KL, XZ, XW, WZ, GL), pp. 297–298.

CSL-2013-Oitavem #nondeterminism #recursion

From determinism, non-determinism and alternation to recursion schemes for P, NP and Pspace (Invited Talk) (IO), pp. 24–27.

TLCA-2013-AschieriZ #nondeterminism #normalisation

Non-determinism, Non-termination and the Strong Normalization of System T (FA, MZ), pp. 31–47.

SIGMOD-2012-RekatsinasDG #database #probability

Local structure and determinism in probabilistic databases (TR, AD, LG), pp. 373–384.

ESOP-2012-LuPZX #parallel #source code #thread

A Type and Effect System for Determinism in Multithreaded Programs (YL, JP, CZ, JX), pp. 518–538.

FoSSaCS-2012-AdamekBHKMS #algebra

A Coalgebraic Perspective on Minimization and Determinization (JA, FB, MH, BK, SM, AS), pp. 58–73.

PLDI-2012-LeeCFN #hybrid #named #program analysis

Chimera: hybrid program analysis for determinism (DL, PMC, JF, SN), pp. 463–474.

STOC-2012-Ajtai #nondeterminism #testing

Determinism versus nondeterminism with arithmetic tests and computation: extended abstract (MA), pp. 249–268.

STOC-2012-HrubesT #proving

Short proofs for the determinant identities (PH, IT), pp. 193–212.

DLT-2012-ChenL #regular expression

Checking Determinism of Regular Expressions with Counting (HC, PL), pp. 332–343.

DLT-2012-HromkovicKKS #automaton #logic #nondeterminism #representation

Determinism vs. Nondeterminism for Two-Way Automata — Representing the Meaning of States by Logical Formulæ (JH, RK, RK, RS), pp. 24–39.

CHI-2012-DearmanGT #mobile #using

Determining the orientation of proximate mobile devices using their back facing camera (DD, RTG, KNT), pp. 2231–2234.

ICML-2012-DamianouETL

Manifold Relevance Determination (ACD, CHE, MKT, NDL), p. 72.

ICPR-2012-HuLH #visual notation

Visual attention region determination for H.264 videos (KTH, JJL, HHH), pp. 2038–2041.

KDD-2012-AgrawalI #web

Aggregating web offers to determine product prices (RA, SI), pp. 435–443.

LOPSTR-2012-Niwa0S #source code

Improving Determinization of Grammar Programs for Program Inversion (MN, NN, MS), pp. 155–175.

PPoPP-2012-BurnimENS #correctness #named #nondeterminism #parallel #specification

NDetermin: inferring nondeterministic sequential specifications for parallelism correctness (JB, TE, GCN, KS), pp. 329–330.

CAV-2012-PaulaHN #debugging #named #nondeterminism

nuTAB-BackSpace: Rewriting to Normalize Non-determinism in Post-silicon Debug Traces (FMdP, AJH, AN), pp. 513–531.

ISSTA-2012-StaatsHKR #comprehension #correctness #invariant

Understanding user understanding: determining correctness of generated program invariants (MS, SH, MK, GR), pp. 188–198.

CASE-2011-MikosFG #agile #approach #distributed #injection #process #reasoning

A distributed system for rapid determination of nonconformance causes and solutions for the thermoplastic injection molding process: A Case-Based Reasoning Agents approach (WLM, JCEF, FGCG), pp. 755–760.

DATE-2011-WilleKD #scalability

Determining the minimal number of lines for large reversible circuits (RW, OK, RD), pp. 1204–1207.

ICDAR-2011-Epshtein #documentation #using

Determining Document Skew Using Inter-line Spaces (BE), pp. 27–31.

PODS-2011-BenediktGS #runtime

Determining relevance of accesses at runtime (MB, GG, PS), pp. 211–222.

PODS-2011-FanGW

Determining the currency of data (WF, FG, JW), pp. 71–82.

FoSSaCS-2011-BertrandSJK #approach #automaton #game studies

A Game Approach to Determinize Timed Automata (NB, AS, TJ, MK), pp. 245–259.

WCRE-2011-DaviesRW #debugging #dependence #evaluation

A Preliminary Evaluation of Text-based and Dependency-based Techniques for Determining the Origins of Bugs (SD, MR, MW), pp. 201–210.

STOC-2011-ChienHSS #commutative

Almost settling the hardness of noncommutative determinant (SC, PH, AS, SS), pp. 499–508.

CHI-2011-BrumbyDJG #how #performance

Fast or safe?: how performance objectives determine modality output choices while interacting on the move (DPB, SCED, CPJ, JJG), pp. 473–482.

CHI-2011-FritzM #developer #how

Determining relevancy: how software developers determine relevant information in feeds (TF, GCM), pp. 1827–1830.

DHM-2011-LeiY

Contact Area Determination between a N95 Filtering Facepiece Respirator and a Headform (ZL, J(Y), pp. 119–128.

DHM-2011-ZouZYBGC #predict

An Alternative Formulation for Determining Weights of Joint Displacement Objective Function in Seated Posture Prediction (QZ, QZ, J(Y, RB, JG, AC), pp. 231–242.

DUXU-v1-2011-MarcusDW #design

User-Experience for Personal Sustainability Software: Determining Design Philosophy and Principles (AM, JD, LW), pp. 172–177.

HCD-2011-NazemiBPBK #adaptation #user interface #visualisation

Adapting User Interfaces by Analyzing Data Characteristics for Determining Adequate Visualizations (KN, DB, AP, MB, AK), pp. 566–575.

CIKM-2011-TakesK #network

Determining the diameter of small world networks (FWT, WAK), pp. 1191–1196.

SEKE-2011-CaiZWXS #approach #component #recommendation

Recommending Component by Citation: A Semi-supervised Approach for Determination (SC, YZ, LW, BX, WS), pp. 489–494.

PADL-2011-BelwalC

Determining Actual Response Time in P-FRP (CB, AMKC), pp. 250–264.

CSL-2011-BokerH #automaton

Determinizing Discounted-Sum Automata (UB, TAH), pp. 82–96.

LICS-2011-AminofKL #approximate #automaton

Rigorous Approximated Determinization of Weighted Automata (BA, OK, RL), pp. 345–354.

VLDB-2010-ThomsonA #database

The Case for Determinism in Database Systems (AT, DJA), pp. 70–80.

SAS-2010-VechevYRS #automation #parallel #source code #verification

Automatic Verification of Determinism for Structured Parallel Programs (MTV, EY, RR, VS), pp. 455–471.

STOC-2010-ArvindS #commutative #on the

On the hardness of the noncommutative determinant (VA, SS), pp. 677–686.

CIAA-2010-Johnson #natural language #using

Uniformizing Rational Relations for Natural Language Applications Using Weighted Determinization (JHJ), pp. 173–180.

CHI-2010-MaitlandC #self

Self-monitoring, self-awareness, and self-determination in cardiac rehabilitation (JM, MC), pp. 1213–1222.

CSCW-2010-ArazyN #difference #quality #wiki

Determinants of wikipedia quality: the roles of global and local contribution inequality (OA, ON), pp. 233–236.

ICEIS-ISAS-2010-CappelliSNBD #estimation #process

An Estimation Procedure to Determine the Effort Required to Model Business Processes (CC, FMS, VTN, MdOB, JRD), pp. 178–184.

CIKM-2010-XiaoLC #bound #concept

K-farthest-neighbors-based concept boundary determination for support vector data description (YX, BL, LC), pp. 1701–1704.

ICPR-2010-HalderG #approach #documentation

Color Feature Based Approach for Determining Ink Age in Printed Documents (BH, UG), pp. 3212–3215.

ICPR-2010-KeuperSPHPBR #3d #parametricity #robust #self

3D Deformable Surfaces with Locally Self-Adjusting Parameters — A Robust Method to Determine Cell Nucleus Shapes (MK, TS, JP, PH, KP, HB, OR), pp. 2254–2257.

KEOD-2010-LeraJP #algorithm #ambiguity #concept #ontology #semantics

Unsupervised Algorithm for the Concept Disambiguation in Ontologies — Semantic Rules and Voting System to Determine Suitable Senses (IL, CJ, RP), pp. 388–391.

SIGIR-2010-SchedlSSWS #heuristic

Three web-based heuristics to determine a person’s or institution’s country of origin (MS, KS, DS, GW, CS), pp. 801–802.

POPL-2010-JostHLH #higher-order #resource management #source code

Static determination of quantitative resource usage for higher-order programs (SJ, KH, HWL, MH), pp. 223–236.

RE-2010-BerryCAA #case study #experience #requirements

Requirements Determination is Unstoppable: An Experience Report (DMB, KC, MA, MA), pp. 311–316.

ICSE-2010-Bodden #analysis #hybrid #performance #type system

Efficient hybrid typestate analysis by determining continuation-equivalent states (EB), pp. 5–14.

ICSE-2010-BurnimS #named #parallel #source code #specification #thread

DETERMIN: inferring likely deterministic specifications of multithreaded programs (JB, KS), pp. 415–424.

ASPLOS-2010-LeeWVNCF #multi #named #online #performance

Respec: efficient online multiprocessor replayvia speculation and external determinism (DL, BW, KV, SN, PMC, JF), pp. 77–90.

CASE-2009-AllenGT #logic #nondeterminism #verification

Closed-loop determinism for non-deterministic environments: Verification for IEC 61499 logic controllers (LVA, KMG, DMT), pp. 1–6.

DRR-2009-TaghvaC #analysis #bound #documentation #using

Document boundary determination using structural and lexical analysis (KT, MAC), pp. 1–10.

ESOP-2009-SadowskiFF #named #parallel #source code #thread

SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs (CS, SNF, CF), pp. 394–409.

ICALP-v2-2009-ColcombetZ #automaton #bound

A Tight Lower Bound for Determinization of Transition Labeled Büchi Automata (TC, KZ), pp. 151–162.

LATA-2009-SumanP #automaton #integer

Determinization and Expressiveness of Integer Reset Timed Automata with Silent Transitions (PVS, PKP), pp. 728–739.

DHM-2009-CaiHLY #component

Determining Cockpit Dimensions and Associative Dimensions between Components in Cockpit of Ultralight Plane for Taiwanese (DC, LLH, TL, MY), pp. 365–374.

HIMI-DIE-2009-NakagawaNM #using

Determination of Inspection Threshold Using Perceptive Sensitivities of Experienced Panel (MN, HN, TM), pp. 279–286.

ICML-2009-QiTZCZ #learning #metric #performance

An efficient sparse metric learning in high-dimensional space via l1-penalized log-determinant regularization (GJQ, JT, ZJZ, TSC, HJZ), pp. 841–848.

SAC-2009-ChengGL

Topology determination and isolation for implicit plane curves (JSC, XSG, JL), pp. 1140–1141.

SAC-2009-GroppeNL #java #named #query #rdf #satisfiability #semantics #type safety #web

SWOBE — embedding the semantic web languages RDF, SPARQL and SPARUL into java for guaranteeing type safety, for checking the satisfiability of queries and for the determination of query result types (SG, JN, VL), pp. 1239–1246.

SAC-2009-HabbalMMK #automation

Automated device for determination of skin lesion regions (MEH, MEM, OM, AIK), pp. 859–860.

SAC-2009-ShellD #precise #simulation

Precise generalized contact point and normal determination for rigid body simulation (DAS, ED), pp. 2107–2108.

ESEC-FSE-2009-BurnimS #parallel #source code #thread

Asserting and checking determinism for multithreaded programs (JB, KS), pp. 3–12.

DATE-2008-LeppeltB #complexity

Determining the Technical Complexity of Integrated Circuits (PL, EB), p. 935.

MSR-2008-HerraizGR #evolution

Determinism and evolution (IH, JMGB, GR), pp. 1–10.

SCAM-2008-GermanRH #graph #impact analysis

Change Impact Graphs: Determining the Impact of Prior Code Changes (DMG, GR, AEH), pp. 184–193.

SCAM-2008-StoneSB #analysis #automation #data flow #set

Automatic Determination of May/Must Set Usage in Data-Flow Analysis (AS, MS, SB), pp. 153–162.

WCRE-2008-AriasAA #dependence #execution #scalability

Analyzing the Actual Execution of a Large Software-Intensive System for Determining Dependencies (TBCA, PA, PA), pp. 49–58.

STOC-2008-CaiCL #bound #exclamation #polynomial #problem

A quadratic lower bound for the permanent and determinant problem over any characteristic != 2 (JyC, XC, DL), pp. 491–498.

DLT-2008-HromkovicS #automaton #bound #nondeterminism #on the #proving

On the Hardness of Determining Small NFA’s and of Proving Lower Bounds on Their Sizes (JH, GS), pp. 34–55.

ICALP-A-2008-KahlerW #ambiguity #automaton

Complementation, Disambiguation, and Determinization of Büchi Automata Unified (DK, TW), pp. 724–735.

SEFM-2008-Ferrara #parallel #source code #static analysis #thread

Static Analysis of the Determinism of Multithreaded Programs (PF), pp. 41–50.

ICEIS-HCI-2008-LailaAN #online

Applying Kansei Engineering to Determine Emotional Signature of Online Clothing Websites (NLMN, MLA, MN), pp. 142–147.

ICEIS-ISAS1-2008-WuH #development #empirical #process #requirements

A Process for Determining User Requirements in eCRM Development — A Strategic Aspect and Empirical Examination (ILW, CYH), pp. 5–12.

CIKM-2008-RodriguezB #algorithm

An algorithm to determine peer-reviewers (MAR, JB), pp. 319–328.

ICPR-2008-ZhaoC #geometry

Critical configurations of lines to geometry determination of three cameras (MZ, RCkC), pp. 1–5.

MoDELS-2008-GogollaKB #benchmark #metric #ocl #performance

A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency (MG, MK, FB), pp. 446–459.

MoDELS-2008-GogollaKB #benchmark #metric #ocl #performance

A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency (MG, MK, FB), pp. 446–459.

ICLP-2008-PerezR #concurrent #constraints #nondeterminism #programming

Non-determinism and Probabilities in Timed Concurrent Constraint Programming (JAP, CR), pp. 677–681.

PODS-2007-Marx #query

Queries determined by views: pack your views (MM), pp. 23–30.

MSR-2007-AnvikM #debugging #implementation

Determining Implementation Expertise from Bug Reports (JA, GCM), p. 2.

DLT-2007-AnselmoGM #2d #nondeterminism

From Determinism to Non-determinism in Recognizable Two-Dimensional Languages (MA, DG, MM), pp. 36–47.

LATA-2007-MesserschmidtO #automaton #nondeterminism #on the

On Determinism Versus Non-Determinism for Restarting Automata (HM, FO), pp. 413–424.

HCI-IDU-2007-KantolaJ #case study #requirements #usability

Determining High Level Quantitative Usability Requirements: A Case Study (NK, TJ), pp. 536–543.

ICEIS-DISI-2007-KustersHJ #cost analysis #enterprise #implementation

Determining the costs of ERP implementation (RJK, FJH, AJ), pp. 102–112.

MLDM-2007-KyrgyzovKMC #clustering #kernel

Kernel MDL to Determine the Number of Clusters (IOK, OOK, HM, MC), pp. 203–217.

SAC-2007-NeubauerS #performance #process

Extending business process management to determine efficient IT investments (TN, CS), pp. 1250–1256.

ESEC-FSE-2007-CottrellCWD

Determining detailed structural correspondence for generalization tasks (RC, JJCC, RJW, JD), pp. 165–174.

RTA-2007-TourE

Determining Unify-Stable Presentations (TBdlT, ME), pp. 63–77.

DATE-2006-RongP #algorithm #formal method #markov #online #process

Determining the optimal timeout values for a power-managed system based on the theory of Markovian processes: offline and online algorithms (PR, MP), pp. 1128–1133.

CSEET-2006-Budgen #nondeterminism #why

Why should they believe us? Determinism, non-determinism and evidence (DB), p. 4.

ICEIS-AIDSS-2006-Zenzerovic #reasoning

Utilization of Case-Based Reasoning in Auditing — Determining the Audit Fee (RZ), pp. 182–188.

ECIR-2006-WilkinsFGS #automation #multi

Automatic Determination of Feature Weights for Multi-feature CBIR (PW, PF, CG, AFS), pp. 527–530.

ICPR-v1-2006-DongZ #automation #framework #image #parametricity

A Computational Framework for Automatic Determination of Morphological Parameters of Proximal Femur from Intraoperative Fluoroscopic Images (XD, GZ), pp. 1008–1013.

ICPR-v3-2006-KohmuraW #algorithm #search-based #using

Determining Optimal Filters for Binarization of Degraded Characters in Color Using Genetic Algorithms (HK, TW), pp. 661–664.

GPCE-2006-BromanNF #constraints #equation #using

Determining over- and under-constrained systems of equations using structural constraint delta (DB, KN, PF), pp. 151–160.

SAC-2006-PaluPHL #3d #approach #constraints #logic programming #scalability

A constraint logic programming approach to 3D structure determination of large protein complexes (ADP, EP, JH, YL), pp. 131–136.

CSL-2006-HenzingerP #game studies

Solving Games Without Determinization (TAH, NP), pp. 395–410.

LICS-2006-Kupferman

Avoiding Determinization (OK), pp. 243–254.

SAT-2006-Goldberg #algorithm

Determinization of Resolution by an Algorithm Operating on Complete Assignments (EG), pp. 90–95.

ASE-2005-EgyedBHG #automation #traceability #trade-off

Determining the cost-quality trade-off for automated software traceability (AE, SB, MH, PG), pp. 360–363.

DAC-2005-JayakumarDK #monitoring #self

A self-adjusting scheme to determine the optimum RBB by monitoring leakage currents (NJ, SD, SPK), pp. 43–46.

DAC-2005-MokhoffZRNPK #how

How to determine the necessity for emerging solutions (NM, YZ, KNR, HN, FP, KSK), pp. 274–275.

ICDAR-2005-Aradhye

A Generic Method for Determining the Up/Down Orientation of Text in Roman and Non-roman Scripts (HBA), pp. 187–191.

ICDAR-2005-Meunier #order

Optimized XY-Cut for Determining a Page Reading Order (JLM), pp. 347–351.

ICDAR-2005-OjimaKW #algorithm #search-based #using

Determining Optimal Filters for Binarization of Degraded Grayscale Characters Using Genetic Algorithms (YO, SK, TW), pp. 555–559.

PODS-2005-DeutschKP #integration

Determining source contribution in integration systems (AD, YK, YP), pp. 304–315.

FoSSaCS-2005-CattaniSKN #nondeterminism #probability

Stochastic Transition Systems for Continuous State Spaces and Non-determinism (SC, RS, MZK, GN), pp. 125–139.

STOC-2005-TaoV #matrix #on the #random

On random pm 1 matrices: singularity and determinant (TT, VHV), pp. 431–440.

CIAA-J-2004-ChamparnaudCP05

Brute force determinization of nfas by means of state covers (JMC, FC, TP), pp. 441–451.

CIAA-2005-AlthoffTW #automaton

Observations on Determinization of Büchi Automata (CSA, WT, NW), pp. 262–272.

CIKM-2005-ChenFTK #automation #statistics

Statistical relationship determination in automatic thesaurus construction (LC, PF, UT, TK), pp. 267–268.

CIKM-2005-EsuliS #classification #semantics

Determining the semantic orientation of terms through gloss classification (AE, FS), pp. 617–624.

KDD-2005-KoppelSZ #fault #mining

Determining an author’s native language by mining a text for errors (MK, JS, KZ), pp. 624–628.

MLDM-2005-GhoshGYB05a #learning #parametricity

Determining Regularization Parameters for Derivative Free Neural Learning (RG, MG, JY, AMB), pp. 71–79.

SIGIR-2005-Hosanagar #approach #distributed #information retrieval

A utility theoretic approach to determining optimal wait times in distributed information retrieval (KH), pp. 91–97.

SAC-2005-NatarajanS #approach #data-driven

A relatedness-based data-driven approach to determination of interestingness of association rules (RN, BS), pp. 551–552.

SPLC-2005-MassenL #feature model #modelling

Determining the Variation Degree of Feature Models (TvdM, HL), pp. 82–88.

LCTES-2005-MannDLC #garbage collection #realtime

Static determination of allocation rates to support real-time garbage collection (TM, MD, RL, RC), pp. 193–202.

SAT-2005-LiH #satisfiability

Diversification and Determinism in Local Search for Satisfiability (CML, WH), pp. 158–172.

ITiCSE-2004-To #case study

Determinants affecting organizations’ intent to adopt e-tailing: a study based on innovation theories (LMT), p. 243.

ICSM-2004-Kung #lifecycle #maintenance

Quantitative Method to Determine Software Maintenance Life Cycle (HJK), pp. 232–241.

STOC-2004-Raz #multi

Multi-linear formulas for permanent and determinant are of super-polynomial size (RR), pp. 633–641.

FLOPS-2004-IranzoL

Analysing Definitional Trees: Looking for Determinism (PJI, CVL), pp. 55–69.

CIAA-2004-ChamparnaudCP

Brute Force Determinization of NFAs by Means of State Covers (JMC, FC, TP), pp. 80–89.

ICALP-2004-BojanczykC #automaton

Tree-Walking Automata Cannot Be Determinized (MB, TC), pp. 246–256.

ICEIS-v3-2004-ThamF #enterprise #information management #requirements #specification

Determining Requirements and Specifications of Enterprise Information Systems for Profitability (KDT, MSF), pp. 309–316.

ICML-2004-QiMPG #automation #predict

Predictive automatic relevance determination by expectation propagation (Y(Q, TPM, RWP, ZG).

ICPR-v3-2004-NaganumaTMM #analysis #using

Simultaneous Determination of Object Shape and Color by Moire Analysis Using a Reflection Model (SN, NT, AM, TM), pp. 202–205.

UML-2004-CabotT #constraints

Determining the Structural Events That May Violate an Integrity Constraint (JC, ET), pp. 320–334.

PADL-2004-MoralesCH #c #compilation #prolog #using

Improved Compilation of Prolog to C Using Moded Types and Determinism Information (JFM, MC, MVH), pp. 86–103.

OSDI-2004-OlshefskiNN #named

ksniffer: Determining the Remote Client Perceived Response Time from Live Packet Streams (DPO, JN, EMN), pp. 333–346.

DAC-2003-CarlettaVKF #fixpoint

Determining appropriate precisions for signals in fixed-point IIR filters (JC, RJV, FWK, ZF), pp. 656–661.

ICDAR-2003-Schambach03a #recognition #word

Determination of the Number of Writing Variants with an HMM based Cursive Word Recognition System (MPS), p. 119–?.

WCRE-2003-GallagherB #composition #empirical #equivalence #slicing

An Empirical Study of Computation Equivalence as Determined by Decomposition Slice Equivalence (KG, DB), pp. 316–322.

CIAA-2003-AllauzenM #algorithm #performance

An Efficient Pre-determinization Algorithm (CA, MM), pp. 83–95.

DLT-2003-HolzerK03a #automaton #nondeterminism

Flip-Pushdown Automata: Nondeterminism Is Better than Determinism (MH, MK), pp. 361–372.

ICALP-2003-HromkovicS03a #automaton #finite #nondeterminism

Nondeterminism versus Determinism for Two-Way Finite Automata: Generalizations of Sipser’s Separation (JH, GS), pp. 439–451.

FME-2003-HayesJJ #specification

Determining the Specification of a Control System from That of Its Environment (IJH, MAJ, CBJ), pp. 154–169.

IFL-2003-SeguraP #analysis #correctness #nondeterminism

Correctness of Non-determinism Analyses in a Parallel-Functional Language (CS, RP), pp. 69–85.

ICEIS-v1-2003-ZhangLZC #approach #case study #enterprise #implementation #metric

ERP Systems Implementation Determinants and Success Measures in China: A Case Study Approach (LZ, MKOL, ZZ, CMKC), pp. 136–143.

SEKE-2003-YanZZ #independence

A Database-Independent Strategy for Confidence Determination (XY, CZ, SZ), pp. 621–625.

RE-2003-BergmanM #analysis #requirements

In Situ Requirements Analysis: A Deeper Examination of the Relationship between Requirements Determination and Project Selection (MB, GM), pp. 11–22.

RE-2003-MavinM #case study #experience #generative #requirements

Determining Socio-Technical Systems Requirements: Experiences with Generating and Walking through Scenarios (AM, NAMM), pp. 213–222.

DATE-2002-RahajandraibeDACMC #parametricity

Test Structure for IC(VBE) Parameter Determination of Low Voltage Applications (WR, CD, DA, BC, BM, VC), pp. 316–321.

FoSSaCS-2002-PlotkinP #monad

Notions of Computation Determine Monads (GDP, JP), pp. 342–356.

ICPR-v2-2002-GuillametV #matrix #metric #using

Determining a Suitable Metric when Using Non-Negative Matrix Factorization (DG, JV), pp. 128–131.

ICPR-v3-2002-WangCZ #automation #classification #documentation #image

Hierarchical Content Classification and Script Determination for Automatic Document Image Processing (QW, ZC, RZ), pp. 77–80.

DATE-2001-StaverenV #order

Order determination for frequency compensation of negative-feedback systems (AvS, CJMV), p. 815.

IFL-2001-PenaS01a #analysis #nondeterminism

A Polynomial-Cost Non-determinism Analysis (RP, CS), pp. 121–137.

ICEIS-v1-2001-Rao #algorithm #clustering #multi

An Algorithm for Determining Subspaces Containing Clusters with Multiple Minimum Density Thresholds for Numerical Data (PRR), pp. 530–532.

SEKE-2001-VincenziNMDR #guidelines

Bayesian-Learning Based Guidelines to determine Equivalente Mutants (AMRV, EYN, JCM, MED, RAFR), pp. 180–187.

SAC-2001-Yfantis #algorithm #video

An algorithm for key-frame determination in digital video (EAY), pp. 312–314.

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.

ICALP-2000-BealC #infinity #transducer #word

Determinization of Transducers over Infinite Words (MPB, OC), pp. 561–570.

IFL-2000-PenaS #analysis #nondeterminism

Non-determinism Analysis in a Parallel-Functional Language (RP, CS), pp. 1–18.

CHI-2000-HassenzahlPBL #aspect-oriented #quality

Hedonic and ergonomic quality aspects determine a software’s appeal (MH, AP, MB, KL), pp. 201–208.

ICPR-v1-2000-Brauer-BurchardtV #image #robust

Robust Vanishing Point Determination in Noisy Images (CBB, KV), pp. 1559–1562.

ICPR-v2-2000-Kawatani #normalisation #polynomial #recognition

Handwritten Kanji Recognition with Determinant Normalized Quadratic Discriminant Function (TK), pp. 2343–2346.

ICPR-v3-2000-AparicioG #approach #parametricity

An Approach for Determining Phong Reflectance Parameters from Real Objects (JIA, JGGB), pp. 3572–3575.

ICPR-v3-2000-Sakai #network

A Network Mechanism for the Determination of Apparent Orientation (KS), pp. 3967–3970.

ICPR-v3-2000-WinkNV #heuristic #using

Minimum Cost Path Determination Using a Simple Heuristic Function (OW, WJN, MAV), pp. 7010–7013.

ICPR-v4-2000-BergerABSP #3d #convergence #modelling #realtime

3D Model Based Pose Determination in Real-Time: Strategies, Convergence, Accurac (MB, TA, GB, SS, AP), pp. 4567–4570.

TestCom-2000-Williams #interactive

Determination of Test Configurations for Pair-Wise Interaction Coverage (AWW), pp. 59–74.

DATE-1999-TanS #diagrams #scalability #using

Interpretable Symbolic Small-Signal Characterization of Large Analog Circuits using Determinant Decision Diagrams (XDT, CJRS), pp. 448–453.

ICDAR-1999-PrevostM #online #recognition

Non-supervised Determination of Allograph Sub-classes for On-line Omni-scriptor Handwriting Recognition (LP, MM), pp. 438–441.

STOC-1999-Ajtai #linear #nondeterminism

Determinism versus Non-Determinism for Linear Time RAMs (Extended Abstract) (MA), pp. 632–641.

HCI-CCAD-1999-FakunGK #hypermedia #maintenance

Determinants of a successful hypermedia application to support team-based maintenance (DF, RG, JMK), pp. 202–206.

HCI-EI-1999-HosonoIT #evaluation #requirements

Sensory Evaluation Method for Determining Portable Information Terminal Requirements for Nursing Care Applications (NH, HI, YT), pp. 953–957.

HCI-EI-1999-Kohlisch #how #interactive

How to determine optimal system response times in interactive computer tasks (OK), pp. 201–204.

ICEIS-1999-Whymark #requirements #using

Using Criticality as a Basis for Determining Information Requirements for an EIS (GKW), pp. 542–549.

RE-1999-Potts #named #requirements

ScenIC: A Strategy for Inquiry-Driven Requirements Determination (CP), pp. 58–65.

DATE-1998-LiG #algorithm #behaviour

An Algorithm To Determine Mutually Exclusive Operations In Behavioral Descriptions (JL, RKG), pp. 457–463.

VLDB-1998-MengLYWCR #database #internet

Determining Text Databases to Search in the Internet (WM, KLL, CTY, XW, YC, NR), pp. 14–25.

SAS-1998-Venet #automation #communication #mobile

Automatic Determination of Communication Topologies in Mobile Systems (AV), pp. 152–167.

ICALP-1998-BuchsbaumGW #automaton #finite #on the

On the Determinization of Weighted Finite Automata (ALB, RG, JW), pp. 482–493.

WIA-1998-ChamparnaudZP #automaton

Determinization of Glushkov Automata (JMC, DZ, JLP), pp. 57–68.

ICFP-1998-Ennals #finite #nondeterminism #reasoning

Controlled Temporal Non-Determinism for Reasoning with a Machine of Finite Speed (RE), p. 339.

ICPR-1998-LeaL #automation

Semi-automated Maltese front position determination (SML, ML), pp. 1382–1386.

ICPR-1998-Liu #coordination

Determination of the point of fixation in a head-fixed coordinate system (JL), pp. 501–504.

ICPR-1998-TissainayagamS #algorithm #using #visual notation

Visual tracking and motion determination using the IMM algorithm (PT, DS), pp. 289–291.

ICPR-1998-YogesanEB #analysis #image

Texture analysis of retinal images to determine nerve fibre loss (KY, RHE, CJB), pp. 1665–1667.

CC-1998-JohnstoneS #generalised parsing #parsing #recursion

Generalised Recursive Descent parsing and Fellow-Determinism (AJ, ES), pp. 16–30.

LICS-1998-KupfermanV #linear

Freedom, Weakness, and Determinism: From Linear-Time to Branching-Time (OK, MYV), pp. 81–92.

DAC-1997-HenkelE #hardware #using

A Hardware/Software Partitioner Using a Dynamically Determined Granularity (JH, RE), pp. 691–696.

FME-1997-LanoBFL #nondeterminism #specification

Specification of Required Non-determinism (KL, JB, JLF, AL), pp. 298–317.

POPL-1997-CarterFH

Determining the Idle Time of a Tiling (KH, LC, JF), pp. 160–173.

SOSP-1997-Steere #latency #nondeterminism #set

Exploiting the Non-Determinism and Asynchrony of Set Iterators to Reduce Aggregate File I/O Latency (DCS), pp. 252–263.

ICPR-1996-BasriGJ #image #multi #performance

Efficient determination of shape from multiple images containing partial information (RB, AJG, DWJ), pp. 268–274.

ICPR-1996-BoddekeSGY

Fluorescence lifetime determination for application in microscopy (FRB, VMES, LKvG, ITY), pp. 854–858.

ICPR-1996-DucSB #automation #clustering #fuzzy #segmentation

Motion segmentation by fuzzy clustering with automatic determination of the number of motions (BD, PS, JB), pp. 376–380.

KDD-1996-KramerP #performance

Efficient Search for Strong Partial Determinations (SK, BP), pp. 371–374.

KDD-1996-Langley #induction

Induction of Condensed Determinations (PL), pp. 327–330.

KR-1996-Giunchiglia #calculus

Determining Ramifications in the Situation Calculus (EG), pp. 76–86.

SAC-1996-MisirMC #approach #fuzzy #heuristic

A heuristic approach to determine the gains of a fuzzy PID controller (DM, HAM, GC), pp. 609–613.

ICDAR-v2-1995-WeigelBR #automation #heuristic

Lexical postprocessing by heuristic search and automatic determination of the edit costs (AW, SB, JR), pp. 857–860.

CSEE-1995-Geier #approach #bibliography #delphi

The Delphi Survey Methodology: An Approach to Determine Training Needs (JDG), pp. 389–402.

SAS-1995-Colby #concurrent #source code

Determining Storage Properties of Sequential and Concurrent Programs with Assignment and Structured Data (CC), pp. 64–81.

ICALP-1995-Le #game studies #on the

On Determining Optimal Strategies in Pursiut Games in the Plane (NML), pp. 499–510.

KDD-1995-PfahringerK #evaluation

Compression-Based Evaluation of Partial Determinations (BP, SK), pp. 234–239.

SAC-1995-AbualiWS #encoding #graph #representation

Determinant factorization and cycle basis: encoding schemes for the representation of spanning trees on incomplete graphs (FNA, RLW, DAS), pp. 305–312.

SAC-1995-JungG #automation #knowledge base #visualisation

Automatic determination and visualization of relationships among symptoms for building medical knowledge bases (GSJ, VNG), pp. 101–107.

SAC-1995-RunklerG #algorithm #multi #performance #set

Multidimensional defuzzification — fast algorithms for the determination of crisp characteristic subsets (TAR, MG), pp. 575–579.

ICALP-1994-KlarlundMS #automaton

Determinizing Asynchronous Automata (NK, MM, MAS), pp. 130–141.

CHI-1994-BurkhartHJ94a #design

The value of a baseline in determining design success (BJB, DH, SJ), pp. 386–391.

SEKE-1994-AzemB #prolog #reliability #source code

Reliability determination of Prolog programs (AA, FB), pp. 422–429.

SAC-1994-Duben #simulation

The effect of the choice of motional model in the determination of molecular conformation in solution from NMR-NOESY spectra: a simulation study (AJD), pp. 561–565.

ICSE-1994-KeaneH #approach #case study #experience #formal method #parallel

A Formal Approach to Determining Parallel Resource Bindings: Experience Report (JAK, WH), pp. 15–22.

ICDAR-1993-NakayamaS #image

European language determination from image (TN, ALS), pp. 159–162.

DLT-1993-PaunRS

Contextual Grammars: Erasing, Determinism, One-Side Contexts (GP, GR, AS), pp. 370–388.

FPCA-1993-Liu #evaluation #functional #lazy evaluation #logic #nondeterminism #towards

Towards Lazy Evaluation, Sharing and Non-determinism in Resolution Based Functional Logic Languages (FL), pp. 201–209.

INTERCHI-1993-MacKenzieW #interactive #performance

Lag as a determinant of human performance in interactive systems (ISM, CW), pp. 488–493.

ICML-1993-Schlimmer #algorithm

Efficiently Inducing Determinations: A Complete and Systematic Search Algorithm that Uses Optimal Pruning (JCS), pp. 284–290.

SEKE-1993-AzemBJ #prolog #reliability #source code #testing

Implementation-Oriented Testing and Reliability Determination of Prolog Programs (AA, FB, OJ), pp. 526–533.

LOPSTR-1993-OlmedillaBH #automation #independence

Automatic Exploitation of Non-Determinate Independent And-Parallelism in the Basic Andorra Model (MO, FB, MVH), pp. 177–195.

PODS-1992-BusscheG

Semi-determinism (JVdB, DVG), pp. 191–201.

SIGMOD-1992-AikenWH #behaviour #confluence #database #termination

Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism (AA, JW, JMH), pp. 59–68.

ESOP-1992-GiacobazziR #abstract interpretation #bottom-up #detection

Detecting Determinate Computations by Bottom-up Abstract Interpretation (RG, LR), pp. 167–181.

STOC-1992-Safra #automaton #exponential

Exponential Determinization for ω-Automata with Strong-Fairness Acceptance Condition (Extended Abstract) (SS), pp. 275–282.

ML-1992-ZytkowZZ #fault

The First Phase of Real-World Discovery: Determining Repeatability and Error of Experiments (JMZ, JZ, RZ), pp. 480–485.

HPDC-1992-ClaytonDMW #bound #latency

Determining Update Latency Bounds in Galactica Net (SC, RJD, WM, AW), pp. 104–111.

ICALP-1991-Hashiguchi #algorithm #generative #regular expression

Algorithms for Determining the Smallest Number of Nonterminals (States) Sufficient for Generating (Accepting) a Regular Language (KH), pp. 641–648.

ML-1991-KijsirikulNS #learning #logic programming #performance #source code

Efficient Learning of Logic Programs with Non-determinant, Non-discriminating Literals (BK, MN, MS), pp. 417–421.

ML-1991-Quinlan #induction #logic programming

Determinate Literals in Inductive Logic Programming (JRQ), pp. 442–446.

LOPSTR-1991-Antoy #evaluation #lazy evaluation #logic programming #nondeterminism

Non-Determinism and Lazy Evaluation in Logic Programming (SA), pp. 318–331.

PLILP-1991-LoogenW #detection #functional

Dynamic Detection of Determinism in Functional Languages (RL, SW), pp. 335–346.

ICLP-1991-MuthukumarH #abstract interpretation

Combined Determination of Sharing and Freeness of Program Variables through Abstract Interpretation (KM, MVH), pp. 49–63.

PODS-1990-SaccaZ #logic programming #modelling #nondeterminism #source code

Stable Models and Non-Determinism in Logic Programs with Negation (DS, CZ), pp. 205–217.

ICALP-1990-DobkinK #approach

Determining the Separation of Preprocessed Polyhedra — A Unified Approach (DPD, DGK), pp. 400–413.

CSCW-1990-AustinLM

Determinants and Patterns of Control over Technology in a Computerized Meeting Room (LCA, JKL, PLM), pp. 39–51.

SIGIR-1990-BelkinM #information retrieval #interface

Determining the Functionality and Features of an Intelligent Interface to an Information Retrieval System (NJB, PGM), pp. 151–177.

POPL-1990-Deutsch #alias #functional #higher-order #on the #specification

On Determining Lifetime and Aliasing of Dynamically Allocated Data in Higher-Order Functional Specifications (AD), pp. 157–168.

PLDI-1989-Sarkar #execution

Determining Average Program Execution Times and their Variance (VS), pp. 298–312.

FPCA-1989-Burton #behaviour #parallel #semantics #source code

Indeterminate Behavior with Determinate Semantics in Parallel Programs (FWB), pp. 340–346.

ML-1989-Mahadevan #problem #using

Using Determinations in EBL: A Solution to the incomplete Theory Problem (SM), pp. 320–325.

LICS-1989-EmersonJ #automaton #on the

On Simultaneously Determinizing and Complementing ω-Automata (Extended Abstract) (EAE, CSJ), pp. 333–342.

NACLP-1989-MuthukumarH #abstract interpretation #dependence

Determination of Variable Dependence Information through Abstract Interpretation (KM, MVH), pp. 166–185.

SIGIR-1987-RaghavanD #clustering

Optimal Determination of User-Oriented Clusters (VVR, JSD), pp. 140–146.

STOC-1986-Ben-OrFKT #algorithm #parallel #performance #polynomial

A Fast Parallel Algorithm for Determining All Roots of a Polynomial with Real Roots (MBO, EF, DK, PT), pp. 340–349.

GG-1986-LuckL

From OL and IL map systems to indeterminate and determinate growth in plant morphogenesis (JL, HBL), pp. 393–410.

VLDB-1985-FischerG

Determining when a Structure is a Nested Relation (PCF, DVG), pp. 171–180.

ICSE-1985-WhiteS #testing

Experiments Determining Best Paths for Testing Computer Program Predicates (LJW, PNS), pp. 238–243.

SLP-1985-SawamuraT85 #optimisation #prolog #recursion

Recursive Unsolvability of Determinacy, Solvable Cases of Determinancy and their Applications to Prolog Optimization (HS, TT), pp. 200–207.

STOC-1984-Gonnet #equivalence #polynomial #random

Determining Equivalence of Expressions in Random Polynomial Time (Extended Abstract) (GHG), pp. 334–341.

PODS-1983-Skeen #process

Determining the Last Process to Fail (DS), pp. 16–24.

STOC-1982-MehlhornS #distributed

Las Vegas Is better than Determinism in VLSI and Distributed Computing (Extended Abstract) (KM, EMS), pp. 330–337.

ICALP-1982-Plotkin #nondeterminism

A Powerdomain for Countable Non-Determinism (Extended Abstract) (GDP), pp. 418–428.

STOC-1980-FilottiM #algorithm #graph #morphism #polynomial

A Polynomial-time Algorithm for Determining the Isomorphism of Graphs of Fixed Genus (Working Paper) (ISF, JNM), pp. 236–243.

STOC-1979-FilottiMR #graph #on the

On Determining the Genus of a Graph in O(v^O(g)) Steps (ISF, GLM, JHR), pp. 27–37.

SIGMOD-1978-ClarkH

A Procedure for the Determination of Attribute Access Probabilities (JDC, JAH), pp. 110–117.

STOC-1978-Filotti #algorithm #graph #performance #polynomial

An Efficient Algorithm for Determining Whether a Cubic Graph is Toroidal (ISF), pp. 133–142.

GG-1978-Rajlich #relational

Determinism in Relational Systems (VR), pp. 401–408.

SIGIR-1978-YuR

Experiments on the Determination of the Reltionships Between Terms (CTY, VVR), p. 150.

POPL-1978-Kosinki #data flow #semantics #source code

A Straightforward Denotational Semantics for Non-Determinant Data Flow Programs (PRK), pp. 214–221.

STOC-1974-Kirkpatrick #graph #matrix

Determining Graph Properties from Matrix Representations (DGK), pp. 84–90.

STOC-1973-GentlemanJ #algorithm #analysis #case study

Analysis of Algorithms, a Case Study: Determinants of Polynomials (WMG, SCJ), pp. 135–141.

SIGIR-1971-WinklerD

File Structure Determination (AJW, AGD), pp. 133–146.

STOC-1970-BassY #complexity #set

Hierarchies Based on Computational Complexity and Irregularities of Class Determining Measured Sets (Preliminary Report) (LJB, PRY), pp. 37–40.