BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
system (65)
random (63)
field (61)
use (54)
base (52)

Stem condit$ (all stems)

549 papers:

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

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