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.