BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
non (34)
base (27)
system (26)
program (26)
use (24)

Stem determin$ (all stems)

317 papers:

CASECASE-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.
MSRMSR-2015-YuWFDV #evaluation #git #latency
Wait for It: Determinants of Pull Request Evaluation Latency on GitHub (YY, HW, VF, PTD, BV), pp. 367–371.
HCIHCI-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.
HCILCT-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.
HCILCT-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.
ICMLICML-2015-HanMS #probability #scalability
Large-scale log-determinant computation through stochastic Chebyshev expansions (IH, DM, JS), pp. 908–917.
KDDKDD-2015-PengKLC #approximate #clustering #rank #using
Subspace Clustering Using Log-determinant Rank Approximation (CP, ZK, HL, QC), pp. 925–934.
SACSAC-2015-SampaioEF #coordination
Determining the location of buildings given a single picture, environment maps and inaccurate GPS coordinates (JCS, RSE, LAFF), pp. 542–547.
ASEASE-2014-Schneider14a #fault #modelling #runtime
Determining the most probable root causes of run-time errors in simulink models (JS), pp. 875–878.
DATEDATE-2014-LeD #design #towards #verification
Towards verifying determinism of SystemC designs (HML, RD), pp. 1–4.
ESOPESOP-2014-BocchiMT #nondeterminism
Resolving Non-determinism in Choreographies (LB, HCM, ET), pp. 493–512.
ICSMEICSME-2014-BhattacharyaNF #approach #developer #graph
Determining Developers’ Expertise and Role: A Graph Hierarchy-Based Approach (PB, IN, MF), pp. 11–20.
PLDIPLDI-2014-LuJS #parallel #scripting language
Dynamic enforcement of determinism in a parallel scripting language (LL, WJ, MLS), p. 53.
AFLAFL-2014-CarninoL #ambiguity #automaton #on the
On Determinism and Unambiguity of Weighted Two-way Automata (VC, SL), pp. 188–200.
ICALPICALP-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.
LATALATA-2014-CaronFM
(k, l)-Unambiguity and Quasi-Deterministic Structures: An Alternative for the Determinization (PC, MF, LM), pp. 260–272.
CHICHI-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.
CHICHI-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.
HCIHCI-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.
ECIRECIR-2014-VechtomovaST #approach #information retrieval #word
An Information Retrieval-Based Approach to Determining Contextual Opinion Polarity of Words (OV, KS, JT), pp. 553–559.
ICMLICML-c1-2014-CicaleseLS #optimisation #testing
Diagnosis determination: decision trees optimizing simultaneously worst and expected testing cost (FC, ESL, AMS), pp. 414–422.
ICPRICPR-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.
ICPRICPR-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.
KDIRKDIR-2014-BuijsS #online #social
The Social Score — Determining the Relative Importance of Webpages Based on Online Social Signals (MB, MRS), pp. 71–77.
KMISKMIS-2014-BorchardtRL #tool support
Determining and Evaluating the Benefits of KM Tool Support for SME (UB, JR, BL), pp. 203–211.
KMISKMIS-2014-DaviesB #security
Determining the Value of Information Security Investments — A Decision Support System (HLD, AJCB), pp. 426–433.
SIGIRSIGIR-2014-SmuckerGT
Mouse movement during relevance judging: implications for determining user attention (MDS, XSG, AT), pp. 979–982.
AMTAMT-2014-EramoMPR #bidirectional #nondeterminism #towards
Towards Analysing Non-Determinism in Bidirectional Transformations (RE, RM, AP, GR), pp. 76–85.
POPLPOPL-2014-Krebbers #axiom #c #nondeterminism #semantics #sequence
An operational and axiomatic semantics for non-determinism and sequence points in C (RK), pp. 101–112.
CASECASE-2013-XiaZLZ #as a service
A comprehensive QoS determination model for Infrastructure-as-a-Service clouds (YX, MZ, XL, QZ), pp. 122–127.
DATEDATE-2013-JainTG #automation
Automated determination of top level control signals (RKJ, PT, SG), pp. 509–512.
DATEDATE-2013-SeiterWSD #ocl #specification #uml #verification
Determining relevant model elements for the verification of UML/OCL specifications (JS, RW, MS, RD), pp. 1189–1192.
ICDARICDAR-2013-BarbozaLJ #documentation #forensics
A Color-Based Model to Determine the Age of Documents for Forensic Purposes (RdSB, RDL, DMdJ), pp. 1350–1354.
ICDARICDAR-2013-YadavCK #using
Most Discriminative Primitive Selection for Identity Determination Using Handwritten Devanagari Script (NY, SC, PKK), pp. 1390–1394.
SIGMODSIGMOD-2013-CaoFY
Determining the relative accuracy of attributes (YC, WF, WY), pp. 565–576.
VLDBVLDB-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.
ICSMEICSM-2013-FrancisW #debugging #policy
Determining “Grim Reaper” Policies to Prevent Languishing Bugs (PF, LW), pp. 436–439.
SCAMSCAM-2013-NicolayNRM #javascript #type inference #using
Determining dynamic coupling in JavaScript using object type inference (JN, CN, CDR, WDM), pp. 126–135.
DLTDLT-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.
DLTDLT-2013-LuPC
Deciding Determinism of Unary Languages Is coNP-Complete (PL, FP, HC), pp. 350–361.
ICALPICALP-v1-2013-Blaser #commutative
Noncommutativity Makes Determinants Hard (MB), pp. 172–183.
LATALATA-2013-BalaJ #automaton #nondeterminism
Limited Non-determinism Hierarchy of Counter Automata (SB, DJ), pp. 92–103.
HCIDUXU-PMT-2013-Islam13a #interface #towards #web
Towards Determinants of User-Intuitive Web Interface Signs (MNI), pp. 84–93.
HCIDUXU-WM-2013-WelchK #mobile #usability
Determining the Effect of Menu Element Size on Usability of Mobile Applications (SW, SJK), pp. 740–749.
HCIDUXU-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.
HCIHCI-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.
HCIHIMI-HSM-2013-KimuraHTN #evaluation #performance #using
Determination of Alarm Setpoint for Alarm System Rationalization Using Performance Evaluation (NK, TH, KT, MN), pp. 507–514.
EDOCEDOC-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.
ICEISICEIS-v1-2013-TuW #industrial #migration
Technology Migration Determination Model for DRAM Industry (YMT, CIW), pp. 389–394.
ICEISICEIS-v2-2013-SoaresB #development #process
Projects Characteristics Determining Suitability of Software Development Process (MdSS, JB), pp. 118–125.
KDIRKDIR-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.
SACSAC-2013-LaboreiroBSRO #microblog
Determining language variant in microblog messages (GL, MB, LS, EMR, ECO), pp. 902–907.
ASPLOSASPLOS-2013-SungKA #hardware #named #nondeterminism #performance
DeNovoND: efficient hardware support for disciplined non-determinism (HS, RK, SVA), pp. 13–26.
CCCC-2013-CammarotaNVKDM #on the #optimisation
On the Determination of Inlining Vectors for Program Optimization (RC, AN, AVV, AK, DD, MM), pp. 164–183.
PPoPPPPoPP-2013-LuZWZ0 #multi #named #performance #thread
RaceFree: an efficient multi-threading model for determinism (KL, XZ, XW, WZ, GL), pp. 297–298.
CSLCSL-2013-Oitavem #nondeterminism #recursion
From determinism, non-determinism and alternation to recursion schemes for P, NP and Pspace (Invited Talk) (IO), pp. 24–27.
TLCATLCA-2013-AschieriZ #nondeterminism #normalisation
Non-determinism, Non-termination and the Strong Normalization of System T (FA, MZ), pp. 31–47.
SIGMODSIGMOD-2012-RekatsinasDG #database #probability
Local structure and determinism in probabilistic databases (TR, AD, LG), pp. 373–384.
ESOPESOP-2012-LuPZX #parallel #source code #thread
A Type and Effect System for Determinism in Multithreaded Programs (YL, JP, CZ, JX), pp. 518–538.
FoSSaCSFoSSaCS-2012-AdamekBHKMS #algebra
A Coalgebraic Perspective on Minimization and Determinization (JA, FB, MH, BK, SM, AS), pp. 58–73.
PLDIPLDI-2012-LeeCFN #hybrid #named #program analysis
Chimera: hybrid program analysis for determinism (DL, PMC, JF, SN), pp. 463–474.
STOCSTOC-2012-Ajtai #nondeterminism #testing
Determinism versus nondeterminism with arithmetic tests and computation: extended abstract (MA), pp. 249–268.
STOCSTOC-2012-HrubesT #proving
Short proofs for the determinant identities (PH, IT), pp. 193–212.
DLTDLT-2012-ChenL #regular expression
Checking Determinism of Regular Expressions with Counting (HC, PL), pp. 332–343.
DLTDLT-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.
CHICHI-2012-DearmanGT #mobile #using
Determining the orientation of proximate mobile devices using their back facing camera (DD, RTG, KNT), pp. 2231–2234.
ICMLICML-2012-DamianouETL
Manifold Relevance Determination (ACD, CHE, MKT, NDL), p. 72.
ICPRICPR-2012-HuLH #visual notation
Visual attention region determination for H.264 videos (KTH, JJL, HHH), pp. 2038–2041.
KDDKDD-2012-AgrawalI #web
Aggregating web offers to determine product prices (RA, SI), pp. 435–443.
LOPSTRLOPSTR-2012-Niwa0S #source code
Improving Determinization of Grammar Programs for Program Inversion (MN, NN, MS), pp. 155–175.
PPoPPPPoPP-2012-BurnimENS #correctness #named #nondeterminism #parallel #specification
NDetermin: inferring nondeterministic sequential specifications for parallelism correctness (JB, TE, GCN, KS), pp. 329–330.
CAVCAV-2012-PaulaHN #debugging #named #nondeterminism
nuTAB-BackSpace: Rewriting to Normalize Non-determinism in Post-silicon Debug Traces (FMdP, AJH, AN), pp. 513–531.
ISSTAISSTA-2012-StaatsHKR #comprehension #correctness #invariant
Understanding user understanding: determining correctness of generated program invariants (MS, SH, MK, GR), pp. 188–198.
CASECASE-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.
DATEDATE-2011-WilleKD #scalability
Determining the minimal number of lines for large reversible circuits (RW, OK, RD), pp. 1204–1207.
ICDARICDAR-2011-Epshtein #documentation #using
Determining Document Skew Using Inter-line Spaces (BE), pp. 27–31.
PODSPODS-2011-BenediktGS #runtime
Determining relevance of accesses at runtime (MB, GG, PS), pp. 211–222.
PODSPODS-2011-FanGW
Determining the currency of data (WF, FG, JW), pp. 71–82.
FoSSaCSFoSSaCS-2011-BertrandSJK #approach #automaton #game studies
A Game Approach to Determinize Timed Automata (NB, AS, TJ, MK), pp. 245–259.
WCREWCRE-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.
STOCSTOC-2011-ChienHSS #commutative
Almost settling the hardness of noncommutative determinant (SC, PH, AS, SS), pp. 499–508.
CHICHI-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.
CHICHI-2011-FritzM #developer #how
Determining relevancy: how software developers determine relevant information in feeds (TF, GCM), pp. 1827–1830.
HCIDHM-2011-LeiY
Contact Area Determination between a N95 Filtering Facepiece Respirator and a Headform (ZL, J(Y), pp. 119–128.
HCIDHM-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.
HCIDUXU-v1-2011-MarcusDW #design
User-Experience for Personal Sustainability Software: Determining Design Philosophy and Principles (AM, JD, LW), pp. 172–177.
HCIHCD-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.
CIKMCIKM-2011-TakesK #network
Determining the diameter of small world networks (FWT, WAK), pp. 1191–1196.
SEKESEKE-2011-CaiZWXS #approach #component #recommendation
Recommending Component by Citation: A Semi-supervised Approach for Determination (SC, YZ, LW, BX, WS), pp. 489–494.
PADLPADL-2011-BelwalC
Determining Actual Response Time in P-FRP (CB, AMKC), pp. 250–264.
CSLCSL-2011-BokerH #automaton
Determinizing Discounted-Sum Automata (UB, TAH), pp. 82–96.
LICSLICS-2011-AminofKL #approximate #automaton
Rigorous Approximated Determinization of Weighted Automata (BA, OK, RL), pp. 345–354.
VLDBVLDB-2010-ThomsonA #database
The Case for Determinism in Database Systems (AT, DJA), pp. 70–80.
SASSAS-2010-VechevYRS #automation #parallel #source code #verification
Automatic Verification of Determinism for Structured Parallel Programs (MTV, EY, RR, VS), pp. 455–471.
STOCSTOC-2010-ArvindS #commutative #on the
On the hardness of the noncommutative determinant (VA, SS), pp. 677–686.
CIAACIAA-2010-Johnson #natural language #using
Uniformizing Rational Relations for Natural Language Applications Using Weighted Determinization (JHJ), pp. 173–180.
CHICHI-2010-MaitlandC #self
Self-monitoring, self-awareness, and self-determination in cardiac rehabilitation (JM, MC), pp. 1213–1222.
CSCWCSCW-2010-ArazyN #difference #quality #wiki
Determinants of wikipedia quality: the roles of global and local contribution inequality (OA, ON), pp. 233–236.
ICEISICEIS-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.
CIKMCIKM-2010-XiaoLC #bound #concept
K-farthest-neighbors-based concept boundary determination for support vector data description (YX, BL, LC), pp. 1701–1704.
ICPRICPR-2010-HalderG #approach #documentation
Color Feature Based Approach for Determining Ink Age in Printed Documents (BH, UG), pp. 3212–3215.
ICPRICPR-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.
KEODKEOD-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.
SIGIRSIGIR-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.
POPLPOPL-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.
RERE-2010-BerryCAA #case study #experience #requirements
Requirements Determination is Unstoppable: An Experience Report (DMB, KC, MA, MA), pp. 311–316.
ICSEICSE-2010-Bodden #analysis #hybrid #performance #type system
Efficient hybrid typestate analysis by determining continuation-equivalent states (EB), pp. 5–14.
ICSEICSE-2010-BurnimS #named #parallel #source code #specification #thread
DETERMIN: inferring likely deterministic specifications of multithreaded programs (JB, KS), pp. 415–424.
ASPLOSASPLOS-2010-LeeWVNCF #multi #named #online #performance
Respec: efficient online multiprocessor replayvia speculation and external determinism (DL, BW, KV, SN, PMC, JF), pp. 77–90.
CASECASE-2009-AllenGT #logic #nondeterminism #verification
Closed-loop determinism for non-deterministic environments: Verification for IEC 61499 logic controllers (LVA, KMG, DMT), pp. 1–6.
DRRDRR-2009-TaghvaC #analysis #bound #documentation #using
Document boundary determination using structural and lexical analysis (KT, MAC), pp. 1–10.
ESOPESOP-2009-SadowskiFF #named #parallel #source code #thread
SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs (CS, SNF, CF), pp. 394–409.
ICALPICALP-v2-2009-ColcombetZ #automaton #bound
A Tight Lower Bound for Determinization of Transition Labeled Büchi Automata (TC, KZ), pp. 151–162.
LATALATA-2009-SumanP #automaton #integer
Determinization and Expressiveness of Integer Reset Timed Automata with Silent Transitions (PVS, PKP), pp. 728–739.
HCIDHM-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.
HCIHIMI-DIE-2009-NakagawaNM #using
Determination of Inspection Threshold Using Perceptive Sensitivities of Experienced Panel (MN, HN, TM), pp. 279–286.
ICMLICML-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.
SACSAC-2009-ChengGL
Topology determination and isolation for implicit plane curves (JSC, XSG, JL), pp. 1140–1141.
SACSAC-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.
SACSAC-2009-HabbalMMK #automation
Automated device for determination of skin lesion regions (MEH, MEM, OM, AIK), pp. 859–860.
SACSAC-2009-ShellD #precise #simulation
Precise generalized contact point and normal determination for rigid body simulation (DAS, ED), pp. 2107–2108.
ESEC-FSEESEC-FSE-2009-BurnimS #parallel #source code #thread
Asserting and checking determinism for multithreaded programs (JB, KS), pp. 3–12.
DATEDATE-2008-LeppeltB #complexity
Determining the Technical Complexity of Integrated Circuits (PL, EB), p. 935.
MSRMSR-2008-HerraizGR #evolution
Determinism and evolution (IH, JMGB, GR), pp. 1–10.
SCAMSCAM-2008-GermanRH #graph #impact analysis
Change Impact Graphs: Determining the Impact of Prior Code Changes (DMG, GR, AEH), pp. 184–193.
SCAMSCAM-2008-StoneSB #analysis #automation #data flow #set
Automatic Determination of May/Must Set Usage in Data-Flow Analysis (AS, MS, SB), pp. 153–162.
WCREWCRE-2008-AriasAA #dependence #execution #scalability
Analyzing the Actual Execution of a Large Software-Intensive System for Determining Dependencies (TBCA, PA, PA), pp. 49–58.
STOCSTOC-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.
DLTDLT-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.
ICALPICALP-A-2008-KahlerW #ambiguity #automaton
Complementation, Disambiguation, and Determinization of Büchi Automata Unified (DK, TW), pp. 724–735.
SEFMSEFM-2008-Ferrara #parallel #source code #static analysis #thread
Static Analysis of the Determinism of Multithreaded Programs (PF), pp. 41–50.
ICEISICEIS-HCI-2008-LailaAN #online
Applying Kansei Engineering to Determine Emotional Signature of Online Clothing Websites (NLMN, MLA, MN), pp. 142–147.
ICEISICEIS-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.
CIKMCIKM-2008-RodriguezB #algorithm
An algorithm to determine peer-reviewers (MAR, JB), pp. 319–328.
ICPRICPR-2008-ZhaoC #geometry
Critical configurations of lines to geometry determination of three cameras (MZ, RCkC), pp. 1–5.
MODELSMoDELS-2008-GogollaKB #benchmark #metric #ocl #performance
A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency (MG, MK, FB), pp. 446–459.
MODELSMoDELS-2008-GogollaKB #benchmark #metric #ocl #performance
A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency (MG, MK, FB), pp. 446–459.
ICLPICLP-2008-PerezR #concurrent #constraints #nondeterminism #programming
Non-determinism and Probabilities in Timed Concurrent Constraint Programming (JAP, CR), pp. 677–681.
PODSPODS-2007-Marx #query
Queries determined by views: pack your views (MM), pp. 23–30.
MSRMSR-2007-AnvikM #debugging #implementation
Determining Implementation Expertise from Bug Reports (JA, GCM), p. 2.
DLTDLT-2007-AnselmoGM #2d #nondeterminism
From Determinism to Non-determinism in Recognizable Two-Dimensional Languages (MA, DG, MM), pp. 36–47.
LATALATA-2007-MesserschmidtO #automaton #nondeterminism #on the
On Determinism Versus Non-Determinism for Restarting Automata (HM, FO), pp. 413–424.
HCIHCI-IDU-2007-KantolaJ #case study #requirements #usability
Determining High Level Quantitative Usability Requirements: A Case Study (NK, TJ), pp. 536–543.
ICEISICEIS-DISI-2007-KustersHJ #cost analysis #enterprise #implementation
Determining the costs of ERP implementation (RJK, FJH, AJ), pp. 102–112.
MLDMMLDM-2007-KyrgyzovKMC #clustering #kernel
Kernel MDL to Determine the Number of Clusters (IOK, OOK, HM, MC), pp. 203–217.
SACSAC-2007-NeubauerS #performance #process
Extending business process management to determine efficient IT investments (TN, CS), pp. 1250–1256.
ESEC-FSEESEC-FSE-2007-CottrellCWD
Determining detailed structural correspondence for generalization tasks (RC, JJCC, RJW, JD), pp. 165–174.
RTARTA-2007-TourE
Determining Unify-Stable Presentations (TBdlT, ME), pp. 63–77.
DATEDATE-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.
CSEETCSEET-2006-Budgen #nondeterminism #why
Why should they believe us? Determinism, non-determinism and evidence (DB), p. 4.
ICEISICEIS-AIDSS-2006-Zenzerovic #reasoning
Utilization of Case-Based Reasoning in Auditing — Determining the Audit Fee (RZ), pp. 182–188.
ECIRECIR-2006-WilkinsFGS #automation #multi
Automatic Determination of Feature Weights for Multi-feature CBIR (PW, PF, CG, AFS), pp. 527–530.
ICPRICPR-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.
ICPRICPR-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.
GPCEGPCE-2006-BromanNF #constraints #equation #using
Determining over- and under-constrained systems of equations using structural constraint delta (DB, KN, PF), pp. 151–160.
SACSAC-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.
CSLCSL-2006-HenzingerP #game studies
Solving Games Without Determinization (TAH, NP), pp. 395–410.
LICSLICS-2006-Kupferman
Avoiding Determinization (OK), pp. 243–254.
ICSTSAT-2006-Goldberg #algorithm
Determinization of Resolution by an Algorithm Operating on Complete Assignments (EG), pp. 90–95.
ASEASE-2005-EgyedBHG #automation #traceability #trade-off
Determining the cost-quality trade-off for automated software traceability (AE, SB, MH, PG), pp. 360–363.
DACDAC-2005-JayakumarDK #monitoring #self
A self-adjusting scheme to determine the optimum RBB by monitoring leakage currents (NJ, SD, SPK), pp. 43–46.
DACDAC-2005-MokhoffZRNPK #how
How to determine the necessity for emerging solutions (NM, YZ, KNR, HN, FP, KSK), pp. 274–275.
ICDARICDAR-2005-Aradhye
A Generic Method for Determining the Up/Down Orientation of Text in Roman and Non-roman Scripts (HBA), pp. 187–191.
ICDARICDAR-2005-Meunier #order
Optimized XY-Cut for Determining a Page Reading Order (JLM), pp. 347–351.
ICDARICDAR-2005-OjimaKW #algorithm #search-based #using
Determining Optimal Filters for Binarization of Degraded Grayscale Characters Using Genetic Algorithms (YO, SK, TW), pp. 555–559.
PODSPODS-2005-DeutschKP #integration
Determining source contribution in integration systems (AD, YK, YP), pp. 304–315.
FoSSaCSFoSSaCS-2005-CattaniSKN #nondeterminism #probability
Stochastic Transition Systems for Continuous State Spaces and Non-determinism (SC, RS, MZK, GN), pp. 125–139.
STOCSTOC-2005-TaoV #matrix #on the #random
On random pm 1 matrices: singularity and determinant (TT, VHV), pp. 431–440.
CIAACIAA-J-2004-ChamparnaudCP05
Brute force determinization of nfas by means of state covers (JMC, FC, TP), pp. 441–451.
CIAACIAA-2005-AlthoffTW #automaton
Observations on Determinization of Büchi Automata (CSA, WT, NW), pp. 262–272.
CIKMCIKM-2005-ChenFTK #automation #statistics
Statistical relationship determination in automatic thesaurus construction (LC, PF, UT, TK), pp. 267–268.
CIKMCIKM-2005-EsuliS #classification #semantics
Determining the semantic orientation of terms through gloss classification (AE, FS), pp. 617–624.
KDDKDD-2005-KoppelSZ #fault #mining
Determining an author’s native language by mining a text for errors (MK, JS, KZ), pp. 624–628.
MLDMMLDM-2005-GhoshGYB05a #learning #parametricity
Determining Regularization Parameters for Derivative Free Neural Learning (RG, MG, JY, AMB), pp. 71–79.
SIGIRSIGIR-2005-Hosanagar #approach #distributed #information retrieval
A utility theoretic approach to determining optimal wait times in distributed information retrieval (KH), pp. 91–97.
SACSAC-2005-NatarajanS #approach #data-driven
A relatedness-based data-driven approach to determination of interestingness of association rules (RN, BS), pp. 551–552.
SPLCSPLC-2005-MassenL #feature model #modelling
Determining the Variation Degree of Feature Models (TvdM, HL), pp. 82–88.
LCTESLCTES-2005-MannDLC #garbage collection #realtime
Static determination of allocation rates to support real-time garbage collection (TM, MD, RL, RC), pp. 193–202.
ICSTSAT-2005-LiH #satisfiability
Diversification and Determinism in Local Search for Satisfiability (CML, WH), pp. 158–172.
ITiCSEITiCSE-2004-To #case study
Determinants affecting organizations’ intent to adopt e-tailing: a study based on innovation theories (LMT), p. 243.
ICSMEICSM-2004-Kung #lifecycle #maintenance
Quantitative Method to Determine Software Maintenance Life Cycle (HJK), pp. 232–241.
STOCSTOC-2004-Raz #multi
Multi-linear formulas for permanent and determinant are of super-polynomial size (RR), pp. 633–641.
FLOPSFLOPS-2004-IranzoL
Analysing Definitional Trees: Looking for Determinism (PJI, CVL), pp. 55–69.
CIAACIAA-2004-ChamparnaudCP
Brute Force Determinization of NFAs by Means of State Covers (JMC, FC, TP), pp. 80–89.
ICALPICALP-2004-BojanczykC #automaton
Tree-Walking Automata Cannot Be Determinized (MB, TC), pp. 246–256.
ICEISICEIS-v3-2004-ThamF #enterprise #information management #requirements #specification
Determining Requirements and Specifications of Enterprise Information Systems for Profitability (KDT, MSF), pp. 309–316.
ICMLICML-2004-QiMPG #automation #predict
Predictive automatic relevance determination by expectation propagation (Y(Q, TPM, RWP, ZG).
ICPRICPR-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.
UMLUML-2004-CabotT #constraints
Determining the Structural Events That May Violate an Integrity Constraint (JC, ET), pp. 320–334.
PADLPADL-2004-MoralesCH #c #compilation #prolog #using
Improved Compilation of Prolog to C Using Moded Types and Determinism Information (JFM, MC, MVH), pp. 86–103.
OSDIOSDI-2004-OlshefskiNN #named
ksniffer: Determining the Remote Client Perceived Response Time from Live Packet Streams (DPO, JN, EMN), pp. 333–346.
DACDAC-2003-CarlettaVKF #fixpoint
Determining appropriate precisions for signals in fixed-point IIR filters (JC, RJV, FWK, ZF), pp. 656–661.
ICDARICDAR-2003-Schambach03a #recognition #word
Determination of the Number of Writing Variants with an HMM based Cursive Word Recognition System (MPS), p. 119–?.
WCREWCRE-2003-GallagherB #composition #empirical #equivalence #slicing
An Empirical Study of Computation Equivalence as Determined by Decomposition Slice Equivalence (KG, DB), pp. 316–322.
CIAACIAA-2003-AllauzenM #algorithm #performance
An Efficient Pre-determinization Algorithm (CA, MM), pp. 83–95.
DLTDLT-2003-HolzerK03a #automaton #nondeterminism
Flip-Pushdown Automata: Nondeterminism Is Better than Determinism (MH, MK), pp. 361–372.
ICALPICALP-2003-HromkovicS03a #automaton #finite #nondeterminism
Nondeterminism versus Determinism for Two-Way Finite Automata: Generalizations of Sipser’s Separation (JH, GS), pp. 439–451.
FMFME-2003-HayesJJ #specification
Determining the Specification of a Control System from That of Its Environment (IJH, MAJ, CBJ), pp. 154–169.
IFLIFL-2003-SeguraP #analysis #correctness #nondeterminism
Correctness of Non-determinism Analyses in a Parallel-Functional Language (CS, RP), pp. 69–85.
ICEISICEIS-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.
SEKESEKE-2003-YanZZ #independence
A Database-Independent Strategy for Confidence Determination (XY, CZ, SZ), pp. 621–625.
RERE-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.
RERE-2003-MavinM #case study #experience #generative #requirements
Determining Socio-Technical Systems Requirements: Experiences with Generating and Walking through Scenarios (AM, NAMM), pp. 213–222.
DATEDATE-2002-RahajandraibeDACMC #parametricity
Test Structure for IC(VBE) Parameter Determination of Low Voltage Applications (WR, CD, DA, BC, BM, VC), pp. 316–321.
FoSSaCSFoSSaCS-2002-PlotkinP #monad
Notions of Computation Determine Monads (GDP, JP), pp. 342–356.
ICPRICPR-v2-2002-GuillametV #matrix #metric #using
Determining a Suitable Metric when Using Non-Negative Matrix Factorization (DG, JV), pp. 128–131.
ICPRICPR-v3-2002-WangCZ #automation #classification #documentation #image
Hierarchical Content Classification and Script Determination for Automatic Document Image Processing (QW, ZC, RZ), pp. 77–80.
DATEDATE-2001-StaverenV #order
Order determination for frequency compensation of negative-feedback systems (AvS, CJMV), p. 815.
IFLIFL-2001-PenaS01a #analysis #nondeterminism
A Polynomial-Cost Non-determinism Analysis (RP, CS), pp. 121–137.
ICEISICEIS-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.
SEKESEKE-2001-VincenziNMDR #guidelines
Bayesian-Learning Based Guidelines to determine Equivalente Mutants (AMRV, EYN, JCM, MED, RAFR), pp. 180–187.
SACSAC-2001-Yfantis #algorithm #video
An algorithm for key-frame determination in digital video (EAY), pp. 312–314.
DACDAC-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.
ICALPICALP-2000-BealC #infinity #transducer #word
Determinization of Transducers over Infinite Words (MPB, OC), pp. 561–570.
IFLIFL-2000-PenaS #analysis #nondeterminism
Non-determinism Analysis in a Parallel-Functional Language (RP, CS), pp. 1–18.
CHICHI-2000-HassenzahlPBL #aspect-oriented #quality
Hedonic and ergonomic quality aspects determine a software’s appeal (MH, AP, MB, KL), pp. 201–208.
ICPRICPR-v1-2000-Brauer-BurchardtV #image #robust
Robust Vanishing Point Determination in Noisy Images (CBB, KV), pp. 1559–1562.
ICPRICPR-v2-2000-Kawatani #normalisation #polynomial #recognition
Handwritten Kanji Recognition with Determinant Normalized Quadratic Discriminant Function (TK), pp. 2343–2346.
ICPRICPR-v3-2000-AparicioG #approach #parametricity
An Approach for Determining Phong Reflectance Parameters from Real Objects (JIA, JGGB), pp. 3572–3575.
ICPRICPR-v3-2000-Sakai #network
A Network Mechanism for the Determination of Apparent Orientation (KS), pp. 3967–3970.
ICPRICPR-v3-2000-WinkNV #heuristic #using
Minimum Cost Path Determination Using a Simple Heuristic Function (OW, WJN, MAV), pp. 7010–7013.
ICPRICPR-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.
ICTSSTestCom-2000-Williams #interactive
Determination of Test Configurations for Pair-Wise Interaction Coverage (AWW), pp. 59–74.
DATEDATE-1999-TanS #diagrams #scalability #using
Interpretable Symbolic Small-Signal Characterization of Large Analog Circuits using Determinant Decision Diagrams (XDT, CJRS), pp. 448–453.
ICDARICDAR-1999-PrevostM #online #recognition
Non-supervised Determination of Allograph Sub-classes for On-line Omni-scriptor Handwriting Recognition (LP, MM), pp. 438–441.
STOCSTOC-1999-Ajtai #linear #nondeterminism
Determinism versus Non-Determinism for Linear Time RAMs (Extended Abstract) (MA), pp. 632–641.
HCIHCI-CCAD-1999-FakunGK #hypermedia #maintenance
Determinants of a successful hypermedia application to support team-based maintenance (DF, RG, JMK), pp. 202–206.
HCIHCI-EI-1999-HosonoIT #evaluation #requirements
Sensory Evaluation Method for Determining Portable Information Terminal Requirements for Nursing Care Applications (NH, HI, YT), pp. 953–957.
HCIHCI-EI-1999-Kohlisch #how #interactive
How to determine optimal system response times in interactive computer tasks (OK), pp. 201–204.
ICEISICEIS-1999-Whymark #requirements #using
Using Criticality as a Basis for Determining Information Requirements for an EIS (GKW), pp. 542–549.
RERE-1999-Potts #named #requirements
ScenIC: A Strategy for Inquiry-Driven Requirements Determination (CP), pp. 58–65.
DATEDATE-1998-LiG #algorithm #behaviour
An Algorithm To Determine Mutually Exclusive Operations In Behavioral Descriptions (JL, RKG), pp. 457–463.
VLDBVLDB-1998-MengLYWCR #database #internet
Determining Text Databases to Search in the Internet (WM, KLL, CTY, XW, YC, NR), pp. 14–25.
SASSAS-1998-Venet #automation #communication #mobile
Automatic Determination of Communication Topologies in Mobile Systems (AV), pp. 152–167.
ICALPICALP-1998-BuchsbaumGW #automaton #finite #on the
On the Determinization of Weighted Finite Automata (ALB, RG, JW), pp. 482–493.
CIAAWIA-1998-ChamparnaudZP #automaton
Determinization of Glushkov Automata (JMC, DZ, JLP), pp. 57–68.
ICFPICFP-1998-Ennals #finite #nondeterminism #reasoning
Controlled Temporal Non-Determinism for Reasoning with a Machine of Finite Speed (RE), p. 339.
ICPRICPR-1998-LeaL #automation
Semi-automated Maltese front position determination (SML, ML), pp. 1382–1386.
ICPRICPR-1998-Liu #coordination
Determination of the point of fixation in a head-fixed coordinate system (JL), pp. 501–504.
ICPRICPR-1998-TissainayagamS #algorithm #using #visual notation
Visual tracking and motion determination using the IMM algorithm (PT, DS), pp. 289–291.
ICPRICPR-1998-YogesanEB #analysis #image
Texture analysis of retinal images to determine nerve fibre loss (KY, RHE, CJB), pp. 1665–1667.
CCCC-1998-JohnstoneS #generalised parsing #parsing #recursion
Generalised Recursive Descent parsing and Fellow-Determinism (AJ, ES), pp. 16–30.
LICSLICS-1998-KupfermanV #linear
Freedom, Weakness, and Determinism: From Linear-Time to Branching-Time (OK, MYV), pp. 81–92.
DACDAC-1997-HenkelE #hardware #using
A Hardware/Software Partitioner Using a Dynamically Determined Granularity (JH, RE), pp. 691–696.
FMFME-1997-LanoBFL #nondeterminism #specification
Specification of Required Non-determinism (KL, JB, JLF, AL), pp. 298–317.
POPLPOPL-1997-CarterFH
Determining the Idle Time of a Tiling (KH, LC, JF), pp. 160–173.
SOSPSOSP-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.
ICPRICPR-1996-BasriGJ #image #multi #performance
Efficient determination of shape from multiple images containing partial information (RB, AJG, DWJ), pp. 268–274.
ICPRICPR-1996-BoddekeSGY
Fluorescence lifetime determination for application in microscopy (FRB, VMES, LKvG, ITY), pp. 854–858.
ICPRICPR-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.
KDDKDD-1996-KramerP #performance
Efficient Search for Strong Partial Determinations (SK, BP), pp. 371–374.
KDDKDD-1996-Langley #induction
Induction of Condensed Determinations (PL), pp. 327–330.
KRKR-1996-Giunchiglia #calculus
Determining Ramifications in the Situation Calculus (EG), pp. 76–86.
SACSAC-1996-MisirMC #approach #fuzzy #heuristic
A heuristic approach to determine the gains of a fuzzy PID controller (DM, HAM, GC), pp. 609–613.
ICDARICDAR-v2-1995-WeigelBR #automation #heuristic
Lexical postprocessing by heuristic search and automatic determination of the edit costs (AW, SB, JR), pp. 857–860.
CSEETCSEE-1995-Geier #approach #bibliography #delphi
The Delphi Survey Methodology: An Approach to Determine Training Needs (JDG), pp. 389–402.
SASSAS-1995-Colby #concurrent #source code
Determining Storage Properties of Sequential and Concurrent Programs with Assignment and Structured Data (CC), pp. 64–81.
ICALPICALP-1995-Le #game studies #on the
On Determining Optimal Strategies in Pursiut Games in the Plane (NML), pp. 499–510.
KDDKDD-1995-PfahringerK #evaluation
Compression-Based Evaluation of Partial Determinations (BP, SK), pp. 234–239.
SACSAC-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.
SACSAC-1995-JungG #automation #knowledge base #visualisation
Automatic determination and visualization of relationships among symptoms for building medical knowledge bases (GSJ, VNG), pp. 101–107.
SACSAC-1995-RunklerG #algorithm #multi #performance #set
Multidimensional defuzzification — fast algorithms for the determination of crisp characteristic subsets (TAR, MG), pp. 575–579.
ICALPICALP-1994-KlarlundMS #automaton
Determinizing Asynchronous Automata (NK, MM, MAS), pp. 130–141.
CHICHI-1994-BurkhartHJ94a #design
The value of a baseline in determining design success (BJB, DH, SJ), pp. 386–391.
SEKESEKE-1994-AzemB #prolog #reliability #source code
Reliability determination of Prolog programs (AA, FB), pp. 422–429.
SACSAC-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.
ICSEICSE-1994-KeaneH #approach #case study #experience #formal method #parallel
A Formal Approach to Determining Parallel Resource Bindings: Experience Report (JAK, WH), pp. 15–22.
ICDARICDAR-1993-NakayamaS #image
European language determination from image (TN, ALS), pp. 159–162.
DLTDLT-1993-PaunRS
Contextual Grammars: Erasing, Determinism, One-Side Contexts (GP, GR, AS), pp. 370–388.
FPCAFPCA-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.
CHIINTERCHI-1993-MacKenzieW #interactive #performance
Lag as a determinant of human performance in interactive systems (ISM, CW), pp. 488–493.
ICMLICML-1993-Schlimmer #algorithm
Efficiently Inducing Determinations: A Complete and Systematic Search Algorithm that Uses Optimal Pruning (JCS), pp. 284–290.
SEKESEKE-1993-AzemBJ #prolog #reliability #source code #testing
Implementation-Oriented Testing and Reliability Determination of Prolog Programs (AA, FB, OJ), pp. 526–533.
LOPSTRLOPSTR-1993-OlmedillaBH #automation #independence
Automatic Exploitation of Non-Determinate Independent And-Parallelism in the Basic Andorra Model (MO, FB, MVH), pp. 177–195.
PODSPODS-1992-BusscheG
Semi-determinism (JVdB, DVG), pp. 191–201.
SIGMODSIGMOD-1992-AikenWH #behaviour #confluence #database #termination
Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism (AA, JW, JMH), pp. 59–68.
ESOPESOP-1992-GiacobazziR #abstract interpretation #bottom-up #detection
Detecting Determinate Computations by Bottom-up Abstract Interpretation (RG, LR), pp. 167–181.
STOCSTOC-1992-Safra #automaton #exponential
Exponential Determinization for ω-Automata with Strong-Fairness Acceptance Condition (Extended Abstract) (SS), pp. 275–282.
ICMLML-1992-ZytkowZZ #fault
The First Phase of Real-World Discovery: Determining Repeatability and Error of Experiments (JMZ, JZ, RZ), pp. 480–485.
HPDCHPDC-1992-ClaytonDMW #bound #latency
Determining Update Latency Bounds in Galactica Net (SC, RJD, WM, AW), pp. 104–111.
ICALPICALP-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.
ICMLML-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.
ICMLML-1991-Quinlan #induction #logic programming
Determinate Literals in Inductive Logic Programming (JRQ), pp. 442–446.
LOPSTRLOPSTR-1991-Antoy #evaluation #lazy evaluation #logic programming #nondeterminism
Non-Determinism and Lazy Evaluation in Logic Programming (SA), pp. 318–331.
PPDPPLILP-1991-LoogenW #detection #functional
Dynamic Detection of Determinism in Functional Languages (RL, SW), pp. 335–346.
ICLPICLP-1991-MuthukumarH #abstract interpretation
Combined Determination of Sharing and Freeness of Program Variables through Abstract Interpretation (KM, MVH), pp. 49–63.
PODSPODS-1990-SaccaZ #logic programming #modelling #nondeterminism #source code
Stable Models and Non-Determinism in Logic Programs with Negation (DS, CZ), pp. 205–217.
ICALPICALP-1990-DobkinK #approach
Determining the Separation of Preprocessed Polyhedra — A Unified Approach (DPD, DGK), pp. 400–413.
CSCWCSCW-1990-AustinLM
Determinants and Patterns of Control over Technology in a Computerized Meeting Room (LCA, JKL, PLM), pp. 39–51.
SIGIRSIGIR-1990-BelkinM #information retrieval #interface
Determining the Functionality and Features of an Intelligent Interface to an Information Retrieval System (NJB, PGM), pp. 151–177.
POPLPOPL-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.
PLDIPLDI-1989-Sarkar #execution
Determining Average Program Execution Times and their Variance (VS), pp. 298–312.
FPCAFPCA-1989-Burton #behaviour #parallel #semantics #source code
Indeterminate Behavior with Determinate Semantics in Parallel Programs (FWB), pp. 340–346.
ICMLML-1989-Mahadevan #problem #using
Using Determinations in EBL: A Solution to the incomplete Theory Problem (SM), pp. 320–325.
LICSLICS-1989-EmersonJ #automaton #on the
On Simultaneously Determinizing and Complementing ω-Automata (Extended Abstract) (EAE, CSJ), pp. 333–342.
ICLPNACLP-1989-MuthukumarH #abstract interpretation #dependence
Determination of Variable Dependence Information through Abstract Interpretation (KM, MVH), pp. 166–185.
SIGIRSIGIR-1987-RaghavanD #clustering
Optimal Determination of User-Oriented Clusters (VVR, JSD), pp. 140–146.
STOCSTOC-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.
ICGTGG-1986-LuckL
From OL and IL map systems to indeterminate and determinate growth in plant morphogenesis (JL, HBL), pp. 393–410.
VLDBVLDB-1985-FischerG
Determining when a Structure is a Nested Relation (PCF, DVG), pp. 171–180.
ICSEICSE-1985-WhiteS #testing
Experiments Determining Best Paths for Testing Computer Program Predicates (LJW, PNS), pp. 238–243.
ICLPSLP-1985-SawamuraT85 #optimisation #prolog #recursion
Recursive Unsolvability of Determinacy, Solvable Cases of Determinancy and their Applications to Prolog Optimization (HS, TT), pp. 200–207.
STOCSTOC-1984-Gonnet #equivalence #polynomial #random
Determining Equivalence of Expressions in Random Polynomial Time (Extended Abstract) (GHG), pp. 334–341.
PODSPODS-1983-Skeen #process
Determining the Last Process to Fail (DS), pp. 16–24.
STOCSTOC-1982-MehlhornS #distributed
Las Vegas Is better than Determinism in VLSI and Distributed Computing (Extended Abstract) (KM, EMS), pp. 330–337.
ICALPICALP-1982-Plotkin #nondeterminism
A Powerdomain for Countable Non-Determinism (Extended Abstract) (GDP), pp. 418–428.
STOCSTOC-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.
STOCSTOC-1979-FilottiMR #graph #on the
On Determining the Genus of a Graph in O(v^O(g)) Steps (ISF, GLM, JHR), pp. 27–37.
SIGMODSIGMOD-1978-ClarkH
A Procedure for the Determination of Attribute Access Probabilities (JDC, JAH), pp. 110–117.
STOCSTOC-1978-Filotti #algorithm #graph #performance #polynomial
An Efficient Algorithm for Determining Whether a Cubic Graph is Toroidal (ISF), pp. 133–142.
ICGTGG-1978-Rajlich #relational
Determinism in Relational Systems (VR), pp. 401–408.
SIGIRSIGIR-1978-YuR
Experiments on the Determination of the Reltionships Between Terms (CTY, VVR), p. 150.
POPLPOPL-1978-Kosinki #data flow #semantics #source code
A Straightforward Denotational Semantics for Non-Determinant Data Flow Programs (PRK), pp. 214–221.
STOCSTOC-1974-Kirkpatrick #graph #matrix
Determining Graph Properties from Matrix Representations (DGK), pp. 84–90.
STOCSTOC-1973-GentlemanJ #algorithm #analysis #case study
Analysis of Algorithms, a Case Study: Determinants of Polynomials (WMG, SCJ), pp. 135–141.
SIGIRSIGIR-1971-WinklerD
File Structure Determination (AJW, AGD), pp. 133–146.
STOCSTOC-1970-BassY #complexity #set
Hierarchies Based on Computational Complexity and Irregularities of Class Determining Measured Sets (Preliminary Report) (LJB, PRY), pp. 37–40.

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