## Stem condit$ (all stems)

### 549 papers:

- CASE-2015-MeddouriDF #analysis #generative #induction #performance #predict #using
- Performance analysis of an autonomous induction generator under different operating conditions using predictive control (SM, LAD, LF), pp. 1118–1124.
- DAC-2015-DunbarQ
- A practical circuit fingerprinting method utilizing observability don’t care conditions (CD, GQ), p. 6.
- DAC-2015-RoyLUP #multi #named #optimisation #paradigm #performance
- OSFA: a new paradigm of gate-sizing for power/performance optimizations under multiple operating conditions (SR, DL, JU, DZP), p. 6.
- DATE-2015-NiemannHGW #formal method #generative #modelling
- Assisted generation of frame conditions for formal models (PN, FH, MG, RW), pp. 309–312.
- DATE-2015-RajendranRadhika
- Path selection based acceleration of conditionals in CGRAs (SR, AS, MH), pp. 121–126.
- DATE-2015-ZwergerG #detection #symmetry
- Detection of asymmetric aging-critical voltage conditions in analog power-down mode (MZ, HEG), pp. 1269–1272.
- VLDB-2015-VengerovMZC #estimation
- Join Size Estimation Subject to Filter Conditions (DV, ACM, MZ, SC), pp. 1530–1541.
- STOC-2015-Moitra #matrix
- Super-resolution, Extremal Functions and the Condition Number of Vandermonde Matrices (AM), pp. 821–830.
- GCM-2015-BottoniNP #constraints #contract #modelling #policy
- Conditions, Constraints and Contracts: On the Use of Annotations for Policy Modeling (PB, RN, FPP), pp. 18–33.
- GCM-2015-Flick #correctness #graph #on the #recursion #source code
- On Correctness of Graph Programs Relative to Recursively Nested Conditions (NEF), pp. 97–112.
- ICGT-2015-DyckG #induction #invariant
- Inductive Invariant Checking with Partial Negative Application Conditions (JD, HG), pp. 237–253.
- HCI-IT-2015-SakoNK #estimation #random
- Violin Fingering Estimation According to the Performer’s Skill Level Based on Conditional Random Field (SS, WN, TK), pp. 485–494.
- HIMI-IKC-2015-ZhouI #adaptation #behaviour
- Effect of Adaptive Caution on Driver’s Lane-Change Behavior under Cognitively Distracted Condition (HZ, MI), pp. 262–271.
- ICEIS-v1-2015-SilveiraCC #fault #monitoring #testing
- Monitoring and Diagnosis of Faults in Tests of Rational Agents based on Condition-action Rules (FRdVS, GALdC, MIC), pp. 585–592.
- ICML-2015-YouV #geometry
- Geometric Conditions for Subspace-Sparse Recovery (CY, RV), pp. 1585–1593.
- KDD-2015-DentonWPBF #hashtag #image #predict
- User Conditional Hashtag Prediction for Images (ED, JW, MP, LDB, RF), pp. 1731–1740.
- SIGIR-2015-HarelY #clustering #identification #query
- Modularity-Based Query Clustering for Identifying Users Sharing a Common Condition (MGOH, EYT), pp. 819–822.
- MoDELS-2015-NiemannHGW #contract
- Extracting frame conditions from operation contracts (PN, FH, MG, RW), pp. 266–275.
- ECOOP-2015-DongolDGS #architecture #concurrent #correctness #manycore
- Defining Correctness Conditions for Concurrent Objects in Multicore Architectures (BD, JD, LG, GS), pp. 470–494.
- OOPSLA-2015-0001SCA
- Conditionally correct superoptimization (RS, ES, BRC, AA), pp. 147–162.
- PPDP-2015-AngelisFPP #generative #semantics #verification
- Semantics-based generation of verification conditions by program specialization (EDA, FF, AP, MP), pp. 91–102.
- SAC-2015-FonsecaNRP #execution #parallel #realtime
- A multi-DAG model for real-time parallel applications with conditional execution (JCF, VN, GR, LMP), pp. 1925–1932.
- ESEC-FSE-2015-LongR #program repair #staged #synthesis
- Staged program repair with condition synthesis (FL, MR), pp. 166–178.
- ICSE-v1-2015-RheinGAS0B #configuration management
- Presence-Condition Simplification in Highly Configurable Systems (AvR, AG, SA, NS, DB, TB), pp. 178–188.
- ASPLOS-2015-Sidiroglou-Douskos #automation #branch #integer #using
- Targeted Automatic Integer Overflow Discovery Using Goal-Directed Conditional Branch Enforcement (SSD, EL, NR, PP, FL, DK, MCR), pp. 473–486.
- CGO-2015-OanceaR #analysis #induction #scalability
- Scalable conditional induction variables (CIV) analysis (CEO, LR), pp. 213–224.
- CAV-2015-DSilvaU #termination
- Conflict-Driven Conditional Termination (VD, CU), pp. 271–286.
- ISSTA-2015-AdamsenMM #android #execution #testing
- Systematic execution of Android test suites in adverse conditions (CQA, GM, AM), pp. 83–93.
- RTA-2015-KopMS #complexity
- Conditional Complexity (CK, AM, TS), pp. 223–240.
- CBSE-2014-DidierM #approach #component #detection
- A new approach to detect potential race conditions in component-based systems (JYD, MM), pp. 97–106.
- CASE-2014-LeeJMC #framework #identification #recognition #robust
- Iterative identification framework for robust hand-written digit recognition under extremely noisy conditions (HL, SJ, TM, NYC), pp. 728–733.
- CASE-2014-LiuLS #monitoring
- A wavelet-based characteristic vector construction method for machining condition monitoring (CL, YL, WS), pp. 304–308.
- DRR-2014-TaoTX #documentation #learning #random #using
- Document page structure learning for fixed-layout e-books using conditional random fields (XT, ZT, CX), p. ?–9.
- TACAS-2014-BaierKKM #markov #modelling
- Computing Conditional Probabilities in Markovian Models Efficiently (CB, JK, SK, SM), pp. 515–530.
- WRLA-2014-AguirreMPP #logic #maude
- Conditional Narrowing Modulo in Rewriting Logic and Maude (LA, NMO, MP, IP), pp. 80–96.
- SAS-2014-UrbanM #abstract domain #proving #termination
- A Decision Tree Abstract Domain for Proving Conditional Termination (CU, AM), pp. 302–318.
- ICGT-2014-CorradiniH #canonical
- Canonical Derivations with Negative Application Conditions (AC, RH), pp. 207–221.
- CHI-2014-GilliotCR
- Impact of form factors and input conditions on absolute indirect-touch pointing tasks (JG, GC, NR), pp. 723–732.
- CSCW-2014-XuSL #convergence
- Achieving convergence in operational transformation: conditions, mechanisms and systems (YX, CS, ML), pp. 505–518.
- DUXU-TMT-2014-Greiner-PetterM #design
- Reframing Design under Technical Conditions (MGP, CM), pp. 96–103.
- ECIR-2014-MarcheggianiTE0 #aspect-oriented #mining #multi #random
- Hierarchical Multi-label Conditional Random Fields for Aspect-Oriented Opinion Mining (DM, OT, AE, FS), pp. 273–285.
- ICML-c2-2014-AhmedTBZDKB #detection #random
- Hierarchical Conditional Random Fields for Outlier Detection: An Application to Detecting Epileptogenic Cortical Malformations (BA, TT, KB, YZ, OD, RK, CEB), pp. 1080–1088.
- ICML-c2-2014-DaneshmandGSS #algorithm #complexity #network
- Estimating Diffusion Network Structures: Recovery Conditions, Sample Complexity & Soft-thresholding Algorithm (HD, MGR, LS, BS), pp. 793–801.
- ICML-c2-2014-ZhouLPM
- Aggregating Ordinal Labels from Crowds by Minimax Conditional Entropy (DZ, QL, JCP, CM), pp. 262–270.
- ICPR-2014-BoukermaBF #recognition
- NSHP-HMM Based on Conditional Zone Observation Probabilities for Off-Line Handwriting Recognition (HB, AB, NF), pp. 2961–2965.
- ICPR-2014-FerisBPS #detection
- Appearance-Based Object Detection Under Varying Environmental Conditions (RF, LMGB, SP, MTS), pp. 166–171.
- ICPR-2014-HusainDT #random #using
- Recognizing Point Clouds Using Conditional Random Fields (FH, BD, CT), pp. 4257–4262.
- ICPR-2014-KimK #estimation #image #multi #pattern matching #robust
- Robust Surface Pattern Matching for Ball Spin Estimation with Multi-exposed Images Under Varying Illumination Conditions (JK, MK), pp. 4560–4563.
- ICPR-2014-SattaGB #gender #information management #recognition
- Children Gender Recognition Under Unconstrained Conditions Based on Contextual Information (RS, JG, LB), pp. 357–362.
- ICPR-2014-WuJ #detection #learning
- Learning the Deep Features for Eye Detection in Uncontrolled Conditions (YW, QJ), pp. 455–459.
- KDD-2014-SudhofEMP #sentiment #social
- Sentiment expression conditioned by affective transitions and social forces (MS, AGE, ALM, CP), pp. 1136–1145.
- KDIR-2014-KudamaL #random #semantics #using
- Semantic Annotation of UMLS using Conditional Random Fields (SK, RBL), pp. 335–341.
- LOPSTR-2014-LucasMG #2d #dependence #framework #term rewriting
- Extending the 2D Dependency Pair Framework for Conditional Term Rewriting Systems (SL, JM, RG), pp. 113–130.
- SAC-2014-KluschMKS #monitoring #named #semantics
- ICM-Wind: semantics-empowered fluid condition monitoring of wind turbines (MK, APM, PK, AS), pp. 308–315.
- SAC-2014-PaulL #bibliography
- A systematic literature review on modified condition and decision coverage (TKP, MFL), pp. 1301–1308.
- FSE-2014-DingesA #heuristic
- Solving complex path conditions through heuristic search on induced polytopes (PD, GAA), pp. 425–436.
- ICSE-2014-AndroutsopoulosCDHH #analysis #fault #testing
- An analysis of the relationship between conditional entropy and failed error propagation in software testing (KA, DC, HD, RMH, MH), pp. 573–583.
- HPCA-2014-QiMAT #detection
- Dynamically detecting and tolerating IF-Condition Data Races (SQ, AM, WA, JT), pp. 120–131.
- IJCAR-2014-OlivettiP #calculus #implementation #logic #named
- NESCOND: An Implementation of Nested Sequent Calculi for Conditional Logics (NO, GLP), pp. 511–518.
- RTA-TLCA-2014-SternagelM #confluence
- Conditional Confluence (System Description) (TS, AM), pp. 456–465.
- SAT-2014-JarvisaloK #bound
- Conditional Lower Bounds for Failed Literals and Related Techniques (MJ, JHK), pp. 75–84.
- VMCAI-2014-AngelisFPP #array #source code #verification
- Verifying Array Programs by Transforming Verification Conditions (EDA, FF, AP, MP), pp. 182–202.
- VMCAI-2014-Masse #policy #ranking #termination
- Policy Iteration-Based Conditional Termination and Ranking Functions (DM), pp. 453–471.
- CASE-2013-WilsonM #design #estimation #parametricity
- Optimal trajectory design for well-conditioned parameter estimation (ADW, TDM), pp. 13–19.
- DocEng-2013-SatkhozhinaAA #random #recognition #using
- Optical font recognition using conditional random field (AS, IA, JPA), pp. 119–122.
- ICDAR-2013-RayCC #random #recognition #using
- Character Recognition Using Conditional Random Field Based Recognition Engine (AR, AC, SC), pp. 18–22.
- ICDAR-2013-ShivramZSNG #online #random #recognition #segmentation #word
- Segmentation Based Online Word Recognition: A Conditional Random Field Driven Beam Search Strategy (AS, BZ, SS, MN, VG), pp. 852–856.
- ICDAR-2013-ZhouTLW #markov #random #recognition #using
- Minimum Risk Training for Handwritten Chinese/Japanese Text Recognition Using Semi-Markov Conditional Random Fields (XDZ, FT, CLL, HW), pp. 940–944.
- FASE-2013-LeoniDG #branch #execution #process
- Discovering Branching Conditions from Business Process Execution Logs (MdL, MD, LGB), pp. 114–129.
- STOC-2013-Ta-Shma #matrix #quantum
- Inverting well conditioned matrices in quantum logspace (ATS), pp. 881–890.
- LATA-2013-Tveretina #bound
- A Conditional Superpolynomial Lower Bound for Extended Resolution (OT), pp. 559–569.
- GCM-J-2012-Radke #graph #higher-order #monad
- HR* Graph Conditions Between Counting Monadic Second-Order and Second-Order Graph Formulas (HR).
- GT-VMT-2013-Corradini #concurrent #semantics
- Invited Talk: On the Concurrent Semantics of Transformation Systems with Negative Application Conditions (AC).
- CHI-2013-LugerMR #complexity
- Consent for all: revealing the hidden complexity of terms and conditions (EL, SM, TR), pp. 2687–2696.
- DUXU-CXC-2013-MarchettiB #game studies #learning
- Setting Conditions for Learning: Mediated Play and Socio-material Dialogue (EM, EPB), pp. 238–246.
- DUXU-NTE-2013-WaldronS
- Calculation of Areas of Permanence in Public Spaces, According to Solar Radiation Simulated Conditions (JAW, JHS), pp. 215–223.
- HCI-IMT-2013-RyuLYL #gesture #interface
- Conditions of Applications, Situations and Functions Applicable to Gesture Interface (TR, JL, MHY, JHL), pp. 368–377.
- HCI-UC-2013-KellenCF #diagrams #performance #probability #problem
- Improving User Performance in Conditional Probability Problems with Computer-Generated Diagrams (VK, SSC, XF), pp. 183–192.
- HCI-UC-2013-KobayashiYOO #community #people #problem
- The Present Condition and Problems for Elderly People Participating in Communities (NK, SY, KO, AO), pp. 307–313.
- EDOC-2013-MukkamalaHS #adaptation #graph #towards
- Towards Trustworthy Adaptive Case Management with Dynamic Condition Response Graphs (RRM, TTH, TS), pp. 127–136.
- ICML-c1-2013-RamdasS #optimisation #probability
- Optimal rates for stochastic convex optimization under Tsybakov noise condition (AR, AS), pp. 365–373.
- ICML-c3-2013-ReddiP #dependence #invariant #metric
- Scale Invariant Conditional Dependence Measures (SJR, BP), pp. 1355–1363.
- ICML-c3-2013-WytockK #algorithm #energy #random #theory and practice
- Sparse Gaussian Conditional Random Fields: Algorithms, Theory, and Application to Energy Forecasting (MW, JZK), pp. 1265–1273.
- ICML-c3-2013-ZhangSMW #adaptation
- Domain Adaptation under Target and Conditional Shift (KZ, BS, KM, ZW), pp. 819–827.
- KDIR-KMIS-2013-Lindner #constraints #parsing #random #using
- Using Conditional Random Fields with Constraints to Train Support Vector Machines — Locating and Parsing Bibliographic References (SL), pp. 28–36.
- KDIR-KMIS-2013-MelnichenkoB #automation #image #low level #random
- Automatic Image Annotation with Low-level Features and Conditional Random Fields (AM, AB), pp. 197–201.
- MLDM-2013-SouzaP #random #recognition #word
- Sign Language Recognition with Support Vector Machines and Hidden Conditional Random Fields: Going from Fingerspelling to Natural Articulated Words (CRdS, EBP), pp. 84–98.
- SIGIR-2013-AbdulahhadCB #nondeterminism #probability #question
- Is uncertain logical-matching equivalent to conditional probability? (KA, JPC, CB), pp. 825–828.
- ECOOP-2013-HeuleKMS #abstraction #generative #logic #verification
- Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions (SH, ITK, PM, AJS), pp. 451–476.
- SAC-2013-AlnusairZY #automation #design #recognition #semantics #using
- Automatic recognition of design motifs using semantic conditions (AA, TZ, GY), pp. 1062–1067.
- SAC-2013-BanerjeeSS #detection #monitoring #using
- Participatory sensing based traffic condition monitoring using horn detection (RB, AS, AS), pp. 567–569.
- ICSE-2013-WhalenGYHS
- Observable modified Condition/Decision coverage (MWW, GG, DY, MPEH, MS), pp. 102–111.
- CAV-2013-KongHSHG #generative #hybrid #safety #verification
- Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems (HK, FH, XS, WNNH, MG), pp. 242–257.
- CSL-2013-ChatterjeeF #game studies #infinity
- Infinite-state games with finitary conditions (KC, NF), pp. 181–196.
- LICS-2013-Halpern #first-order #logic #proving #security #using
- From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic (JYH), pp. 2–3.
- TLCA-2013-Blot #game studies
- Realizability for Peano Arithmetic with Winning Conditions in HON Games (VB), pp. 77–92.
- CASE-2012-EndoNH #energy #estimation
- Simplified Factory Energy Management System based on operational condition estimation by sensor data (ME, HN, YH), pp. 14–19.
- CASE-2012-SugiyamaNITU #approach #composition #problem
- A bilevel decomposition approach to railway crew rostering problems for fair labor condition (TS, TN, MI, ST, KU), pp. 383–389.
- WRLA-J-2010-DuranM12 #on the #order
- On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories (FD, JM), pp. 816–850.
- FoSSaCS-2012-HulsbuschK #bisimulation
- Deriving Bisimulation Congruences for Conditional Reactive Systems (MH, BK), pp. 361–375.
- TACAS-2012-BozgaIK #termination
- Deciding Conditional Termination (MB, RI, FK), pp. 252–266.
- ICPC-2012-Zhang #product line
- Extraction and improvement of conditionally compiled product line code (BZ), pp. 257–258.
- STOC-2012-ChakrabartiFW #multi #network #problem
- When the cut condition is enough: a complete characterization for multiflow problems in series-parallel networks (AC, LF, CW), pp. 19–26.
- DLT-2012-DennunzioFP
- Acceptance Conditions for ω-Languages (AD, EF, JP), pp. 320–331.
- FM-2012-AlpuenteBFR #named #slicing
- Julienne: A Trace Slicer for Conditional Rewrite Theories (MA, DB, FF, DR), pp. 28–32.
- ICGT-2012-KonigS #graph transformation
- Well-Structured Graph Transformation Systems with Negative Application Conditions (BK, JS), pp. 81–95.
- CAiSE-2012-BoerLBGAGTBAA #distributed #information management #interface #named
- RadioMarché: Distributed Voice- and Web-Interfaced Market Information Systems under Rural Conditions (VdB, PDL, AB, NBG, CvA, CG, WT, SB, MA, HA), pp. 518–532.
- CIKM-2012-BauckmannALMN #dependence
- Discovering conditional inclusion dependencies (JB, ZA, UL, HM, FN), pp. 2094–2098.
- CIKM-2012-WangZCM #network #retrieval #using
- Top-k retrieval using conditional preference networks (HW, XZ, WC, PM), pp. 2075–2079.
- ICML-2012-BachLO #algorithm #equivalence #on the
- On the Equivalence between Herding and Conditional Gradient Algorithms (FRB, SLJ, GO), p. 176.
- ICML-2012-BracegirdleB
- Bayesian Conditional Cointegration (CB, DB), p. 220.
- ICML-2012-GrunewalderLGBPP
- Conditional mean embeddings as regressors (SG, GL, AG, LB, SP, MP), p. 234.
- ICML-2012-XuL #multi
- Conditional Sparse Coding and Grouped Multivariate Regression (MX, JDL), p. 116.
- ICPR-2012-HinoWM #slicing
- Sliced inverse regression with conditional entropy minimization (HH, KW, NM), pp. 1185–1188.
- ICPR-2012-KanekoTAT
- Daylight spectrum model under weather conditions from clear sky to cloudy (EK, MT, HA, MT), pp. 1438–1435.
- ICPR-2012-MadabusiG #detection #image
- Edge detection for facial images under noisy conditions (SM, SVG), pp. 2689–2693.
- ICPR-2012-Utasi #classification #dataset
- Weighted conditional mutual information based boosting for classification of imbalanced datasets (ÁU), pp. 2711–2714.
- ICPR-2012-XuanSCS #algorithm #using
- An Enhanced EM algorithm using maximum entropy distribution as initial condition (GX, YQS, PC, PS), pp. 849–852.
- ICPR-2012-YlioinasHP #classification #using
- Age Classification in Unconstrained Conditions Using LBP Variants (JY, AH, MP), pp. 1257–1260.
- KDIR-2012-ChueaphunKMC #nearest neighbour #random #recognition #using
- Lanna Dharma Printed Character Recognition using k-Nearest Neighbor and Conditional Random Fields (CC, AK, SM, JC), pp. 169–174.
- KDIR-2012-LindnerH #constraints #learning #maintenance #parsing #random
- Parsing and Maintaining Bibliographic References — Semi-supervised Learning of Conditional Random Fields with Constraints (SL, WH), pp. 233–238.
- KR-2012-GrauHKKMMW #logic #query
- Acyclicity Conditions and their Application to Query Answering in Description Logics (BCG, IH, MK, CK, DM, BM, ZW).
- LOPSTR-2012-NishidaV #term rewriting
- Computing More Specific Versions of Conditional Rewriting Systems (NN, GV), pp. 137–154.
- SAC-2012-CruzFP #source code #verification
- Verification conditions for single-assignment programs (DCdC, MJF, JSP), pp. 1264–1270.
- FSE-2012-BeyerHKW #model checking #verification
- Conditional model checking: a technique to pass information between verifiers (DB, TAH, MEK, PW), p. 57.
- ICSE-2012-AlrajehKLRU #generative #requirements
- Generating obstacle conditions for requirements completeness (DA, JK, AvL, AR, SU), pp. 705–715.
- ISSTA-2012-StrejcekT
- Abstracting path conditions (JS, MT), pp. 155–165.
- ISSTA-2012-ZhaiXCT #approach #named #parallel #thread
- CARISMA: a context-sensitive approach to race-condition sample-instance selection for multithreaded applications (KZ, BX, WKC, THT), pp. 221–231.
- RTA-2012-GmeinerGS #on the #term rewriting
- On Soundness Conditions for Unraveling Deterministic Conditional Rewrite Systems (KG, BG, FS), pp. 193–208.
- DAC-2011-KernZSNT #network
- Accuracy of ethernet AVB time synchronization under varying temperature conditions for automotive networks (AK, HZ, TS, JN, JT), pp. 597–602.
- DocEng-2011-ColineauPL
- Expressing conditions in tailored brochures for public administration (NC, CP, KVL), pp. 209–218.
- ICDAR-2011-MandalRP #documentation #random #segmentation #using
- Signature Segmentation from Machine Printed Documents Using Conditional Random Field (RM, PPR, UP), pp. 1170–1174.
- ICDAR-2011-PengCPN #random #using #video
- Text Extraction from Video Using Conditional Random Fields (XP, HC, RP, PN), pp. 1029–1033.
- ICDAR-2011-VinelDA #feature model #linear #optimisation #random
- Joint Optimization of Hidden Conditional Random Fields and Non Linear Feature Extraction (AV, TMTD, TA), pp. 513–517.
- ICDAR-2011-ZhangLYDW #random #recognition #using
- An Improved Scene Text Extraction Method Using Conditional Random Field and Optical Character Recognition (HZ, CL, CY, XD, KW), pp. 708–712.
- ICDAR-2011-ZhouYWWNL #random #using
- Transcript Mapping for Handwritten Text Lines Using Conditional Random Fields (XDZ, FY, DHW, QFW, MN, CLL), pp. 58–62.
- SIGMOD-2011-MeliouGNS #fault
- Tracing data errors with view-conditioned causality (AM, WG, SN, DS), pp. 505–516.
- CSMR-2011-CoutoVF #case study #compilation #product line #using
- Extracting Software Product Lines: A Case Study Using Conditional Compilation (MVC, MTV, EF), pp. 191–200.
- ICSM-2011-SoaresMG #identification #implementation #refactoring
- Identifying overly strong conditions in refactoring implementations (GS, MM, RG), pp. 173–182.
- PLDI-2011-KimR #commutative #data type #linked data #open data #semantics #verification
- Verification of semantic commutativity conditions and inverse operations on linked data structures (DK, MCR), pp. 528–541.
- DLT-2011-Zetzsche
- A Sufficient Condition for Erasing Productions to Be Avoidable (GZ), pp. 452–463.
- GCM-2010-GolasEH11 #graph grammar #model transformation #specification
- Formal Specification of Model Transformations by Triple Graph Grammars with Application Conditions (UG, HE, FH).
- DUXU-v2-2011-MatsumotoINI #biology
- An Air Conditioning Control Method Based on Biological Fluctuation (HM, YI, YN, HI), pp. 608–615.
- HCD-2011-WangY #semantics
- Semantic-Conditioned Peripheral Vision Acuity Fading Awareness (PVAFA) (MCW, MY), pp. 340–347.
- EDOC-2011-HildebrandtMS #design #graph #using
- Designing a Cross-Organizational Case Management System Using Dynamic Condition Response Graphs (TTH, RRM, TS), pp. 161–170.
- CIKM-2011-DasSF #documentation #modelling
- Simultaneous joint and conditional modeling of documents tagged from two perspectives (PD, RKS, YF), pp. 1353–1362.
- CIKM-2011-LiuCZH #learning #random
- Learning conditional random fields with latent sparse features for acronym expansion finding (JL, JC, YZ, YH), pp. 867–872.
- ECIR-2011-ZhouH #comprehension #learning #natural language #random
- Learning Conditional Random Fields from Unaligned Data for Natural Language Understanding (DZ, YH), pp. 283–288.
- KDD-2011-ZhuLCX #performance #topic
- Conditional topical coding: an efficient topic model conditioned on rich features (JZ, NL, NC, EPX), pp. 475–483.
- KEOD-2011-TutcherRE #development #maintenance #monitoring #multi #semantics
- Integrating Railway Maintenance Data — Development of a Semantic Data Model to Support Condition Monitoring Data from Multiple Sources (JT, CR, JME), pp. 442–444.
- MLDM-2011-LiHO #clique #correlation #performance
- Contrasting Correlations by an Efficient Double-Clique Condition (AL, MH, YO), pp. 469–483.
- SIGIR-2011-WangWZH #learning #online #random
- Learning online discussion structures by conditional random fields (HW, CW, CZ, JH), pp. 435–444.
- OOPSLA-2011-KastnerGREOB #compilation #metaprogramming #parsing #variability
- Variability-aware parsing in the presence of lexical macros and conditional compilation (CK, PGG, TR, SE, KO, TB), pp. 805–824.
- OOPSLA-2011-MadhavanK #analysis #approximate #null #verification
- Null dereference verification via over-approximated weakest pre-conditions analysis (RM, RK), pp. 1033–1052.
- SAC-2011-OgnjanovicGBA
- Conditional preferences in software stakeholders’ judgments (IO, DG, EB, MA), pp. 683–690.
- ESEC-FSE-2011-Ben-DavidCGU #logic #named #specification
- CSSL: a logic for specifying conditional scenarios (SBD, MC, AG, SU), pp. 37–47.
- CGO-2011-BorinWBW #commit #named #scalability
- LAR-CC: Large atomic regions with conditional commits (EB, YW, MBJ, CW), pp. 54–63.
- LICS-2011-AckermanFR
- Noncomputable Conditional Distributions (NLA, CEF, DMR), pp. 107–116.
- RTA-2011-NishidaSS #term rewriting
- Soundness of Unravelings for Deterministic Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity (NN, MS, TS), pp. 267–282.
- CASE-2010-DahaneR #integration #process
- Integration of subcontracting activity in a production planning for randomly failing manufacturing system: Feasibility and profitability conditions (MD, NR), pp. 100–105.
- CASE-2010-JiangKM #monitoring #predict
- Residual life prediction for systems subject to condition monitoring (RJ, MJK, VM), pp. 106–111.
- DATE-2010-AhlendorfG #challenge #design #hardware #monitoring #power management
- Hardware / software design challenges of low-power sensor nodes for condition monitoring (HA, LG), p. 659.
- VLDB-2010-TranMDPL #data type #nondeterminism
- Conditioning and Aggregating Uncertain Data Streams: Going Beyond Expectations (TTLT, AM, YD, LP, AL), pp. 1302–1313.
- WRLA-2010-DuranM #equation #maude #order #specification
- A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications (FD, JM), pp. 69–85.
- WRLA-2010-DuranM10a #maude #order
- A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories (FD, JM), pp. 86–103.
- PEPM-2010-LiO #automaton
- Conditional weighted pushdown systems and applications (XL, MO), pp. 141–150.
- STOC-2010-Svensson #precedence #scheduling
- Conditional hardness of precedence constrained scheduling on identical machines (OS), pp. 745–754.
- DLT-2010-RestivoV #automaton
- Automata with Extremal Minimality Conditions (AR, RV), pp. 399–410.
- GT-VMT-2010-RehakSSH #decidability
- Decidable Race Condition and Open Coregions in HMSC (VR, PS, JS, LH).
- ICGT-2010-EhrigHLOG #confluence
- Local Confluence for Rules with Nested Application Conditions (HE, AH, LL, FO, UG), pp. 330–345.
- ICGT-2010-Radke #correctness #graph #source code
- Correctness of Graph Programs Relative to HR
^{ + }Conditions (HR), pp. 410–412. - AdaEurope-2010-Keul #detection #version control
- Static Versioning of Global State for Race Condition Detection (SK), pp. 111–124.
- ICML-2010-BradleyG #learning #random
- Learning Tree Conditional Random Fields (JKB, CG), pp. 127–134.
- ICML-2010-DeselaersF #learning #multi #random
- A Conditional Random Field for Multiple-Instance Learning (TD, VF), pp. 287–294.
- ICML-2010-KolarPX #on the #parametricity
- On Sparse Nonparametric Conditional Covariance Selection (MK, APP, EPX), pp. 559–566.
- ICML-2010-Yu #convergence #difference
- Convergence of Least Squares Temporal Difference Methods Under General Conditions (HY), pp. 1207–1214.
- ICML-2010-ZhuX #random #topic
- Conditional Topic Random Fields (JZ, EPX), pp. 1239–1246.
- ICPR-2010-CiompiPR #approach #random #using
- A Meta-Learning Approach to Conditional Random Fields Using Error-Correcting Output Codes (FC, OP, PR), pp. 710–713.
- ICPR-2010-DeufemiaRT #recognition #sketching
- Sketched Symbol Recognition with a Latent-Dynamic Conditional Model (VD, MR, GT), pp. 1100–1103.
- ICPR-2010-ElmezainAM #gesture #random #recognition #robust #segmentation #using
- A Robust Method for Hand Gesture Segmentation and Recognition Using Forward Spotting Scheme in Conditional Random Fields (ME, AAH, BM), pp. 3850–3853.
- ICPR-2010-Gonzalez-CaravacaTP
- Phone-Conditioned Suboptimal Wiener Filtering (GGC, DTT, MP), pp. 4480–4483.
- ICPR-2010-LuWD #detection #random
- Part Detection, Description and Selection Based on Hidden Conditional Random Fields (WL, SW, XD), pp. 657–660.
- ICPR-2010-OkumuraTA #random #recognition #segmentation
- Generic Object Recognition by Tree Conditional Random Field Based on Hierarchical Segmentation (TO, TT, YA), pp. 3025–3028.
- ICPR-2010-PohKMMB #adaptation
- Model and Score Adaptation for Biometric Systems: Coping With Device Interoperability and Changing Acquisition Conditions (NP, JK, SM, DM, JFB), pp. 1229–1232.
- ICPR-2010-PuertasRFOE #comprehension #forensics #performance #recognition #towards
- Towards a Better Understanding of the Performance of Latent Fingerprint Recognition in Realistic Forensic Conditions (MP, DR, JF, JOG, NE), pp. 1638–1641.
- ICPR-2010-SerranoASVO #image #retrieval
- Unsupervised Image Retrieval with Similar Lighting Conditions (JFS, CAC, HS, JVC, GO), pp. 4368–4371.
- ICPR-2010-SethP #independence #parametricity
- A Test of Granger Non-causality Based on Nonparametric Conditional Independence (SS, JCP), pp. 2620–2623.
- ICPR-2010-UekiSI #adaptation #estimation
- Perceived Age Estimation under Lighting Condition Change by Covariate Shift Adaptation (KU, MS, YI), pp. 3400–3403.
- ICPR-2010-YangL10a #random #recognition #robust
- Robust Sign Language Recognition with Hierarchical Conditional Random Fields (HDY, SWL), pp. 2202–2205.
- KDIR-2010-CamposMO #random #recognition #using
- Recognition of Gene/Protein Names using Conditional Random Fields (DC, SM, JLO), pp. 275–280.
- KDIR-2010-ZhangSF #random
- Conditional Random Fields for Term Extraction (XZ, YS, ACF), pp. 414–417.
- KR-2010-Kern-IsbernerT #novel #probability #relational #semantics
- Novel Semantical Approaches to Relational Probabilistic Conditionals (GKI, MT).
- SEKE-2010-BackerM #algorithm #network
- Evaluating the Weighted Sum Algorithm for Estimating Conditional Probabilities in Bayesian Networks (SB, EM), pp. 319–324.
- SEKE-2010-PimentelSC #requirements
- Conditions for ignoring failures based on a requirements model (JP, ES, JC), pp. 48–53.
- SIGIR-2010-Roussinov #aspect-oriented #verification
- Aspect presence verification conditional on other aspects (DR), pp. 865–866.
- ICMT-2010-CabotCGL #graph transformation #ocl #synthesis
- Synthesis of OCL Pre-conditions for Graph Transformation Rules (JC, RC, EG, JdL), pp. 45–60.
- PADL-2010-ChristakisS #detection #erlang #static analysis
- Static Detection of Race Conditions in Erlang (MC, KFS), pp. 119–133.
- SAC-2010-VogelsJP #generative #performance #proving #verification
- A machine-checked soundness proof for an efficient verification condition generator (FV, BJ, FP), pp. 2517–2522.
- LDTA-2010-CortesiH #dependence #graph #semantics #slicing
- Dependence condition graph for semantics-based abstract program slicing (AC, RH), p. 4.
- LICS-2010-BartoK #csp
- New Conditions for Taylor Varieties and CSP (LB, MK), pp. 100–109.
- LICS-2010-Mellies
- Segal Condition Meets Computational Effects (PAM), pp. 150–159.
- ASE-2009-ThummalapentaX #detection #mining #named
- Alattin: Mining Alternative Patterns for Detecting Neglected Conditions (ST, TX), pp. 283–294.
- DAC-2009-ChouCK #synthesis
- Handling don’t-care conditions in high-level synthesis and application for reducing initialized registers (HZC, KHC, SYK), pp. 412–415.
- DATE-2009-PollexKAS #bound #worst-case
- Improved worst-case response-time calculations by upper-bound conditions (VP, SK, KA, FS), pp. 105–110.
- ICDAR-2009-KukC #documentation #image
- Feature Based Binarization of Document Images Degraded by Uneven Light Condition (JGK, NIC), pp. 748–752.
- ICDAR-2009-MontreuilGHN #2d #documentation #layout #random #using
- Unconstrained Handwritten Document Layout Extraction Using 2D Conditional Random Fields (FM, EG, LH, SN), pp. 853–857.
- ICDAR-2009-PanHL #image #locality #random
- Text Localization in Natural Scene Images Based on Conditional Random Field (YFP, XH, CLL), pp. 6–10.
- ICDAR-2009-ZhouLN #online #random #recognition #string #using
- Online Handwritten Japanese Character String Recognition Using Conditional Random Fields (XDZ, CLL, MN), pp. 521–525.
- SIGMOD-2009-CormodeGKMSZ #dependence #functional
- Estimating the confidence of conditional functional dependencies (GC, LG, FK, AM, DS, XZ), pp. 469–482.
- FoSSaCS-2009-AlurDMW #on the
- On ω-Languages Defined by Mean-Payoff Conditions (RA, AD, OM, GW), pp. 333–347.
- STOC-2009-ODonnellW #satisfiability
- Conditional hardness for satisfiable 3-CSPs (RO, YW), pp. 493–502.
- LATA-2009-Masopust #context-free grammar #generative #power of
- A Note on the Generative Power of Some Simple Variants of Context-Free Grammars Regulated by Context Conditions (TM), pp. 554–565.
- ICFP-2009-ClaessenPSHSAW #erlang #quickcheck
- Finding race conditions in Erlang with QuickCheck and PULSE (KC, MHP, NS, JH, HS, TA, UTW), pp. 149–160.
- GT-VMT-2009-EhrigHS #correctness #graph grammar #model transformation
- Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions (HE, FH, CS), pp. 67–84.
- HCI-VAD-2009-ChalfounF #3d #learning
- Optimal Affective Conditions for Subconscious Learning in a 3D Intelligent Tutoring System (PC, CF), pp. 39–48.
- CIKM-2009-XinKDL #framework #multi #random #recommendation #social
- A social recommendation framework based on multi-scale continuous conditional random fields (XX, IK, HD, MRL), pp. 1247–1256.
- ICML-2009-PlathTN #classification #image #multi #random #segmentation #using
- Multi-class image segmentation using conditional random fields and global classification (NP, MT, SN), pp. 817–824.
- ICML-2009-QianJZHW #higher-order #random #sequence
- Sparse higher order conditional random fields for improved sequence labeling (XQ, XJ, QZ, XH, LW), pp. 849–856.
- ICML-2009-SongHSF
- Hilbert space embeddings of conditional distributions with applications to dynamical systems (LS, JH, AJS, KF), pp. 961–968.
- ICML-2009-TaylorH #modelling #strict
- Factored conditional restricted Boltzmann Machines for modeling motion style (GWT, GEH), pp. 1025–1032.
- KDD-2009-ChenCBT #learning #optimisation #random
- Constrained optimization for validation-guided conditional random field learning (MC, YC, MRB, AET), pp. 189–198.
- SIGIR-2009-LiWA #query #random
- Extracting structured information from user queries with semi-supervised conditional random fields (XL, YYW, AA), pp. 572–579.
- ICMT-2009-GuerraLO #model transformation
- Pattern-Based Model-to-Model Transformation: Handling Attribute Conditions (EG, JdL, FO), pp. 83–99.
- SAC-2009-AmoR #named #query
- CPref-SQL: a query language supporting conditional preferences (SdA, MRR), pp. 1573–1577.
- CASE-2008-SunWHRW #case study #effectiveness #identification #monitoring #set
- Identification of feature set for effective tool condition monitoring — a case study in titanium machining (JS, YSW, GSH, MR, ZW), pp. 273–278.
- DAC-2008-FraerKM #paradigm #synthesis
- A new paradigm for synthesis and propagation of clock gating conditions (RF, GK, MKM), pp. 658–663.
- DAC-2008-HoTDDGS #identification #logic #verification
- Early formal verification of conditional coverage points to identify intrinsically hard-to-verify logic (RCH, MT, MMD, ROD, JG, DES), pp. 268–271.
- DATE-2008-MokhovY #configuration management #graph #partial order #synthesis
- Conditional Partial Order Graphs and Dynamically Reconfigurable Control Synthesis (AM, AY), pp. 1142–1147.
- VLDB-2008-FanGJ #dependence #functional #named #quality
- Semandaq: a data quality system based on conditional functional dependencies (WF, FG, XJ), pp. 1460–1463.
- VLDB-2008-FanMHLW #dependence #functional
- Propagating functional dependencies with conditions (WF, SM, YH, JL, YW), pp. 391–407.
- VLDB-2008-GolabKKSY #dependence #functional #generative #on the
- On generating near-optimal tableaux for conditional functional dependencies (LG, HJK, FK, DS, BY), pp. 376–390.
- VLDB-2008-KochO #database #probability
- Conditioning probabilistic databases (CK, DO), pp. 313–325.
- FoSSaCS-2008-RangelKE #bisimulation
- Deriving Bisimulation Congruences in the Presence of Negative Application Conditions (GR, BK, HE), pp. 413–427.
- TACAS-2008-AndresR #nondeterminism #probability
- Conditional Probabilities over Probabilistic and Nondeterministic Systems (MEA, PvR), pp. 157–172.
- PLDI-2008-WangXLGWZ #analysis #correlation #memory management
- Conditional correlation analysis for safe region-based memory management (XW, ZX, XL, ZG, XW, ZZ), pp. 45–55.
- SAS-2008-ConwayDNB #analysis #fault #pointer #proving
- Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors (CLC, DD, KSN, CB), pp. 62–77.
- FM-2008-AmtoftHRRHG #contract #data flow #specification
- Specification and Checking of Software Contracts for Conditional Information Flow (TA, JH, ER, R, JH, DG), pp. 229–245.
- SEFM-2008-TschantzW #policy
- Extracting Conditional Confidentiality Policies (MCT, JMW), pp. 107–116.
- GT-VC-2007-Pennemann08 #algorithm #approximate #problem #satisfiability
- An Algorithm for Approximating the Satisfiability Problem of High-level Conditions (KHP), pp. 75–94.
- GT-VMT-2008-ReinPLHP #configuration management
- Negative Application Conditions for Reconfigurable Place/Transition Systems (AR, UP, LL, KH, JP).
- ICGT-2008-AzabH #source code
- High-Level Programs and Program Conditions (KA, AH), pp. 211–225.
- ICGT-2008-Hermann #analysis #process #workflow
- Process Construction and Analysis for Workflows Modelled by Adhesive HLR Systems with Application Conditions (FH), pp. 496–498.
- ICGT-2008-LambersEPO #confluence #graph transformation
- Embedding and Confluence of Graph Transformations with Negative Application Conditions (LL, HE, UP, FO), pp. 162–177.
- ICGT-2008-Pennemann #proving #theorem proving
- Resolution-Like Theorem Proving for High-Level Conditions (KHP), pp. 289–304.
- ICEIS-DISI-2008-LiuQLZWD #distributed #specification #visual notation
- A Visual Specification Tool for Event-Condition-Action Rules Supporting Web-Based Distributed System (WL, YQ, XL, KZ, HW, GD), pp. 246–251.
- CIKM-2008-XinLTL #comprehension #random #using
- Academic conference homepage understanding using constrained hierarchical conditional random fields (XX, JL, JT, QL), pp. 1301–1310.
- CIKM-2008-ZhouYM #biology
- A system for finding biological entities that satisfy certain conditions from texts (WZ, CTY, WM), pp. 1281–1290.
- ICML-2008-FrancLM #fault
- Stopping conditions for exact computation of leave-one-out error in support vector machines (VF, PL, KRM), pp. 328–335.
- ICML-2008-TakedaS
- nu-support vector machine as conditional value-at-risk minimization (AT, MS), pp. 1056–1063.
- ICPR-2008-HulkkonenH #detection #monitoring
- A minimum description length principle based method for signal change detection in machine condition monitoring (JJH, JVH), pp. 1–4.
- ICPR-2008-JinLH #learning #prototype
- Prototype learning with margin-based conditional log-likelihood loss (XJ, CLL, XH), pp. 1–4.
- ICPR-2008-RothausRJ #3d
- Synthesizing 3D videos by a motion-conditioned background mosaic (SR, KR, XJ), pp. 1–4.
- ICPR-2008-VazquezRC #image #recognition
- A new image division for LBP method to improve face recognition under varying lighting conditions (HMV, EBGR, YCM), pp. 1–4.
- RE-2008-Kof #generative #sequence chart
- From Textual Scenarios to Message Sequence Charts: Inclusion of Condition Generation and Actor Extraction (LK), pp. 331–332.
- CAV-2008-CookGLRS #proving #termination
- Proving Conditional Termination (BC, SG, TLA, AR, MS), pp. 328–340.
- VMCAI-2008-AbdullaHDR
- Handling Parameterized Systems with Non-atomic Global Conditions (PAA, NBH, GD, AR), pp. 22–36.
- CASE-2007-BukkapatnamK #monitoring #using
- Container Integrity and Condition Monitoring using RF Vibration Sensor Tags (STSB, RK), pp. 585–590.
- CASE-2007-ZhangBGL #feature model #hybrid #monitoring
- A Hybrid Model with a Weighted Voting Scheme for Feature Selection in Machinery Condition Monitoring (KZ, ADB, FG, YL), pp. 424–429.
- DRR-2007-ShettySBS #documentation #random #segmentation #using
- Segmentation and labeling of documents using conditional random fields (SS, HS, MJB, SNS).
- ICDAR-2007-NicolasDPH #2d #documentation #image #random #segmentation #using
- Document Image Segmentation Using a 2D Conditional Random Field Model (SN, JD, TP, LH), pp. 407–411.
- ICDAR-2007-ShettySS #random #recognition #using #word
- Handwritten Word Recognition Using Conditional Random Fields (SS, HS, SNS), pp. 1098–1102.
- VLDB-2007-BravoFM #dependence
- Extending Dependencies with Conditions (LB, WF, SM), pp. 243–254.
- VLDB-2007-ChandramouliPY #scalability
- Value-Based Notification Conditions in Large-Scale Publish/Subscribe Systems (BC, JMP, JY), pp. 878–889.
- SCAM-2007-LochbihlerS #dependence #graph #on the
- On Temporal Path Conditions in Dependence Graphs (AL, GS), pp. 49–58.
- STOC-2007-VuT #matrix
- The condition number of a randomly perturbed matrix (VHV, TT), pp. 248–255.
- LATA-2007-MasopustM #complexity
- Descriptional Complexity of Grammars Regulated by Context Conditions (TM, AM), pp. 403–412.
- ILC-2007-Borden #classification #using
- Classification using conditional probabilities and Shannon’s definition of information (AB), p. 15.
- CHI-2007-HuWNMI #testing #usability
- Context & usability testing: user-modeled information presentation in easy and difficult driving conditions (JH, AW, CN, JDM, RI), pp. 1343–1346.
- DHM-2007-ZhangCZZFD
- A New Virtual Dynamic Dentomaxillofacial System for Analyzing Mandibular Movement, Occlusal Contact, and TMJ Condition (CZ, LC, FZ, HZ, HF, GD), pp. 747–756.
- HCI-IPT-2007-KellenCF #probability #problem
- Facilitating Conditional Probability Problems with Visuals (VK, SSC, XF), pp. 63–71.
- HIMI-IIE-2007-Jones
- The Relationship Between Working Conditions and Musculoskeletal/Ergonomic Disorders in a Manufacturing Facility (DRJ), pp. 903–909.
- ICEIS-J-2007-LiuCM07a #comparison #random #recognition
- Named Entity Recognition in Biomedical Literature: A Comparison of Support Vector Machines and Conditional Random Fields (FL, YC, BM), pp. 137–147.
- ICML-2007-SuttonM #performance #pseudo #random
- Piecewise pseudolikelihood for efficient training of conditional random fields (CAS, AM), pp. 863–870.
- ICML-2007-ZhangAV #learning #multi #random
- Conditional random fields for multi-agent reinforcement learning (XZ, DA, SVNV), pp. 1143–1150.
- OOPSLA-2007-Edwards
- No ifs, ands, or buts: uncovering the simplicity of conditionals (JE), pp. 639–658.
- POPL-2007-NaikA #alias #concurrent #detection
- Conditional must not aliasing for static race detection (MN, AA), pp. 327–338.
- SAC-2007-MouhoubS #constraints #problem
- Solving conditional and composite constraint satisfaction problems (MM, AS), pp. 336–337.
- SAC-2007-QiaoZWL #database #realtime
- Developing event-condition-action rules in real-time active database (YQ, KZ, HW, XL), pp. 511–516.
- CADE-2007-GeBT #modulo theories #quantifier #satisfiability #using #verification
- Solving Quantified Verification Conditions Using Satisfiability Modulo Theories (YG, CB, CT), pp. 167–182.
- CADE-2007-Leino #design #verification
- Designing Verification Conditions for Software (KRML), p. 345.
- CAV-2007-AbdullaDR #infinity #process #verification
- Parameterized Verification of Infinite-State Processes with Global Conditions (PAA, GD, AR), pp. 145–157.
- CAV-2007-BabicH #abstraction #verification
- Structural Abstraction of Software Verification Conditions (DB, AJH), pp. 366–378.
- CSL-2007-Kopczynski
- ω-Regular Half-Positional Winning Conditions (EK), pp. 41–53.
- ISSTA-2007-ChangPY #approach #what
- Finding what’s not there: a new approach to revealing neglected conditions in software (RYC, AP, JY), pp. 163–173.
- CASE-2006-HuangLYZ #fuzzy #predict
- Fuzzy Model Predictive Control for a Comfort Air-Conditioning System (YH, NL, YY, JZ), pp. 530–533.
- DATE-2006-KrusemanH #detection #fault #on the
- On test conditions for the detection of open defects (BK, MH), pp. 896–901.
- FoSSaCS-2006-BlanquiKR #confluence #on the #λ-calculus
- On the Confluence of λ-Calculus with Conditional Rewriting (FB, CK, CR), pp. 382–397.
- PEPM-2006-HammerGK #dependence #graph
- Dynamic path conditions in dependence graphs (CH, MG, JK), pp. 58–67.
- STOC-2006-DinurMR #approximate
- Conditional hardness for approximate coloring (ID, EM, OR), pp. 344–353.
- ICGT-2006-HabelP #satisfiability
- Satisfiability of High-Level Conditions (AH, KHP), pp. 430–444.
- ICGT-2006-LambersEO #detection #graph transformation
- Conflict Detection for Graph Transformation with Negative Application Conditions (LL, HE, FO), pp. 61–76.
- CIKM-2006-VardeRRBMS #clustering #design #semantics
- Designing semantics-preserving cluster representatives for scientific input conditions (ASV, EAR, CR, DCB, MM, RDSJ), pp. 708–717.
- ICML-2006-DenisMR #classification #learning #naive bayes #performance
- Efficient learning of Naive Bayes classifiers under class-conditional classification noise (FD, CNM, LR), pp. 265–272.
- ICML-2006-SenG #learning #markov #network
- Cost-sensitive learning with conditional Markov networks (PS, LG), pp. 801–808.
- ICML-2006-VishwanathanSSM #probability #random
- Accelerated training of conditional random fields with stochastic gradient methods (SVNV, NNS, MWS, KPM), pp. 969–976.
- ICPR-v1-2006-ParkAB #detection #metric #performance
- Efficient Measurement of Eye Blinking under Various Illumination Conditions for Drowsiness Detection Systems (IP, JHA, HB), pp. 383–386.
- ICPR-v2-2006-KelmPM #classification #generative #learning #multi
- Combining Generative and Discriminative Methods for Pixel Classification with Multi-Conditional Learning (BMK, CP, AM), pp. 828–832.
- ICPR-v2-2006-Loog #analysis #linear
- Conditional Linear Discriminant Analysis (ML), pp. 387–390.
- ICPR-v2-2006-YangS #detection #random #using
- Detecting Coarticulation in Sign Language using Conditional Random Fields (RY, SS), pp. 108–112.
- ICPR-v3-2006-Eidenberger #identification #image #robust
- Kalman Filtering for Robust Identification of Face Images with Varying Expressions and Lighting Conditions (HE), pp. 1073–1076.
- ICPR-v3-2006-HuW06a #representation
- A Low-dimensional Illumination Space Representation of Human Faces for Arbitrary Lighting Conditions (YH, ZW), pp. 1147–1150.
- ICPR-v3-2006-KongHXTG #random #video
- A Conditional Random Field Model for Video Super-resolution (DK, MH, WX, HT, YG), pp. 619–622.
- ICPR-v3-2006-ZhongW #detection #markov #random
- Object Detection Based on Combination of Conditional Random Field and Markov Random Field (PZ, RW), pp. 160–163.
- ICPR-v4-2006-YuTT #framework #recognition
- A Framework for Evaluating the Effect of View Angle, Clothing and Carrying Condition on Gait Recognition (SY, DT, TT), pp. 441–444.
- KR-2006-LukasiewiczS #logic
- Variable-Strength Conditional Preferences for Matchmaking in Description Logics (TL, JS), pp. 164–174.
- SEKE-2006-HuangC #probability #rule-based #similarity #using
- Using Conditional Probability to Measure Rule-based Knowledge Similarity (CJH, MYC), pp. 41–44.
- LCTES-2006-KreahlingHWT #comparison #cost analysis #specification #using
- Reducing the cost of conditional transfers of control by using comparison specifications (WCK, SH, DBW, GST), pp. 64–71.
- LICS-2006-MacielP #bound #composition #proving
- Conditional Lower Bound for a System of Constant-Depth Proofs with Modular Connectives (AM, TP), pp. 189–200.
- RTA-2006-SerbanutaR
- Computationally Equivalent Elimination of Conditions (TFS, GR), pp. 19–34.
- ASE-2005-LiuLWCC #testing
- A unified fitness function calculation rule for flag conditions to improve evolutionary testing (XL, HL, BW, PC, XC), pp. 337–341.
- DAC-2005-HuangNL #scheduling
- Race-condition-aware clock skew scheduling (SHH, YTN, FPL), pp. 475–478.
- DATE-2005-FanucciGIMR #design #framework
- Platform Based Design for Automotive Sensor Conditioning (LF, AG, FI, CM, AR), pp. 186–191.
- DATE-2005-MajhiAGLEB #evaluation #industrial #memory management #testing
- Memory Testing Under Different Stress Conditions: An Industrial Evaluation (AKM, MA, GG, ML, SE, FB), pp. 438–443.
- FoSSaCS-2005-LarsenR #automaton #multi #reachability
- Optimal Conditional Reachability for Multi-priced Timed Automata (KGL, JIR), pp. 234–249.
- CSMR-2005-SukumaranS #identification #maintenance
- Identifying Test Conditions for Software Maintenance (SS, AS), pp. 304–313.
- CSMR-2005-WardZH #abstraction #refinement #semantics #slicing
- Conditioned Semantic Slicing via Abstraction and Refinement in FermaT (MPW, HZ, TH), pp. 178–187.
- ICSM-2005-Demeyer #morphism #performance #polymorphism #question #what
- Refactor Conditionals into Polymorphism: What’s the Performance Cost of Introducing Virtual Calls? (SD), pp. 627–630.
- IFM-2005-BensalemPQT #generative
- Generating Path Conditions for Timed Systems (SB, DP, HQ, ST), pp. 5–19.
- SEFM-2005-PrasetyaAVL #composition #generative #verification
- Building Verification Condition Generators by Compositional Extensions (ISWBP, AA, TEJV, AvL), pp. 220–230.
- ICEIS-v1-2005-RossiterH
- Conditions for Interoperability (BNR, MAH), pp. 92–99.
- ICML-2005-RothY #integer #linear #programming #random
- Integer linear programming inference for conditional random fields (DR, WtY), pp. 736–743.
- ICML-2005-SalojarviPK #algorithm
- Expectation maximization algorithms for conditional likelihoods (JS, KP, SK), pp. 752–759.
- ICML-2005-ZhuNWZM #2d #information management #random #web
- 2D Conditional Random Fields for Web information extraction (JZ, ZN, JRW, BZ, WYM), pp. 1044–1051.
- KDD-2005-GondekH #clustering
- Non-redundant clustering with conditional ensembles (DG, TH), pp. 70–77.
- RE-2005-ToyamaO #rule-based #verification
- Rule-based Verification of Scenarios with Pre-conditions and Post-conditions (TT, AO), pp. 319–328.
- SAC-2005-BordognaP #sql
- Extending SQL with customizable soft selection conditions (GB, GP), pp. 1107–1111.
- SAC-2005-GaoWW #evaluation #quality #streaming
- Quality-driven evaluation of trigger conditions on streaming time series (LG, MW, XSW), pp. 563–567.
- SAC-2005-UppuluriJR
- Preventing race condition attacks on file-systems (PU, UJ, AR), pp. 346–353.
- SOSP-2005-YuRC #adaptation #detection #named #performance
- RaceTrack: efficient detection of data race conditions via adaptive tracking (YY, TR, WC), pp. 221–234.
- ICLP-2005-NomikosRW #equivalence #semantics
- A Sufficient Condition for Strong Equivalence Under the Well-Founded Semantics (CN, PR, WWW), pp. 414–415.
- VMCAI-2005-AttieC #concurrent #scalability #source code
- Efficiently Verifiable Conditions for Deadlock-Freedom of Large Concurrent Programs (PCA, HC), pp. 465–481.
- DAC-2004-Pomeranz #functional #generative #on the #testing
- On the generation of scan-based test sets with reachable states for testing under functional operation conditions (IP), pp. 928–933.
- PODS-2004-Marx #first-order #xpath
- Conditional XPath, the First Order Complete XPath Dialect (MM), pp. 13–22.
- SIGMOD-2004-BrunoC #query #statistics
- Conditional Selectivity for Statistics on Query Expressions (NB, SC), pp. 311–322.
- IWPC-2004-DanicicLH #execution #slicing #using
- Building Executable Union Slices using Conditioned Slicing (SD, ADL, MH), pp. 89–99.
- PASTE-2004-RenierisCR
- Elided conditionals (MR, SCT, SPR), pp. 52–57.
- ICALP-2004-Serre #complexity #game studies
- Games with Winning Conditions of High Borel Complexity (OS), pp. 1150–1162.
- ICGT-2004-CherchagoH #graph transformation #specification #using #web #web service
- Specification Matching of Web Services Using Conditional Graph Transformation Rules (AC, RH), pp. 304–318.
- ICGT-2004-EhrigEHP #constraints #graph
- Constraints and Application Conditions: From Graphs to High-Level Structures (HE, KE, AH, KHP), pp. 287–303.
- CIKM-2004-WangL #categorisation #feature model
- Feature selection with conditional mutual information maximin in text categorization (GW, FHL), pp. 342–349.
- ICML-2004-DietterichAB #random
- Training conditional random fields via gradient tree boosting (TGD, AA, YB).
- ICML-2004-GrossmanD #classification #learning #network
- Learning Bayesian network classifiers by maximizing conditional likelihood (DG, PMD).
- ICML-2004-LaffertyZL #clique #kernel #random #representation
- Kernel conditional random fields: representation and clique selection (JDL, XZ, YL).
- ICML-2004-Ryabko #learning #online
- Online learning of conditionally I.I.D. data (DR).
- ICML-2004-SuttonRM #modelling #probability #random #sequence
- Dynamic conditional random fields: factorized probabilistic models for labeling and segmenting sequence data (CAS, KR, AM).
- ICPR-v2-2004-CourteilleCDG #towards
- Towards Shape from Shading under Realistic Photographic Conditions (FC, AC, JDD, PG), pp. 277–280.
- ICPR-v3-2004-MakiharaSS #interactive #learning #online #recognition
- Online Learning of Color Transformation for Interactive Object Recognition under Various Lighting Conditions (YM, YS, NS), pp. 161–164.
- KR-2004-Bell
- Causation and Causal Conditionals (JB), pp. 2–11.
- KR-2004-Halpern
- Sleeping Beauty Reconsidered: Conditioning and Reflection in Asynchronous Systems (JYH), pp. 12–22.
- SEKE-2004-SetiadiNKM #invariant #java
- Analyzing Invariant Condition of Running Java Program (TES, KN, YK, MM), pp. 350–353.
- LOPSTR-2004-BossiPR #imperative #security
- Unwinding Conditions for Security in Imperative Languages (AB, CP, SR), pp. 85–100.
- PPDP-2004-MarinM #lazy evaluation
- New completeness results for lazy conditional narrowing (MM, AM), pp. 120–131.
- ASE-2003-GarridoJ #c #compilation #refactoring
- Refactoring C with Conditional Compilation (AG, REJ), pp. 323–326.
- DATE-2003-GuptaDGN #branch #design #synthesis
- Dynamic Conditional Branch Balancing during the High-Level Synthesis of Control-Intensive Designs (SG, NDD, RKG, AN), pp. 10270–10275.
- DATE-2003-WuAE #embedded #graph #power management #scheduling #synthesis
- Scheduling and Mapping of Conditional Task Graphs for the Synthesis of Low Power Embedded Systems (DW, BMAH, PE), pp. 10090–10095.
- CSMR-2003-Latendresse #c #c++ #evaluation #performance #preprocessor #symbolic computation #using
- Fast Symbolic Evaluation of C/C++ Preprocessing Using Conditional Value (ML), p. 170–?.
- CSMR-2003-Villavicencio #slicing
- Formal Program Reversing by Conditioned Slicing (GV), pp. 368–378.
- ICEIS-v2-2003-BenninghoffN #distributed #monitoring #scalability
- Scaling Up Information Updates in Distributed Condition Monitoring (PB, SN), pp. 132–139.
- ICML-2003-Even-DarMM #learning
- Action Elimination and Stopping Conditions for Reinforcement Learning (EED, SM, YM), pp. 162–169.
- ICML-2003-JinYZH #algorithm #exponential #performance #scalability
- A Faster Iterative Scaling Algorithm for Conditional Exponential Model (RJ, RY, JZ, AGH), pp. 282–289.
- ICML-2003-PavlovPPU #modelling
- Mixtures of Conditional Maximum Entropy Models (DP, AP, DMP, LHU), pp. 584–591.
- SIGIR-2003-PintoMWC #random #using
- Table extraction using conditional random fields (DP, AM, XW, WBC), pp. 235–242.
- PPDP-2003-AntoyBH
- Conditional narrowing without conditions (SA, BB, MH), pp. 20–31.
- SOSP-2003-EnglerA #detection #effectiveness #named #static analysis
- RacerX: effective, static detection of race conditions and deadlocks (DRE, KA), pp. 237–252.
- LICS-2003-NeculaS #framework #generative
- A Sound Framework for Untrusted Verification-Condition Generators (GCN, RRS), pp. 248–260.
- RTA-2003-OhsakiST
- Recognizing Boolean Closed A-Tree Languages with Membership Conditional Rewriting Mechanism (HO, HS, TT), pp. 483–498.
- DATE-2002-VandersteenWDV #evaluation #performance
- High-Frequency Nonlinear Amplifier Model for the Efficient Evaluation of Inband Distortion Under Nonlinear Load-Pull Conditions (GV, PW, SD, FV), pp. 586–590.
- PODS-2002-Ross #in memory #memory management
- Conjunctive Selection Conditions in Main Memory (KAR), pp. 109–120.
- CSEET-2002-HislopLVU #re-engineering #source code
- Panel 1: Changing Conditions for Undergraduate Software Engineering Programs (GWH, MJL, RBV, DAU), pp. 250–251.
- WRLA-J-1996-ClavelM02 #logic
- Reflection in conditional rewriting logic (MC, JM), pp. 245–288.
- FASE-2002-Cerone #algebra #implementation #process
- Implementing Condition/Event Nets in the Circal Process Algebra (AC), pp. 49–63.
- SCAM-2002-AversanoPB
- Handling Preprocessor-Conditioned Declarations (LA, MDP, IDB), pp. 83–92.
- WCRE-2002-DaoudiOHDHFW #approach #named #scalability #slicing
- ConSUS: A Scalable Approach to Conditioned Slicing (MD, LO, JH, SD, MH, CF, MPW), pp. 109–118.
- SAS-2002-MesnardPN #detection #logic programming #source code #termination
- Detecting Optimal Termination Conditions of Logic Programs (FM, ÉP, UN), pp. 509–526.
- FLOPS-2002-Smaus #polymorphism #recursion
- The Head Condition and Polymorphic Recursion (JGS), pp. 259–274.
- DLT-2002-AltenberndTW #infinity
- Tiling Systems over Infinite Pictures and Their Acceptance Conditions (JHA, WT, SW), pp. 297–306.
- CSCW-2002-PalenS #mobile
- Voice-mail diary studies for naturalistic data capture under mobile conditions (LP, MCS), pp. 87–95.
- ICML-2002-LebanonL #modelling #named #permutation #probability #ranking #using
- Cranking: Combining Rankings Using Conditional Probability Models on Permutations (GL, JDL), pp. 363–370.
- ICML-2002-MerkeS #approximate #convergence #learning
- A Necessary Condition of Convergence for Reinforcement Learning with Function Approximation (AM, RS), pp. 411–418.
- ICML-2002-SchapireSMLC #estimation #modelling #nondeterminism #using
- Modeling Auction Price Uncertainty Using Boosting-based Conditional Density Estimation (RES, PS, DAM, MLL, JAC), pp. 546–553.
- ICPR-v2-2002-Vaswani #classification #linear #matrix
- A Linear Classifier for Gaussian Class Conditional Distributions with Unequal Covariance Matrices (NV), pp. 60–63.
- ICPR-v3-2002-KimKRK #image #robust
- A Robust License-Plate Extraction Method under Complex Image Conditions (SK, DK, YR, GK), pp. 216–219.
- ICPR-v3-2002-MaragoudakisKF #independence #performance #segmentation
- Incorporating Conditional Independence Assumption with Support Vector Machines to Enhance Handwritten Character Segmentation Performance (MM, EK, NF), pp. 911–914.
- ICPR-v3-2002-MullerH #linear
- Extending the Linear Interpolating Condition to Advanced Synthetic Discriminant Function Variants (NM, BMH), pp. 883–886.
- KDD-2002-YangZCJ #detection #topic
- Topic-conditioned novelty detection (YY, JZ, JGC, CJ), pp. 688–693.
- SAC-2002-CarlssonJ #difference #game studies
- Differences between the iterated prisoner’s dilemma and the chicken game under noisy conditions (BC, KIJ), pp. 42–48.
- SAC-2002-HarrisonD #approach
- A hypothesis driven approach to condition specific transcription factor binding site characterization in S.c (RH, CD), pp. 151–158.
- ICSE-2002-RobschinkS #dependence #graph #performance
- Efficient path conditions in dependence graphs (TR, GS), pp. 478–488.
- HPCA-2002-KampeSD #analysis #branch #fourier #predict #using
- The FAB Predictor: Using Fourier Analysis to Predict the Outcome of Conditional Branches (MK, PS, MD), pp. 223–232.
- CSL-2002-CachatDT #automaton #game studies
- Solving Pushdown Games with a Σ₃ Winning Condition (TC, JD, WT), pp. 322–336.
- RTA-2002-Voigtlander #composition #performance #transducer
- Conditions for Efficiency Improvement by Tree Transducer Composition (JV), pp. 222–236.
- VMCAI-2002-TorreMN #automaton
- Weak Muller Acceptance Conditions for Tree Automata (SLT, AM, MN), pp. 240–254.
- DATE-2001-BekooijEWB #behaviour #functional
- Functional units with conditional input/output behavior in VLIW processors (MB, LJME, AvdW, NGB), p. 822.
- DATE-2001-XieW #graph #hardware #scheduling
- Allocation and scheduling of conditional task graph in hardware/software co-synthesis (YX, WW), pp. 620–625.
- HT-2001-MooreBS #education #using
- Personally tailored teaching in WHURLE using conditional transclusion (AM, TJB, CDS), pp. 163–164.
- ICDAR-2001-MaragoudakisKFK #how #independence #segmentation
- How Conditional Independence Assumption Affects Handwritten Character Segmentation (MM, EK, NF, GKK), pp. 246–250.
- ICDAR-2001-YamaguchiYSTT #segmentation
- A Segmentation Method for Touching Japanese Handwritten Characters Based on Connecting Condition of Line (TY, TY, TS, ST, MT), pp. 837–843.
- ESOP-2001-SuA #constraints #similarity
- Entailment with Conditional Equality Constraints (ZS, AA), pp. 170–189.
- ICSM-2001-HarmanHFDH #slicing
- Pre/Post Conditioned Slicing (MH, RMH, CF, SD, JH), pp. 138–147.
- ICSM-2001-JonesH #reduction #testing
- Test-Suite Reduction and Prioritization for Modified Condition/Decision Coverage (JAJ, MJH), p. 92–?.
- IWPC-2001-FoxDHH #comprehension
- Backward Conditioning: A New Program Specialisation Technique and Its Application to Program Comprehension (CF, SD, MH, RMH), pp. 89–97.
- PASTE-2001-FlanaganF #detection #scalability #source code
- Detecting race conditions in large programs (CF, SNF), pp. 90–96.
- WCRE-2001-BaxterM #partial evaluation #preprocessor
- Preprocessor Conditional Removal by Simple Partial Evaluation (IDB, MM), pp. 281–290.
- SAS-2001-MesnardN #logic programming #source code #static analysis #termination
- Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs (FM, UN), pp. 93–110.
- STOC-2001-MostefaouiRR #distributed
- Conditions on input vectors for consensus solvability in asynchronous distributed systems (AM, SR, MR), pp. 153–162.
- FLOPS-2001-SuzukiM #lazy evaluation
- A Complete Selection Function for Lazy Conditional Narrowing (TS, AM), pp. 201–215.
- CIKM-2001-Collins-ThompsonSD #string
- Improved String Matching Under Noisy Channel Conditions (KCT, CS, STD), pp. 357–364.
- ICML-2001-LaffertyMP #modelling #probability #random #sequence
- Conditional Random Fields: Probabilistic Models for Segmenting and Labeling Sequence Data (JDL, AM, FCNP), pp. 282–289.
- PPDP-2001-Antoy
- Constructor-Based Conditional Narrowing (SA), pp. 199–206.
- POPL-2001-FlanaganS #explosion #exponential #generative #verification
- Avoiding exponential explosion: generating compact verification conditions (CF, JBS), pp. 193–205.
- RE-2001-Kaindl #requirements
- Adoption of Requirements Engineering: Conditions for Success (HK), p. 270.
- SOSP-2001-WelshCB #architecture #internet #named #scalability
- SEDA: An Architecture for Well-Conditioned, Scalable Internet Services (MW, DEC, EAB), pp. 230–243.
- IJCAR-2001-Benedetti #graph
- Conditional Pure Literal Graphs (MB), pp. 331–346.
- FoSSaCS-2000-Damiani #rank #type system
- Typing Local Definitions and Conditional Expressions with Rank 2 Intersection (FD), pp. 82–97.
- ICSM-2000-FoxHHD #named #slicing
- ConSIT: A Conditioned Program Slicer (CF, MH, RMH, SD), p. 216–?.
- ICSM-2000-HuMDL #analysis #c #c++ #compilation #execution #symbolic computation #using
- C/C++ Conditional Compilation Analysis using Symbolic Execution (YH, EM, MD, BL), pp. 196–206.
- IFM-2000-Chen #how
- How to Write a Healthiness Condition (YC), pp. 299–317.
- CHI-2000-LaiWC #speech
- The effect of task conditions on the comprehensibility of synthetic speech (JL, DW, MC), pp. 321–328.
- ICML-2000-CoelhoG #approach #learning
- Learning in Non-stationary Conditions: A Control Theoretic Approach (JACJ, RAG), pp. 151–158.
- ICPR-v1-2000-GurdjosP #image #metric
- About Conditions for Recovering the Metric Structures of Perpendicular Planes from the Single Ground Plane to Image Homography (PG, RP), pp. 1358–1361.
- ICPR-v1-2000-SorianoMHL #detection #video
- Skin Detection in Video under Changing Illumination Conditions (MS, BM, SH, ML), pp. 1839–1842.
- ICPR-v2-2000-HamadaSHT #automation #classification #image
- Automated Construction of Image Processing Procedure Based on Misclassification Condition (TH, AS, JiH, JiT), pp. 2430–2433.
- ICPR-v3-2000-JiangK #3d #adaptation #algorithm #image #search-based
- 3D MR Image Restoration by Combining Local Genetic Algorithm with Adaptive Pre-Conditioning (TJ, FK), pp. 3302–3305.
- KDD-2000-KittsFV #independence #named #performance #recommendation
- Cross-sell: a fast promotion-tunable customer-item recommendation method based on conditionally independent probabilities (BK, DF, MV), pp. 437–446.
- KR-2000-EiterL #complexity #knowledge base #reasoning
- Complexity Results for Default Reasoning from Conditional Knowledge Bases (TE, TL), pp. 62–73.
- KR-2000-Lin #on the
- On Strongest Necessary and Weakest Sufficient Conditions (FL), pp. 167–175.
- TOOLS-USA-2000-Lauinger00a
- Good Software under Bad Conditions (TL), pp. 433–434.
- DAC-1999-FengPNKW #approach #performance
- Efficient Computation of Quasi-Periodic Circuit Operating Conditions via a Mixed Frequency/Time Approach (DF, JRP, KN, KSK, JW), pp. 635–640.
- DATE-1999-Leupers #code generation #embedded
- Exploiting Conditional Instructions in Code Generation for Embedded VLIW Processors (RL), p. 105–?.
- HT-1999-Rety #analysis #hypermedia
- Structure Analysis for Hypertext with Conditional Linkage (JHR), pp. 135–136.
- FASE-1999-FokkinkV #legacy #term rewriting
- Conservative Extension in Positive/Negative Conditional Term Rewriting with Applications to Software Renovation Factories (WF, CV), pp. 98–113.
- FLOPS-1999-Ohlebusch #on the #term rewriting
- On Quasi-Reductive and Quasi-Simplifying Deterministic Conditional Rewrite Systems (EO), pp. 179–193.
- AGTIVE-1999-Mens #evolution #graph grammar #independence
- Conditional Graph Rewriting as a Domain-Independent Formalism for Software Evolution (TM), pp. 127–143.
- HCI-CCAD-1999-IacucciSW
- Building the premise of a virtual organization: obstacles and enabling conditions (GI, OS, VW), pp. 487–491.
- HCI-EI-1999-BjorsetAH #visual notation
- Visual and Lighting Conditions for VDU Workers (HHB, AA, GH), pp. 41–45.
- HCI-EI-1999-KasamatsuAFIN
- Effect of Menstrual Cycle on Monotonous Works Demand High Awaking Conditions (KK, MA, MFF, KI, SPN), pp. 167–172.
- HCI-EI-1999-RamseyNC #artificial reality
- Virtual Reality Induced Symptoms and Effects (VRISE) in Four Different Virtual Reality Display Conditions (AR, SN, SC), pp. 142–146.
- TOOLS-USA-1999-OmoriIY #design pattern #execution #named
- Answerer: A Design Pattern for Dynamical Conditional Execution (MO, NI, JiY), pp. 158–161.
- CADE-1999-GribomontS #using #validation #verification
- System Description: Using OBDD’s for the validation of Skolem verification conditions (EPG, NS), pp. 222–226.
- CAV-1999-AbdullaBJN #verification
- Handling Global Conditions in Parameterized System Verification (PAA, AB, BJ, MN), pp. 134–145.
- ASE-1998-Ledru #identification #proving #theorem proving
- Identifying Pre-Conditions with the Z/EVES Theorem Prover (YL), p. 32–?.
- DATE-1998-ElesKPDP #embedded #graph #process #scheduling #synthesis
- Scheduling of Conditional Process Graphs for the Synthesis of Embedded Systems (PE, KK, ZP, AD, PP), pp. 132–138.
- ITiCSE-1998-NorrisSS #comprehension #education
- Educational technology over 25 years (panel): understanding the conditions when it works (CAN, JS, ES), p. 268.
- FASE-1998-NielsonAN #analysis #behaviour #case study #safety
- Behaviour Analysis and Safety Conditions: A Case Study in CML (HRN, TA, FN), pp. 255–269.
- FoSSaCS-1998-AmadioC #analysis #type system
- Analysis of a Guard Condition in Type Theory (Extended Abstract) (RMA, SCG), pp. 48–62.
- IWPC-1998-SomeL #compilation #parsing
- Parsing Minimization when Extracting Information from Code in the Presence of Conditional Compilation (SSS, TCL), pp. 118–125.
- TAGT-1998-Kuske
- More About Control Conditions for Transformation Units (SK), pp. 323–337.
- ICPR-1998-PengZB #automation #recognition
- A fully automated face recognition system under different conditions (HP, CZ, ZB), pp. 1223–1225.
- KR-1998-Lukasiewicz #constraints #deduction #probability
- Probabilistic Deduction with Conditional Constraints over Basic Events (TL), pp. 380–393.
- POPL-1998-Jensen #polymorphism #strict
- Inference of Polymorphic and Conditional Strictness Properties (TPJ), pp. 209–221.
- ICDAR-1997-NaoiY #automation #information management
- Global Interpolation Method II for Handwritten Numbers Overlapping a Border by Automatic Knowledge Acquisition of Overlapped Condition (SN, MY), pp. 540–543.
- PLDI-1997-BodikGS #branch #interprocedural
- Interprocedural Conditional Branch Elimination (RB, RG, MLS), pp. 146–158.
- SAS-1997-UhW #branch #performance
- Coalescing Conditional Branches into Efficient Indirect Jumps (GRU, DBW), pp. 315–329.
- HCI-CC-1997-AnkrumS #monitoring #variability
- Heart Rate Variability in Eye-Level and Low Monitor Conditions (DRA, KS), pp. 571–574.
- HCI-CC-1997-BjorsetA #visual notation
- Visual and Lighting Conditions (HHB, AA), pp. 647–650.
- HCI-CC-1997-Grzybowski
- Ergonomic Assessments of Workstands as the Basic Information for the Work Conditions Management in Plants (WG), pp. 687–690.
- HCI-CC-1997-Huuhtanen97a
- Improving Psychosocial Conditions of Telework (PH), pp. 501–504.
- HCI-CC-1997-Simonsen #design #quality
- Working Conditions as Quality in Design Projects (GS), pp. 249–252.
- HCI-SEC-1997-MorimotoKHKI #design #evaluation #usability
- Design and Usability Evaluation of a Novice User-Oriented Control Panel for Lighting and Air Conditioning (KM, TK, MH, NK, MI), pp. 617–620.
- ALP-1997-AlpuenteFMV
- Safe Folding/Unfolding with Conditional Narrowing (MA, MF, GM, GV), pp. 1–15.
- ALP-1997-Ohlebusch #graph grammar
- Conditional Term Graph Rewriting (EO), pp. 144–158.
- ICLP-1997-Raamsdonk #logic programming #source code #term rewriting
- Translating Logic Programs into Conditional Rewriting Systems (FvR), pp. 168–182.
- RTA-1997-KuhlerW #data type #equation #induction #proving #specification #theorem proving
- Conditional Equational Specifications of Data Types with Partial Operations for Inductive Theorem Proving (UK, CPW), pp. 38–52.
- RTA-1997-OgataOF #automaton #named #order #term rewriting
- TRAM: An Abstract Machine for Order-Sorted Conditioned Term Rewriting Systems (KO, KO, KF), pp. 335–338.
- RTA-1997-OyamaguchiO #linear #parallel #term rewriting
- A New Parallel Closed Condition for Church-Rossser of Left-Linear Term Rewriting Systems (MO, YO), pp. 187–201.
- RWLW-1996-Miyoshi #category theory #logic #modelling
- Modelling conditional rewriting logic in structured categories (HM), pp. 20–34.
- TACAS-1996-BuhrkeLV #infinity
- Strategy Construction in Infinite Ganes with Streett and Rabin Chain Winning Conditions (NB, HL, JV), pp. 207–224.
- TACAS-1996-KowalewskiP #composition #framework #modelling #realtime #verification
- Timed Condition/Event Systems: A Framework for Modular Discrete Models of Chemical Plants and Verification of Their Real-Time Discrete Control (SK, JP), pp. 225–240.
- TACAS-1996-Kozen #algebra #commutative
- Kleene Algebra withTests and Commutativity Conditions (DK), pp. 14–33.
- ICALP-1996-Billaud #fault
- Fatal Errors in Conditional Expressions (Extended Abstract) (MB), pp. 146–157.
- ICML-1996-DomingosP #classification #independence
- Beyond Independence: Conditions for the Optimality of the Simple Bayesian Classifier (PMD, MJP), pp. 105–112.
- KR-1996-Brafman #first-order #statistics
- “Statistical” First Order Conditionals (RIB), pp. 398–409.
- LICS-1996-AlurMP #concurrent #correctness #model checking
- Model-Checking of Correctness Conditions for Concurrent Objects (RA, KLM, DP), pp. 219–228.
- RTA-1996-GramlichW #confluence #revisited #term rewriting
- Confluence of Terminating Conditional Rewrite Systems Revisited (BG, CPW), pp. 245–259.
- SIGMOD-1995-SistlaW #constraints #database
- Temporal Conditions and Integrity Constraints in Active Database Systems (APS, OW), pp. 269–280.
- PLDI-1995-MuellerW #branch #replication
- Avoiding Conditional Branches by Code Replication (FM, DBW), pp. 56–66.
- DLT-1995-Rambov
- Imposing Vertical Context Conditions on Derivations (OR), pp. 257–266.
- AdaEurope-1995-BirusKKRT #ada #realtime
- Extending the Ada 95 Initial Conditions for Preelaboration for Use in Real-Time Systems (TB, PK, EK, JR, JLT), pp. 164–169.
- SAC-1995-ChaabouniC #database #network #object-oriented
- Discrimination network for rule condition matching in object-oriented database rule systems (MC, SMC), pp. 51–55.
- FSE-1995-Fekete #case study #liveness #modelling #specification
- Liveness Conditions in Model-Based Service Specifications: A Case Study (AF), pp. 62–71.
- CAV-1995-CousotC #composition #constraints #equation #fixpoint #game studies #induction #rule-based #semantics
- Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form (PC, RC), pp. 293–308.
- ILPS-1995-DidierE #abstraction #term rewriting
- Abstraction of Conditional Term Rewriting Systems (DB, RE), pp. 162–176.
- RTA-1995-SuzukiMI #term rewriting
- Level-Confluence of Conditional Rewrite Systems with Extra Variables in Right-Hand Sides (TS, AM, TI), pp. 179–193.
- DAC-1994-BhattacharyaDB94a #analysis #optimisation #performance #specification
- Performance Analysis and Optimization of Schedules for Conditional and Loop-Intensive Specifications (SB, SD, FB), pp. 491–496.
- ICSM-1994-CanforaCLL
- Software Salvaging Based on Conditions (GC, AC, ADL, GADL), pp. 424–433.
- ICALP-1994-Breugel #lts
- Generalized Finiteness Conditions of Labelled Transition Systems (FvB), pp. 376–387.
- KR-1994-DuboisP
- Conditional Objects as Nonmonotonic Consequence Relations: Main Results (DD, HP), pp. 170–177.
- KR-1994-FriedmanH94a #complexity #logic #on the
- On the Complexity of Conditional Logics (NF, JYH), pp. 202–213.
- ALP-1994-Gramlich #composition #confluence #on the #term rewriting #termination
- On Modularity of Termination and Confluence Properties of Conditional Rewrite Systems (BG), pp. 186–203.
- POPL-1994-AikenWL #type system
- Soft Typing with Conditional Types (AA, ELW, TKL), pp. 163–173.
- ICRE-1994-BoehmBHL #requirements
- Software requirements as negotiated win conditions (BWB, PKB, EH, MJL), pp. 74–83.
- ILPS-1994-Ross #constraints #using
- A Syntactic Stratification Condition Using Constraints (KAR), pp. 76–90.
- WSA-1993-NielsonN #analysis #strict
- Finiteness Conditions for Strictness Analysis (FN, HRN), pp. 194–205.
- DLT-1993-Vaida #programming language
- Iteration Conditions of W. Ogden’s Type and Applications to Programming Languages (II) (DV), pp. 44–50.
- TLCA-1993-Takahashi #λ-calculus
- λ-Calculi with Conditional Rules (MT), pp. 406–417.
- DAC-1992-RimJ #branch #representation #synthesis
- Representing Conditional Branches for High-Level Synthesis Applications (MR, RJ), pp. 106–111.
- DAC-1992-WakabayashiT #dependence #independence #scheduling
- Global Scheduling Independent of Control Dependencies Based on Condition Vectors (KW, HT), pp. 112–115.
- SIGMOD-1992-Hanson #execution #testing
- Rule Condition Testing and Action Execution in Ariel (ENH), pp. 49–58.
- STOC-1992-AttiyaF #correctness #multi
- A Correctness Condition for High-Performance Multiprocessors (Extended Abstract) (HA, RF), pp. 679–690.
- STOC-1992-GroveHK #first-order #logic
- Asymptotic Conditional Probabilities for First-Order Logic (AJG, JYH, DK), pp. 294–305.
- STOC-1992-Safra #automaton #exponential
- Exponential Determinization for ω-Automata with Strong-Fairness Acceptance Condition (Extended Abstract) (SS), pp. 275–282.
- LFP-1992-NielsonN #fixpoint
- Finiteness Conditions for Fixed Point Iteration (FN, HRN), pp. 96–108.
- KR-1992-Arlo-CostaS #logic
- Maps Between Nonmonotonic and Conditional Logic (HLAC, SJS), pp. 553–564.
- KR-1992-CroccoL #logic #on the
- On the Connection between Non-monotonic Inference Systems and Conditional Logics (GC, PL), pp. 565–571.
- TOOLS-PACIFIC-1992-GerteisW
- Synchronizing Objects by Conditional Path Expressions (WG, WW), pp. 193–201.
- ALP-1992-Gramlich #composition #termination
- Generalized Sufficient Conditions for Modular Termination of Rewriting (BG), pp. 53–68.
- ASPLOS-1992-FisherF #branch #predict
- Predicting Conditional Branch Directions From Previous Runs of a Program (JAF, SMF), pp. 85–95.
- IWPTS-1992-ChungS #generative #performance #protocol #testing
- Applications of Sufficient Conditions for Efficient Protocol Test Generation (AC, DPS), pp. 219–228.
- KR-1991-DuboisP #reasoning
- Conditional Objects and Non-Monontonic Reasoning (DD, HP), pp. 175–185.
- KR-1991-Lamarre #logic
- S4 as the Conditional Logic of Nonmonotonicity (PL), pp. 357–367.
- ICLP-1991-NgS #database #deduction #framework #semantics
- A Semantical Framework for Supporting Subjective and Conditional Probabilities in Deductive Databases (RTN, VSS), pp. 565–580.
- PODS-1990-MumickFPR
- Magic Conditions (ISM, SJF, HP, RR), pp. 314–330.
- ALP-1990-DershowitzMS #equation
- Equation Solving in Conditional AC-Theories (ND, SM, GS), pp. 283–297.
- CAV-1990-MadelaineV #algebra #automaton #process
- Finiteness Conditions and Structural Construction of Automata for All Process Algebras (EM, DV), pp. 353–363.
- LICS-1990-WandW #source code #verification
- Conditional λ-Theories and the Verification of Static Properties of Programs (MW, ZYW), pp. 321–332.
- DAC-1989-FujiharaSIY #automation #named #optimisation #performance
- DYNAJUST: An Efficient Automatic Routing Technique Optimizing Delay Conditions (YF, YS, YI, MY), pp. 791–794.
- KR-1989-Lehmann #knowledge base #question #what
- What Does a Conditional Knowledge Base Entail? (DJL), pp. 212–222.
- LICS-1989-Middeldorp #term rewriting #termination
- A Sufficient Condition for the Termination of the Direct Sum of Term Rewriting Systems (AM), pp. 396–401.
- RTA-1989-Mohan #confluence #semantics
- Priority Rewriting: Semantics, Confluence, and Conditional (CKM), pp. 278–291.
- RTA-1989-MohanS #logic
- Negation with Logical Variables in Conditional Rewriting (CKM, MKS), pp. 292–310.
- RTA-1989-Vorobyov #induction
- Conditional Rewrite Rule Systems with Built-In Arithmetic and Induction (SGV), pp. 492–512.
- ESOP-1988-BertlingGS #equation #named #specification
- CEC: A System for the Completion of Conditional Equational Specifications (HB, HG, RS), pp. 378–379.
- VDME-1988-WoodcockD #case study #experience #using
- Using VDM with Rely and Guarantee-Conditions — Experiences from a Real Project (JW, BD), pp. 434–458.
- ALP-1988-Bousdira #term rewriting
- A Completion Procedure for Hierarchical Conditional Rewriting Systems (WB), pp. 93–107.
- ALP-1988-Wolter #equation
- Narrowing in Partial Conditional Equational Theories (Abstract) (UW), p. 244.
- CADE-1988-DershowitzOS #canonical #term rewriting
- Canonical Conditional Rewrite Systems (ND, MO, GS), pp. 538–549.
- CADE-1988-ZhangK #first-order #proving #theorem proving #using
- First-Order Theorem Proving Using Conditional Rewrite Rules (HZ, DK), pp. 1–20.
- JICSCP-1988-BarklundHW88 #graph
- Condition Graphs (JB, NH, MW), pp. 435–446.
- JICSCP-1988-Emden88 #polymorphism #type inference
- Conditional Answers for Polymorphic Type Inference (MHvE), pp. 590–603.
- SIGMOD-1987-ZhangY #linear #recursion
- A Necessary Condition for a Doubly Recursive Rule to be Equivalent to a Linear Recursive Rule (WZ, CTY), pp. 345–356.
- ICALP-1987-EdelsbrunnerRW #testing
- Testing the Necklace Condition for Shortest Tours and Optimal Factors in the Plane (HE, GR, EW), pp. 364–375.
- HCI-SES-1987-CohenPC #health #women
- Working Conditions and Health Complaints of Women Office Workers (BGFC, CSP, KEC), pp. 365–372.
- RTA-1987-Kaplan #compilation #term rewriting
- A Compiler for Conditional Term Rewriting Systems (SK), pp. 25–41.
- CADE-1986-Hussmann #algebra #prototype #specification #using
- The Passau RAP System: Prototyping Algebraic Specifications Using Conditional Narrowing (HH), pp. 689–690.
- CADE-1986-Wang #named #proving #similarity
- ECR: An Equality Conditional Resolution Proof Procedure (TCW), pp. 254–271.
- POPL-1985-WegmanZ #branch #constant
- Constant Propagation with Conditional Branches (MNW, FKZ), pp. 291–299.
- SIGMOD-1984-Piatetsky-ShapiroC #estimation #tuple
- Accurate Estimation of the Number of Tuples Satisfying a Condition (GPS, CC), pp. 256–276.
- ICALP-1983-BraP #dependence
- Conditional Dependencies for Horizontal Decompositions (PDB, JP), pp. 67–82.
- SIGMOD-1982-Driggers #assessment #database
- A Crop Condition Assessment Database (WGD), pp. 15–27.
- ICALP-1982-EhrenfeuchtHR #context-free grammar
- Conditions Enforcing Regularity of Context-Free Languages (AE, DH, GR), pp. 187–191.
- ILPC-1982-Abramson82
- Unification-based Conditional Binding Constructs (HA), pp. 182–186.
- DAC-1981-TsuiS #multi
- A high-density multilayer PCB router based on necessary and sufficient conditions for single row routing (RYT, RJSI), pp. 372–381.
- ICALP-1981-MoriconiS #automation #generative #hoare #logic #verification
- Automatic Construction of Verification Condition Generators From Hoare Logics (MM, RLS), pp. 363–377.
- TFDA-1980-BundgaardS #ada #semantics
- A Denotational (Static) Semantics Method for Defining Ada Context Conditions (JB, LS), pp. 21–212.
- VDM-1978-Bjorner78a #abstraction #operating system #pl-i #specification #tutorial
- Software Abstraction Principles: Tutorial Examples of: An Operating System Command Language Specification, and a PL/I-like On-Condition Language Definition (DB), pp. 337–374.
- ICALP-1976-Emden #source code #verification
- Verification Conditions as Programs (MHvE), pp. 99–119.
- STOC-1974-Lipton #branch
- Limitations of Synchronization Primitives with Conditional Branching and Global Variables (RJL), pp. 230–241.
- DAC-1972-Dudnik #architecture #nondeterminism #optimisation
- Optimization of planning and architectural decisions under conditions of uncertain demand (EED), pp. 213–219.
- ICALP-1972-HoschL #finite
- Finite Delay Solutions for Sequential Conditions (FAH, LHL), pp. 45–60.